Time determinism and semantics preservation in the implementation of distributed functions over flexray

SAE Technical Papers

Volumn , Issue , 2010, Pages

  Di Natale, Marco ^a   Zeng, Haibo ^b  

^a SCUOLA SUPERIORE SANT ANNA   (Italy)

^b GENERAL MOTORS CORPORATION   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SCHEDULING; SEMANTICS;

COMMUNICATION LAYERS; COMMUNICATION MESSAGES; DEPLOYED SYSTEMS; DETERMINISTIC COMMUNICATIONS; DISTRIBUTED FUNCTION; DISTRIBUTED IMPLEMENTATION; FUNCTIONAL DELAYS; FUNCTIONAL OUTPUTS;

MODEL CHECKING;

EID: 85072362771     PISSN: 01487191     EISSN: 26883627     Source Type: Journal    
DOI: 10.4271/2010-01-0452     Document Type: Conference Paper

References (16)

1. Clarke E. M., and, Wing J. M., Formal methods: State of the art and future directions, Tech. Rep. CMU-CS-96-178, Carnegie Mellon University (CMU), Sept. 1996.
2. Pop P, Eles P, Peng Z, Schedulability-driven communication synthesis for time-triggered embedded systems. Real-Time Systems Journal 24: 297-325 2004
3. Pop T., Pop P., Eles P., Peng Z., Andrei A., Timing analysis of the FlexRay communication protocol IEEE Transactions 2007
4. Ding S., Murakami N., Tomiyama H., Takada H., A GA-based scheduling method for FlexRay systems. Proceedings of EMSOFT 2005
5. Hamann A., Ernst R., TDMA time slot and turn optimization with evolutionary search techniques. Proceedings of the DATE Conference, pp 312-317 2005
6. Benveniste A., Caspi P., Edwards S. A., Halbwachs N., Le Guernic P., de Simone R., The synchronous languages 12 years later, Proceedings of the IEEE, Vol. 91-1, pp. 64-83, Jan 2003.
7. SCADE Suite Product web page: http://www.esterel-technologies.com/ products/scade-suite/
8. Mathworks. The Mathworks Simulink and StateFlow User's Manuals. web page: http://www.mathworks.com.
9. Prover Technology, http://www.prover.com/.
10. Kopetz Hermann, and, Bauer Günther, The Time-Triggered Architecture, Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software, Oct. 2001.
11. Caspi P., Curic A., Maignan A., Sofronis C., Tripakis S., and, Niebert P.,. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications. In Languages, Compilers, and Tools for Embedded Systems (LCTES03). ACM, 2003.
12. Caspi Paul, and, Benveniste Albert,. Time-robust discrete control over networked loosely time-triggered architectures. IEEE Control and Decision Conference, December 2008.
13. Potop-Butucaru Dumitru, Caillaud BenoÃt, and, Benveniste Albert,. Concurrency in synchronous systems. Formal Methods in System Design, 28 (2): 111130, 2006.
14. Caspi Paul, and, Pouzet Marc,. Synchronous kahn networks. ICFP Conference, pages 226238, 1996.
15. Tripakis S., Pinello C., Benveniste A., Sangiovanni-Vincentelli A., Caspi P., and, Di Natale M., Implementing Synchronous models on Loosely Time-Triggered Architectures IEEE Transactions on Computer, October 2008, Volume 57 Issue 10.
16. Zeng Haibo, Zheng Wei, Di Natale Marco, Giusto Paolo, Ghosal Arkadeb, Alberto Sangiovanni-Vincentelli, Scheduling the FlexRay bus using optimization techniques. In Proceedings of the 46th ACM/IEEE Design Automation Conference (DAC), July 2009.