A Lazy Algorithm for Distributed Priority Assignment in Real-Time Systems

Abstract

Integration of system components is a crucial challenge in the design of embedded real-time systems, as complex non-functional interdependencies may exist.[20] presented a framework, enabling autonomous verification of timing properties in the system itself. The work presented in this paper, takes that approach one step further, enabling autonomuous assignment of execution priorities under timing constraints. We present a distributed heuristic algorithm for the constraint statisfaction problem (CSP) of finding feasible priority assignments in static priority preemptive (SPP) scheduled hard real-time systems. The proposed heuristic considers end-to-end path latency constraints in arbitrary task graphs mapped on arbitrary platform graphs.

Una revisión de técnicas para la optimización del despliegue y planificación de sistemas de tiempo real distribuidos

“…El trabajo (Neukirchner et al, 2011) desarrolla un heurístico para la asignación de prioridades fijas a tareas y mensajes en sistemas de tiempo real distribuidos basados en un modelo de flujos con periodos y plazos. Para cada recurso planificable se ejecuta un módulo de asignación de prioridades y un módulo de análisis temporal comercial.…”

“…) Sí Cíclica Respuesta (Hou et al, 1994) Sí Cíclica Respuesta (Monnier et al, 1998) Sí Cíclica Respuesta D = T (Dick and Jha, 1998) Sí Cíclica Coste Energia T < D (Faucou et al, 2000) Sí Cíclica D = T (Oh and Wu, 2004) Sí Cíclica Número Respuesta (Yoo, 2009) Sí Cíclica Número Respuesta (Hamann et al, 2006) Prioridades D < T (Shang et al, 2007) Sí Cíclica Coste Energia Sí (Samii et al, 2009) Prioridades Respuesta (Azketa et al, (Zheng et al, 2007a) Prioridades (Zhu et al, 2009) Sí Prioridades T harmónicos (Al Sheikh et al, 2010) Cíclica (Zhu et al, 2012) Sí Prioridades Respuesta (Blikstad et al, 2018) Sí Jerárquica CSP ) Sí Jerárquica D ≤ T MIP (Zhang et al, 2014) Cíclica ILP (Althaus et al, 2014) Sí Cíclica D ≤ T SMT -ILP (Minaeva et al, 2018) Cíclica BB (Hou and Shin, 1997) Sí Cíclica (Peng et al, 1997) Sí Cíclica Respuesta (Richard et al, 2003) Sí Prioridades HEU (Gutiérrez and González Harbour, 1995) Prioridades Respuesta (Ramamritham, 1995) Sí Cíclica D = T (Braun et al, 2001) Sí Cíclica Respuesta (Braun et al, 2008) Sí Cíclica Respuesta (Ali et al, 2002) Sí RR (Pedreiras and Almeida, 2004) Sí Prioridades / Cíclica D = T (Eles et al, 2000) Sí Cíclica Respuesta (Pop et al, 2000) Sí Cíclica Respuesta (Pop et al, 2001a) Prioridades D ≤ T (Pop et al, 2004c) Sí Cíclica D ≤ T (Pop, 2007) Sí Prioridades / Cíclica (Qin and Jiang, 2006) Sí Prioridades Respuesta (Neukirchner et al, 2011) Prioridades Respuesta (Eisenbrand et al, 2010) Cíclica Número T harmónicos…”