Qi Zhu
ABSTRACT
Embedded software and electronics are major contributors of values in vehicles, and play a dominant role in vehicle innovations. The design of automotive embedded systems has become more and more challenging, with the rapid increase of system complexity and more requirements on various design objectives. Methodologies such as model-based design are being adopted to improve design quality and productivity through the usage of functional models. However, there is still a significant lack of design automation tools, in particular synthesis and optimization tools, that can turn complex functional specifications to correct and optimal software implementations on distributed embedded platforms. In this paper, we discuss some of the major technical challenges and the problems to be solved in automotive embedded systems design, especially for the synthesis and optimization of embedded software.
- Automakers opting for model-based design. http://www.designnews.com.Google Scholar
- Autosar. http://www.autosar.org.Google Scholar
- Carts (compositional analysis of real-time systems). http://rtg.cis.upenn.edu/carts/index.php.Google Scholar
- Model integrated computing. http://www.isis.vanderbilt.edu/research/MIC.Google Scholar
- Scade. http://www.esterel-technologies.com/products/scade-suite/.Google Scholar
- K. K. A. Mihal. Mapping Concurrent Applications onto Architectural Platforms. pages 39--59. Kluwer Academic Publishers, 2003. Google ScholarDigital Library
- A. Bakshi, V. Prasanna, and A. Ledeczi. MILAN: A model based integrated simulation framework for design of embedded systems. In Proceedings of Workshop on Languages, Compilers, and Tools for Embedded Systems, June 2001. Google ScholarDigital Library
- A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber, T. Nguyen, and J. Sifakis. Rigorous component-based system design using the bip framework. Software, IEEE, 28(3):41 --48, may-june 2011. Google ScholarDigital Library
- A. Basu, M. Bozga, and J. Sifakis. Modeling heterogeneous real-time components in BIP. In Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM06), pages 3--12, Washington, DC, USA, 2006. Google ScholarDigital Library
- I. Bate and P. Emberson. Incorporating scenarios and heuristics to improve flexibility in real-time embedded systems. In 12th IEEE RTAS Conference, pages 221--230, April 2006. Google ScholarDigital Library
- A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone. The synchronous languages 12 years later. Proceedings of the IEEE 91(1), pages 64--83, 2003.Google ScholarCross Ref
- A. Benveniste, P. Le Guernic, and P. Aubry. Compositionality in dataflow synchronous languages: specification and code generation. In Technical Report 3310, Irisa - Inria, 1997.Google Scholar
- E. Bini and A. Cervin. Delay-aware period assignment in control systems. In Real-Time Systems Symposium, 2008, pages 291--300, 30 2008-dec. 3 2008. Google ScholarDigital Library
- S. Bliudze and J. Sifakis. The algebra of connectors -- structuring interactions in BIP. In Proceedings of the 7th ACM & IEEE International conference on Embedded Software (EMSOFT07), Salzburg, Austria, September 30--October 3 2007. Google ScholarDigital Library
- L. Carloni, F. D. Bernardinis, C. Pinello, A. Sangiovanni-Vincentelli, and M. Sgroi. Platform-Based Design for Embedded Systems. In The Embedded Systems Handbook. CRC Press, 2005.Google Scholar
- R. N. Charette. This car runs on code. IEEE Spectrum, February 2009.Google Scholar
- S. Checkoway, D. McCoy, B. Kantor, D. Anderson, H. Shacham, S. Savage, K. Koscher, A. Czeskis, F. Roesner, and T. Kohno. Comprehensive experimental analyses of automotive attack surfaces. In Proceedings of the 20th USENIX Conference on Security, SEC'11, pages 6--6, Berkeley, CA, USA, 2011. USENIX Association. Google ScholarDigital Library
- A. Davare, Q. Zhu, M. D. Natale, C. Pinello, S. Kanajan, and A. Sangiovanni-Vincentelli. Period Optimization for Hard Real-time Distributed Automotive Systems. In Design Automation Conference (DAC'07), June 2007. Google ScholarDigital Library
- D. Densmore, A. Simalatsar, A. Davare, R. Passerone, and A. Sangiovanni-Vincentelli. Umts mpsoc design evaluation using a system level design framework. In Proceedings of the Conference on Design, Automation and Test in Europe, DATE'09, pages 478--483, 3001 Leuven, Belgium, Belgium, 2009. European Design and Automation Association. Google ScholarDigital Library
- M. Di Natale, L. Guo, H. Zeng, and A. Sangiovanni-Vincentelli. Synthesis of multi-task implementations of simulink models with minimum delays. IEEE Transactions on Industrial Informatics 6(4), pages 637--651, 2010.Google ScholarCross Ref
- M. Di Natale and A. Sangiovanni-Vincentelli. Moving from federated to integrated architectures in automotive: The role of standards, methods and tools. Proceedings of the IEEE, 98(4):603 --620, april 2010.Google ScholarCross Ref
- A. Easwaran, M. Anand, and I. Lee. Compositional analysis framework using edp resource models. In Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International, pages 129--138, dec. 2007. Google ScholarDigital Library
- J. Eker, J. Janneck, E. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, and Y. Xiong. Taming heterogeneity - the ptolemy approach. Proceedings of the IEEE, 91(1):127--144, jan 2003.Google ScholarCross Ref
- D. Goswami, M. Lukasiewycz, R. Schneider, and S. Chakraborty. Time-triggered implementations of mixed-criticality automotive software. In Design, Automation Test in Europe Conference Exhibition (DATE), 2012, pages 1227--1232, march 2012. Google ScholarDigital Library
- A. Hamann, R. Racu, and R. Ernst. Methods for multi-dimensional robustness optimization in complex embedded systems. In Proc. of the ACM EMSOFT Conference, September 2007. Google ScholarDigital Library
- A. Hamann, R. Racu, and R. Ernst. Multi-dimensional robustness optimization in heterogeneous distributed embedded systems. In Proc. of the 13th IEEE RTAS Conference, April 2007. Google ScholarDigital Library
- D. Harel. Statecharts: A visual formalism for complex systems. Sci. Comput. Program., 8(3):231--274, June 1987. Google ScholarDigital Library
- T. Henzinger, B. Horowitz, and C. Kirsch. Giotto: a time-triggered language for embedded programming. Proceedings of the IEEE, 91(1):84--99, 2003.Google ScholarDigital Library
- G. Karsai, J. Sztipanovits, A. Ledeczi, and T. Bapty. Model-integrated development of embedded software. Proceedings of the IEEE, 91(1):145 -- 164, jan 2003.Google ScholarCross Ref
- K. Keutzer, S. Malik, A. R. Newton, J. Rabaey, and A. Sangiovanni-Vincentelli. System Level Design: Orthogonolization of Concerns and Platform-Based Design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19(12), December 2000. Google ScholarDigital Library
- P. Kleberger, T. Olovsson, and E. Jonsson. Security aspects of the in-vehicle network in the connected car. In Intelligent Vehicles Symposium (IV), 2011 IEEE, pages 528--533, 2011.Google ScholarCross Ref
- F. Koushanfar, A.-R. Sadeghi, and H. Seudie. Eda for secure and dependable cybercars: Challenges and opportunities. In Design Automation Conference (DAC), 2012 49th ACM/EDAC/IEEE, pages 220--228, 2012. Google ScholarDigital Library
- A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, and P. Volgyesi. The generic modeling environment. In IEEE Workshop on Intelligent Signal Processing, May 2001.Google Scholar
- E. A. Lee and P. Varaiya. Structure and Interpretation of Signals and Systems, Second Edition. LeeVaraiya.org, 2011.Google Scholar
- J. Lee, S. Xi, S. Chen, L. Phan, C. Gill, I. Lee, C. Lu, and O. Sokolsky. Realizing compositional scheduling through virtualization. In Real-Time and Embedded Technology and Applications Symposium (RTAS), 2012 IEEE 18th, pages 13 --22, april 2012. Google ScholarDigital Library
- C.-W. Lin, Q. Zhu, C. Phung, and A. Sangiovanni-Vincentelli. Security-aware mapping for can-based real-time distributed automotive systems. In Computer-Aided Design (ICCAD), 2013 IEEE/ACM International Conference on, pages 115--121, 2013. Google ScholarDigital Library
- R. Lublinerman, C. Szegedy, and S. Tripakis. Modular code generation from synchronous block diagrams: modularity vs. code size. In Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL'09, pages 78--89, New York, NY, USA, 2009. ACM. Google ScholarDigital Library
- R. Lublinerman and S. Tripakis. Modularity vs. reusability: code generation from synchronous block diagrams. In Proceedings of the conference on Design, automation and test in Europe, DATE'08, pages 1504--1509, New York, NY, USA, 2008. ACM. Google ScholarDigital Library
- M. Lukasiewycz, M. Glass, P. Milbredt, and J. Teich. Flexray schedule optimization of the static segment. In CODES+ISSS Conference, June 2009. Google ScholarDigital Library
- McKinsey&Company. The road to 2020 and beyond: What's driving the global automotive industry? September 2013.Google Scholar
- A. Metzner and C. Herde. RTSAT-- an optimal and efficient approach to the task allocation problem in distributed architectures. In RTSS'06: Proceedings of the 27th IEEE International Real-Time Systems Symposium, pages 147--158, Washington, DC, USA, 2006. IEEE Computer Society. Google ScholarDigital Library
- M. D. Natale and V. Pappalardo. Buffer optimization in multitask implementations of simulink models. ACM Trans. Embed. Comput. Syst., 7(3):23:1--23:32, May 2008. Google ScholarDigital Library
- M. D. Natale and H. Zeng. Task Implementation and Schedulability Analysis of Synchronous Finite State Machines. In DATE'12: Proceedings of the Conference on Design, Automation and Test in Europe, 2012.Google Scholar
- S. Neema, J. Sztipanovits, and G. Karsai. Constraint-based design-space exploration and model synthesis. In IN PROCEEDINGS OF EMSOFT'03, VOLUME 2855 OF LNCS, pages 290--305. Springer, 2003.Google Scholar
- J. Paul and D. Thomas. A Layered, Codesign Virtual Machine Approach to Modeling Computer Systems. In Proceedings of the conference on Design, automation and test in Europe, page 522. IEEE Computer Society, 2002. Google ScholarDigital Library
- A. Pinto, A. Bonivento, A. L. Sangiovanni-Vincentelli, R. Passerone, and M. Sgroi. System level design paradigms: Platform-based design and communication synthesis. ACM Trans. Des. Autom. Electron. Syst., 11(3):537--563, June 2004. Google ScholarDigital Library
- T. Pop, P. Eles, and Z. Peng. Design optimization of mixed time/event-triggered distributed embedded systems. In CODES+ISSS'03: Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, pages 83--89, New York, NY, USA, 2003. ACM Press. Google ScholarDigital Library
- J. Porter, G. Hemingway, H. Nine, C. vanBuskirk, N. Kottenstette, G. Karsai, and J. Sztipanovits. The esmol language and tools for high-confidence distributed control systems design. part 1: Language, framework, and analysis. 09/2010 2010.Google Scholar
- J. Porter, G. Karsai, P. Völgyesi, H. Nine, P. Humke, G. Hemingway, R. Thibodeaux, and J. Sztipanovits. Models in software engineering. chapter Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation, pages 20--34. Springer-Verlag, Berlin, Heidelberg, 2009. Google ScholarDigital Library
- M. Pouzet and P. Raymond. Modular static scheduling of synchronous data-flow networks: An efficient symbolic representation. In Proceedings of the Seventh ACM International Conference on Embedded Software, EMSOFT'09, pages 215--224, New York, NY, USA, 2009. ACM. Google ScholarDigital Library
- R. Racu, M. Jersak, and R. Ernst. Applying sensitivity analysis in real-time distributed systems. In Proceedings of the 11th Real Time and Embedded Technology and Applications Symposium, pages 160--169, San Francisco (CA), U.S.A., Mar. 2005. Google ScholarDigital Library
- T. Raudvere, I. Sander, A. K. Singh, and A. Jantsch. Verification of Design Decisions in ForSyDe. In Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, pages 176--181. ACM Press, 2003. Google ScholarDigital Library
- S. Samii, A. Cervin, P. Eles, and Z. Peng. Integrated scheduling and synthesis of control applications on distributed embedded systems. In Design, Automation Test in Europe Conference Exhibition, 2009. DATE'09., pages 57--62, april 2009. Google ScholarDigital Library
- K. Sandstrom, C. Norstom, and M. Ahlmark. Frame packing in real-time communication. Seventh International Conference on Real-Time Computing Systems and Applications, pages 399--403, 2000. Google ScholarDigital Library
- A. Sangiovanni-Vincentelli. Quo Vadis, SLD -- Reasoning About the Trends and Challenges of System Level Design. Proceedings of the IEEE, 95(3):467--506, March 2007.Google ScholarCross Ref
- A. Sangiovanni-Vincentelli, W. Damm, and R. Passerone. Taming dr. frankenstein: Contract-based design for cyber-physical systems*. European Journal of Control, 18(3):217--238, 2012.Google ScholarCross Ref
- A. Sangiovanni-Vincentelli and M. Di Natale. Embedded system design for automotive applications. Computer, 40(10):42--51, 2007. Google ScholarDigital Library
- D. Seto, J. Lehoczky, L. Sha, and K. Shin. On task schedulability in real-time control systems. In Real-Time Systems Symposium, 1996., 17th IEEE, pages 13--21, dec 1996. Google ScholarDigital Library
- I. Shin and I. Lee. Compositional real-time scheduling framework. In Real-Time Systems Symposium, 2004. Proceedings. 25th IEEE International, pages 57--67, dec. 2004. Google ScholarDigital Library
- I. Shin and I. Lee. Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst., 7(3):30:1--30:39, May 2008. Google ScholarDigital Library
- T. Stefanov, C. Zissulescu, A. Turjan, Bart, and E. Deprettere. System Design Using Kahn Process Networks: The Compaan/Laura Approach. In Proceedings of the conference on Design, automation and test in Europe, page 10340. IEEE Computer Society, 2004. Google ScholarDigital Library
- M. Stigge, P. Ekberg, N. Guan, and W. Yi. The digraph real-time task model. In Real-Time and Embedded Technology and Applications Symposium (RTAS), 2011 17th IEEE, pages 71--80, april 2011. Google ScholarDigital Library
- J. Sztipanovits and G. Karsai. Model-integrated computing. Computer, 30(4):110 --111, apr 1997. Google ScholarDigital Library
- J. Sztipanovits, X. Koutsoukos, G. Karsai, N. Kottenstette, P. Antsaklis, V. Gupta, B. Goodwine, J. Baras, and S. Wang. Toward a science of cyber-physical system integration. Proceedings of the IEEE, 100(1):29--44, jan. 2012.Google ScholarCross Ref
- S. Xi, J. Wilson, C. Lu, and C. Gill. Rt-xen: Towards real-time hypervisor scheduling in xen. In Embedded Software (EMSOFT), 2011 Proceedings of the International Conference on, pages 39--48, oct. 2011. Google ScholarDigital Library
- H. Zeng, M. D. Natale, and Q. Zhu. Minimizing stack and communication memory usage in real-time embedded applications. to appear in the ACM Transactions on Embedded Computing Systems.Google Scholar
- H. Zeng, M. D. Natale, and Q. Zhu. Optimizing stack memory requirements for real-time embedded applications. In Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2012.Google ScholarCross Ref
- W. Zheng, Q. Zhu, M. D. Natale, and A. Sangiovanni-Vincentelli. Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. In RTSS'07: Proceedings of the 28th IEEE International Real-Time Systems Symposium, pages 161--170, 2007. Google ScholarDigital Library
- Q. Zhu, P. Deng, M. D. Natale, and H. Zeng. Robust and Extensible Task Implementations of Synchronous Finite State Machines. the 16th IEEE/ACM Conference on Design, Automation and Test in Europe (DATE), 2013. Google ScholarDigital Library
- Q. Zhu, Y. Yang, M. D. Natale, E. Scholte, and A. Sangiovanni-Vincentelli. Optimizing the Software Architecture for Extensibility in Hard Real-Time Distributed Systems. the IEEE Transactions on Industrial Informatics, 6(4):621--636, 2010.Google ScholarCross Ref
- Q. Zhu, Y. Yang, E. Scholte, M. D. Natale, and A. Sangiovanni-Vincentelli. Optimizing Extensibility in Hard Real-Time Distributed Systems. In RTAS'09: Proceedings of the 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pages 275--284, 2009. Google ScholarDigital Library
- Q. Zhu, H. Zeng, W. Zheng, M. D. Natale, and A. Sangiovanni-Vincentelli. Optimization of task allocation and priority assignment in hard real-time distributed systems. ACM Trans. Embed. Comput. Syst., 11(4):85:1--85:30, 2012. Google ScholarDigital Library
Index Terms
- Design synthesis and optimization for automotive embedded systems
Recommendations
Time-Sensitive Networking in automotive embedded systems: State of the art and research opportunities
AbstractThe functionality advancements and novel customer features that are currently found in modern automotive systems require high-bandwidth and low-latency in-vehicle communications, which become even more compelling for autonomous ...
From Electronic Design Automation to Automotive Design Automation
ISPD '19: Proceedings of the 2019 International Symposium on Physical DesignAdvanced driver assistance systems (ADAS), autonomous functions, and connected applications bring a revolution to automotive systems, but they also make automotive design, especially software and electronics, more complex than ever. The complexity ...
Runtime verification monitoring for automotive embedded systems using the ISO 26262 Functional Safety Standard as a guide for the definition of the monitored properties
The ISO 26262 Road vehicles Functional Safety Standard is intended to guide the derivation of appropriate requirements and processes for avoiding systematic and/or random failures in automotive electrical/electronic equipment. Functional safety statements ...
Comments