Constraint-driven synthesis and tool-support for flexray-based automotive control systems

Embedded Systems Week 2011, ESWEEK 2011 - Proceedings of the 9th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS'11

Volumn , Issue , 2011, Pages 139-148

  Schneider, Reinhard ^a   Goswami, Dip ^a   Zafar, Sohaib ^a   Chakraborty, Samarjit ^a   Lukasiewycz, Martin ^b  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b TUM CREATE   (Singapore)

Author keywords

Automotive control systems; Cyber physical systems; Flexray; Operating systems; Schedule synthesis

Indexed keywords

AUTOMOTIVE CONTROL SYSTEMS; BUS PROTOCOL; COMMERCIAL-OFF-THE-SHELF; CONSTRAINT SATISFACTION PROBLEMS; CONTROL DESIGN; CONTROL GOALS; CONTROLLER SPECIFICATIONS; CONTROLLER SYNTHESIS; CYBER-PHYSICAL SYSTEMS; DESIGN FLOWS; DESIGN PROBLEMS; DESIGN PROCESS; DESIGN TOOL; FLEXRAY; HARDWARE-IN-THE-LOOP; HIGH BANDWIDTH; TASK SCHEDULE; TEMPORAL BEHAVIOR; TIGHT COUPLING; TIMING CONSTRAINTS;

AUTOMOBILE EXHIBITIONS; CODES (SYMBOLS); COMPUTER OPERATING SYSTEMS; CONTROL SYSTEMS; CONTROLLERS; DESIGN; EMBEDDED SYSTEMS; TIMING CIRCUITS;

CONTROL SYSTEM SYNTHESIS;

EID: 81355124068     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2039370.2039394     Document Type: Conference Paper

References (22)

1. W. Wolf. Cyber-physical Systems. IEEE Computer, 42(3):88 - 89, 2009.
2. The FlexRay Communications System Specifications, Ver. 2.1. www.flexray.com.
3. A. Schedl. Goals and Architecture of FlexRay at BMW . In Slides presented at the Vector FlexRay Symposium, 2007.
4. J. Broy and K. D. Müller-Glaser. The Impact of Time-triggered Communication in Automotive Embedded Systems. In Proc. of SIES'07, pages 353-356, 2007.
5. M. Grenier, L. Havet, and N. Navet. Configuring the Communication on FlexRay: The Case of the Static Segment. In Proc. ERTS'08, 2008.
6. S. Reichelt, O. Scheickl, and G. Tabanoglu. The Influence of Real-time Constraints on the Design of FlexRay-based Systems. In Proc. of DATE, pages 858-863, 2009.
7. T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei. Timing Analysis of the FlexRay Communication Protocol. Real-Time Systems, 39:205-235, 2008.
8. M. Lukasiewycz, M. Glaß, P. Milbredt, and J. Teich. FlexRay Schedule Optimization of the Static Segment. In Proc. of CODES+ISSS'09, pages 363-372, 2009.
9. H. Zeng, M. Di Natale, A. Ghosal, and A. Sangiovanni-Vincentelli. Schedule Optimization of Time-Triggered Systems Communicating Over the FlexRay Static Segment. IEEE Transactions on Industrial Informatics, 7(99):1-1, 2011.
10. T. Pop, P. Pop, P. Eles, and Z. Peng. Bus Access Optimisation for FlexRay-based Distributed Embedded Systems. In Proc. of DATE'07, pages 51-56, 2007.
11. K. Schmidt and E.G. Schmidt. Schedulability Analysis and Message Schedule Computation for the Dynamic Segment of FlexRay. In Proc. of VTC'10, pages 1-5, 2010.
12. H. Voit, R. Schneider, D. Goswami, A. Annaswamy, and S. Chakraborty. Optimizing Hierarchical Schedules for Improved Control Performance. In Proc. of SIES'07, pages 9 - 17, 2010.
13. S. Samii, A. Cervin, P. Eles, and Z. Peng. Integrated Scheduling and Synthesis of Control Applications on Distributed Embedded Systems. In Proc. of DATE'09, pages 57-62, 2009.
14. D. Deto, J.P. Lehoczky, L. Sha, and K.G. Shin. On Task Schedulability in Real-time Control Systems. In Proc. of RTSS'96, 1996.
15. S. Samii, P. Eles, and Z. Peng. Design Optimization and Synthesis of FlexRay Parameters for Embedded Control Applications. In Proc. of DELTA'11, pages 66-71, 2011.
16. D. Goswami, R. Schneider, and S. Chakraborty. Co-design of Cyber-Physical Systems via Controllers with Flexible Delay Constraints. In Proc. of ASP-DAC, pages 225-230, 2011.
17. SIMTOOLS GmbH. www.simtools.at.
18. Elektrobit. www.elektrobit.com.
19. K. Zhou, J. C. Doyle, and K. Glover. Robust and Optimal Control. Prentice Hall Upper Saddle River, NJ, 1996.
20. Control Tutorials for Matlab. http://www.engin.umich.edu/group/ctm.
21. Modeling a Car Suspension in States Space/State Space Systems with Matlab. http://www.swarthmore.edu/NatSci/echeeve1/Class/e12/Lectures/SS/html/ MatlabForSS.html.
22. Python-Constraint. http://labix.org/python-constraint.