Title | ||
---|---|---|
Extending response-time analysis for the automatic synthesis of functional graphs into fixed-priority distributed systems |
Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/SIES.2014.6871196 | Industrial Embedded Systems |
Keywords | Field | DocType |
data flow graphs,distributed algorithms,software engineering,synchronisation,data flow graph,fixed-priority distributed systems,response time analysis,software design,synthetic functional graphs,tasks synchronization semantics,tasks synthesis,automatic synthesis,model-based development,real-time distributed applications,response-time analysis | Graph,Synchronization,Programming language,Computer science,Response time,Data-flow analysis,Model-based design,Real-time computing,Theoretical computer science,Semantics,Distributed computing,Automotive industry | Conference |
ISSN | Citations | PageRank |
2150-3109 | 2 | 0.36 |
References | Authors | |
15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Asma Mehiaoui | 1 | 18 | 2.05 |
Sara Tucci Piergiovanni | 2 | 286 | 22.22 |
Chokri Mraidha | 3 | 147 | 16.52 |
Jean-Philippe Babau | 4 | 111 | 21.67 |