This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Time Determinism and Semantics Preservation in the Implementation of Distributed Functions over FlexRay
Technical Paper
2010-01-0452
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Future automobiles are required to support an increasing number of complex, distributed functions such as active safety and X-by-wire. Because of safety concerns and the need to deliver correct designs in a short time, system properties should be verified in advance on function models, by simulation or model checking. To ensure that the properties still hold for the final deployed system, the implementation of the models into tasks and communication messages should preserve properties of the model, or in general, its semantics. FlexRay offers the possibility of deterministic communication and can be used to define distributed implementations that are provably equivalent to synchronous reactive models like those created from Simulink. However, the low level communication layers and the FlexRay schedule must be carefully designed to ensure the preservation of communication flows and functional outputs. In this paper, we provide a discussion and an analysis of the aforementioned issues and we present possible solutions to the problem of defining FlexRay schedulers that support deterministic communication delays. The aforementioned scheduling options are applied to an X-by-wire case study to highlight tradeoffs between schedulability and additional functional delays in the controls.
Authors
Topic
Citation
Di Natale, M. and Zeng, H., "Time Determinism and Semantics Preservation in the Implementation of Distributed Functions over FlexRay," SAE Technical Paper 2010-01-0452, 2010, https://doi.org/10.4271/2010-01-0452.Also In
References
- Clarke E. M. Wing J. M. Formal methods: State of the art and future directions Tech. Rep. CMU-CS-96-178 Carnegie Mellon University (CMU) Sept. 1996
- Pop P Eles P Peng Z Schedulability-driven communication synthesis for time-triggered embedded systems Real-Time Systems Journal 24 297 325 2004
- Pop T. Pop P. Eles P. Peng Z. Andrei A. Timing analysis of the FlexRay communication protocol IEEE Transactions 2007
- Ding S. Murakami N. Tomiyama H. Takada H. A GA-based scheduling method for FlexRay systems Proceedings of EMSOFT 2005
- Hamann A. Ernst R. TDMA time slot and turn optimization with evolutionary search techniques Proceedings of the DATE Conference 312 317 2005
- 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 91-1 64 83 Jan 2003
- http://www.esterel-technologies.com/products/scade-suite/
- Mathworks The Mathworks Simulink and StateFlow User's Manuals http://www.mathworks.com
- Prover Technology http://www.prover.com/
- Kopetz Hermann Bauer Günther The Time-Triggered Architecture Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software Oct. 2001
- Caspi P. Curic A. Maignan A. Sofronis C. Tripakis S. Niebert P. From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications Languages, Compilers, and Tools for Embedded Systems (LCTES03) ACM 2003
- Caspi Paul Benveniste Albert Time-robust discrete control over networked loosely time-triggered architectures IEEE Control and Decision Conference December 2008
- Potop-Butucaru Dumitru Caillaud Benoît Benveniste Albert Concurrency in synchronous systems Formal Methods in System Design 28 2 111130 2006
- Caspi Paul Pouzet Marc Synchronous kahn networks ICFP Conference 226238 1996
- Tripakis S. Pinello C. Benveniste A. Sangiovanni-Vincentelli A. Caspi P. Di Natale M. Implementing Synchronous models on Loosely Time-Triggered Architectures IEEE Transactions on Computer October 2008 57 10
- Zeng Haibo Zheng Wei Di Natale Marco Giusto Paolo Ghosal Arkadeb Alberto Sangiovanni-Vincentelli, Scheduling the FlexRay bus using optimization techniques Proceedings of the 46th ACM/IEEE Design Automation Conference (DAC) July 2009