Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems

Résumé

In this paper, we extend traditional response time analysis to a functional data flow graph (functional graph for brevity) mapped into a set of tasks. Different tasks synchronization semantics can be considered, depending on the way tasks synchronize on inputs consumed and outputs produced by functions in the functional graph. We study three different synchronization semantics and we give the appropriate response time analysis for functional graphs mapped into a set of preemptible fixed-priority tasks distributed over a priority-based network. Our response time analysis extension is needed to integrate response time constraints in an automatic approach for tasks synthesis. In this paper, for each semantics, the corresponding analysis is integrated in a tasks synthesis approach based on mathematical programming. Each semantics is evaluated against the minimum response time that can be obtained running task synthesis over a set of synthetic functional graphs. Finally, different sematics are considered and evaluated for an automotive case study.
Fichier non déposé

Dates et versions

hal-01157249 , version 1 (27-05-2015)

Identifiants

Citer

Asma Mehiaoui, Sara Tucci Piergiovanni, Chokri Mraidha, Jean-Philippe Babau. Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems. 9th IEEE International Symposium on Industrial Embedded Systems (SIES), 2014, Jun 2014, Pisa, Italy. pp.122-132, ⟨10.1109/SIES.2014.6871196⟩. ⟨hal-01157249⟩
107 Consultations
0 Téléchargements

Altmetric

Partager

More