Optimizing the implementation of real-time Simulink models onto distributed automotive architectures

Journal of Systems Architecture

Volumn 59, Issue 10 PART D, 2013, Pages 1115-1127

  Han, Gang ^a   Di Natale, Marco ^b   Zeng, Haibo ^c   Liu, Xue ^c   Dou, Wenhua ^a  

^a NATIONAL UNIVERSITY OF DEFENSE TECHNOLOGY   (China)

^b SCUOLA SUPERIORE SANT ANNA   (Italy)

^c MCGILL UNIVERSITY   (Canada)

Author keywords

Design optimization; FlexRay; Model based design; Real time systems; Time triggered networks

Indexed keywords

INTERACTIVE COMPUTER SYSTEMS; REAL TIME SYSTEMS; SCHEDULING; SEMANTICS;

COMMUNICATION MESSAGES; DESIGN OPTIMIZATION; DETERMINISTIC COMMUNICATIONS; DISTRIBUTED FUNCTION; DISTRIBUTED IMPLEMENTATION; FLEXRAY; MODEL- BASED DESIGNS; TIME TRIGGERED;

MODEL CHECKING;

EID: 84889098665     PISSN: 13837621     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.sysarc.2013.08.009     Document Type: Article

References (57)

1. FlexRay Consortium, FlexRay Communications System Protocol Specification, Version 3.0.1, 2010. Available at: < http://www.flexray.com >.
2. M. Grenier, L. Havet, and N. Navet Configuring the communication on flexray: the case of the static segment 4th European Congress on Embedded Real Time Software (ERTS 2008) 2008
3. 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 1 February 2011 1 17
4. M. Lukasiewycz, R. Schneider, D. Goswami, S. Chakraborty, Modular scheduling of distributed heterogeneous time-triggered automotive systems, Asia and South Pacific Design Automation Conference, 2012.
5. M. Lukasiewycz, M. Glaß, J. Teich, P. Milbredt, Flexray schedule optimization of the static segment, IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis, 2009.
6. A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone The synchronous languages 12 years later Proceedings of the IEEE 91 1 January 2003 64 83
7. SCADE Suite Product. Available at: < http://www.esterel-technologies. com/products/scade-suite > (retrieved on 31.12.12).
8. The Mathworks Simulink and StateFlow Users Manuals, Mathworks. Available at: < http://www.mathworks.com > (retrieved on 31.12.12).
9. Prover Technology. Available at: < http://www.prover.com > (retrieved on 31.12.12).
10. H. Kopetz, and G. Bauer The time-triggered architecture Proceedings of the IEEE 91 1 2003 112 126
11. P. Caspi, A. Curic, A.Maignan, C. Sofronis, S. Tripakis, P. Niebert, From Simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications, ACM SIGPLAN Conference on Language, Compiler, and Tool for Embedded Systems, 2003.
12. M. Di Natale, H. Zeng, Time determinism and semantics preservation in the implementation of distributed functions over FlexRay, Society of Automotive Engineers World Congress, 2010.
13. D. Potop-Butucaru, B. Caillaud, and A. Benveniste Concurrency in synchronous systems Formal Methods in System Design 28 2 2006 111 130 (Pubitemid 43814127)
14. P. Caspi, A. Benveniste, Time-robust discrete control over networked loosely time-triggered architectures, IEEE Control and Decision Conference, 2008.
15. P. Caspi, M. Pouzet, Synchronous kahn networks, ACM SIGPLAN Conference on Functional Programming, 1996.
16. S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-Vincentelli, P. Caspi, and M. Di Natale Implementing synchronous models on loosely time-triggered architectures IEEE Transactions on Computers 57 10 2008 1300 1314
17. A. Jantsch, and I. Sander Models of computation and languages for embedded system design IEEE Proceedings on Computers and Digital Techniques 152 2 2005 114 129 (Pubitemid 40718620)
18. E. Lee, and A. Sangiovanni-Vincentelli A framework for comparing models of computation IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems 17 12 1998 1217 1229 (Pubitemid 128744893)
19. F. Boussinot, R. de Simone, The Esterel language, in: Proceedings of the IEEE, vol. 79, 1991, pp. 1293-1304. (Pubitemid 21738063)
20. P. Caspi, D. Pilaud, N. Halbwachs, J.A. Plaice, LUSTRE: a declarative language for programming synchronous systems, in: ACM Symp. Principles Program. Lang. (POPL), Munich, 1987, pp. 178-188.
21. J. Forget, F. Boniol, D. Lesens, C. Pagetti, A multi-periodic synchronous data-flow language, in: 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), Nanjing, Dec. 2008.
22. G. Berry, and G. Gonthier The Esterel synchronous programming language: design, semantics, implementation Science of Computer Programming 19 1992 87 152 (Pubitemid 23582985)
23. S.A. Edwards, An Esterel compiler for large control-dominated systems. in: IEEE Trans. Computer-Aided Design, vol. 21, Feb. 2002.
24. D. Weil, V. Berlin, E. Closse, M. Poize, P. Venier, J. Pulou, Efficient compilation of Esterel for real-time embedded systems, in: Proc. Int. Conf. Compilers, Architecture, and Synthesis for Embedded Syst., San Jose, CA, Nov. 2000, pp. 2-8.
25. E.A. Lee, and D.G. Messerschmitt Synchronous data flow Proceedings of the IEEE 75 9 1987 1235 1245
26. E.A. Lee, and D.G. Messerschmitt Static scheduling of synchronous data flow programs for digital signal processing IEEE Transactions on Computers 36 1 1987 24 35
27. S. Bhattacharyya, E. Lee, P. Murthy, Software Synthesis from Dataflow Graphs, Kluwer, 1996.
28. H. Falk, and P. Marwedel Source Code Optimization Techniques For Data Flow Dominated Embedded Software 2004 Springer Berlin
29. J. Falk, J. Keinert, C. Haubelt, J. Teich, S. Bhattacharyya, A generalized static data flow clustering algorithm for MPSOC scheduling of multimedia applications, ACM International Conference on Embedded Software, 2008.
30. K. Strehl, L. Thiele, M. Gries, D. Ziegenbein, R. Ernst, and J. Teich FunState - an internal design representation for codesign IEEE Transactions on Very Large Scale Integration (VLSI) 9 4 2001 524 544 (Pubitemid 32680576)
31. C.A.R. Hoare Communicating sequential processes Communications of the ACM 21 8 1978 666 676
32. D. Harel Statecharts: a visual formalism for complex systems Science of Computer Programming 8 3 June 1987 231 274 (Pubitemid 17617706)
33. Andrzej Wasowski, On Efficient Program Synthesis from Statecharts. Proc. ACM SIGPLAN Conf. of Languages, Compilers, and Tools for Embedded Systems, 2003.
34. Plishker, William and Sane, Nimish and Bhattacharyya, Shuvra S.A generalized scheduling approach for dynamic dataflow applications, Proceedings of the DATE Conference, Nice, France, 2009.
35. Bhattacharyya, S.S., Murthy, P.K., Lee, E.A. Optimized software synthesis for synchronous dataflow, Proceedings of the IEEE International Conference on Application-Specific Systems, Architectures and Processors, Washington, DC, USA, 1997.
36. Li, M., Wang, H., Li, P., Tasks mapping in multicore based system: Hybrid ACO&GA approach, Proceedings of the International Conference on ASIC, 2003.
37. F. Reimann, M. Glaß, C. Haubelt, M. Eberl, J. Teich. Improving platform-based system synthesis by satisfiability modulo theories solving, IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis, 2010.
38. R. Niemann, P. Marwedel, An algorithm for hardware/software partitioning using mixed integer linear programming. Design Automation for Embedded Systems, vol. 2 (2), March 1997, pp 165-193. (Pubitemid 127506131)
39. P. Pop, P. Eles, and Z. Peng Schedulability-driven communication synthesis for time triggered embedded systems Real-Time Systems 26 3 2004 297 325
40. A. Hamann, R. Ernst, TDMA time slot and turn optimization with evolutionary search techniques. Conference on Design, Automation and Test in Europe, 2005.
41. K. Schmidt, and E.G. Schmidt Message scheduling for the flexray protocol: the static segment IEEE Transactions on Vehicular Technology 58 5 2008 2170 2179
42. B. Tanasa, U. Bordoloi, P. Eles, Z. Peng, Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay. IEEE Real-Time Systems Symposium, 2010.
43. B. Tanasa, U. Bordoloi, P. Eles, Z. Peng, Reliability-aware frame packing for the static segment of FlexRay, ACM International Conference on Embedded Software, 2011.
44. S. Ding, N. Murakami, H. Tomiyama, H. Takada, A GA-based scheduling method for FlexRay systems. ACM International Conference on Embedded Software, 2005.
45. T. Pop, P. Pop, P. Eles, Z. Peng, and A. Andrei Timing analysis of the FlexRay communication protocol Real-Time Systems 39 1-3 2008 205 235 (Pubitemid 351326994)
46. R. Racu, M. Jersak, R. Ernst, Applying sensitivity analysis in real-time distributed systems, IEEE Real Time and Embedded Technology and Applications Symposium, 2005.
47. W. Zheng, Q. Zhu, M. Di Natale, A. Sangiovanni-Vincentelli, Definition of task allocation and priority assignment in hard real-time distributed systems, IEEE Real-Time Systems Symposium, 2007.
48. Q. Zhu, H. Zeng, W. Zheng, M. Di Natale, and A. Sangiovanni-Vincentelli Optimization of task allocation and priority assignment in hard real-time distributed systems ACM Transactions on Embedded Computing Systems 11 4 2012 85
49. T. Pop, P. Eles, Z. Peng, Design optimization of mixed time/event-triggered distributed embedded systems, IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis, 2003.
50. S. Samii, A. Cervin, P. Eles, Z. Peng. Integrated scheduling and synthesis of control applications on distributed embedded systems. Conference on Design, Automation and Test in Europe, 2009.
51. A. Metzner and C. Herde. RTSAT- an optimal and efficient approach to the task allocation problem in distributed architectures. IEEE Real-Time Systems, Symposium, 2006.
52. P. Emberson, and I. Bate Stressing search with scenarios for flexible solutions to real-time task allocation problems IEEE Transactions on Software Engineering 36 5 2010 704 718
53. A. Hamann, R. Racu, R. Ernst, Methods for multi-dimensional robustness optimization in complex embedded systems, ACM International Conference on Embedded Software, 2007.
54. J.P. Vielma, S. Ahmed, and G. Nemhauser Mixed-integer models for non-separable piecewise linear optimization: unifying framework and extensions Operations Research 58 2010 303 315
55. OSEK/VDX Operating System Specification Version 2.2.3, February 2005. Available at: < http://www.osek-vdx.org >.
56. G. Wang, M. Di Natale, and A. Sangiovanni-Vincentelli Optimal synthesis of communication procedures in real-time synchronous reactive models IEEE Transactions on Industrial Informatics 6 4 2010 729 743
57. CPLEX Optimizer. Available at: < http://www.ibm.com/software/commerce/ optimization/cplex-optimizer/ (retrieved on 31.12.12).