An investigation of model-based techniques for automotive electronic system development

Over the past decades, the adoption of electronic systems for the manufacturing of automotive vehicles has been exponentially popularized. This growth has been driven by the premium automobile sector where, presently, diverse electronic systems are used. These electronic systems include systems that control the engine, transmission, suspension and handling of a vehicle; air bag and other advanced restraint systems; comfort systems; security systems; entertainment and information (infotainment) systems. In systems terms, automotive embedded electronic systems can now be classified as a System of Systems (SoS). Automotive systems engineering requires a sustainable integration of new methods, development processes, and tools that are specifically adapted to the automotive domain. Model-based design is one potential methodology to carry out design, implement and manage such complex distributed systems, and their integration into one cohesive and reliable SoS to meet the challenges for the automotive industry. This research was conducted to investigate the model-based design of a 4×4 Information System, within an automotive electronic SoS. Two distinct model-based approaches to the development of an automotive electronic system are discussed in this study. The first approach involves the use of the Systems Modelling Language (SysML) based tool ARTiSAN Studio for structural modelling, functional modelling and code generation. The second approach involves the use of the MATLAB based tools Simulink and Stateflow for functional modelling, and code generation. The results show that building the model in SysML by using ARTiSAN Studio provides a clearly structured visualization of the 4×4 Information System from both structural and behavioural viewpoints of the system with relevant objects. SysML model facilitates a more comprehensive understanding of the system than the model built in Simulink/Stateflow. The Simulink/Stateflow model demonstrates its superior performance in producing high quality and better efficiency of C code for the automotive software delivery compared with the model built in ARTiSAN Studio. Furthermore, this Thesis also gets insight into an advanced function development approach based on the real-time simulation and animation for the 4×4 Information System. Finally, the Thesis draws conclusions about how to make use of model-based design for the development of an automotive electronic SoS.

[1]  Allen P. Nikora,et al.  Applying software reliability engineering in the 1990s , 1998 .

[2]  A. Shenhar,et al.  Systems Engineering Management: A Framework for the Development of a Multidisciplinary Discipline , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[3]  Andrew P. Sage.  Systems engineering education , 2000, IEEE Trans. Syst. Man Cybern. Part C.

[4]  Gary McGraw,et al.  ITS4: a static vulnerability scanner for C and C++ code , 2000, Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00).

[5]  A. Frank Ackerman,et al.  Software inspections: an effective verification process , 1989, IEEE Software.

[6]  H. H. Richardson,et al.  Introduction to system dynamics , 1967 .

[7]  Rick Kazman,et al.  Evaluating Software Architectures: Methods and Case Studies , 2001 .

[8]  Marc M. Lankhorst,et al.  Supporting viewpoint-oriented enterprise architecture , 2004 .

[9]  Ingo Stürmer,et al.  Overview of existing safeguarding techniques for automatically generated code , 2005, ACM SIGSOFT Softw. Eng. Notes.

[10]  Robert L. Glass,et al.  Inspections - Some Surprising Findings. , 1999 .

[11]  Rikard Land.  Applying the IEEE 1471-2000 Recommended Practice to a Software Integration Project , 2003, Software Engineering Research and Practice.

[12]  John O. Clark.  System of Systems Engineering and Family of Systems Engineering from a standards, V-Model, and Dual-V Model perspective , 2009, 2009 3rd Annual IEEE Systems Conference.

[13]  M. Kayton.  A practitioner's view of system engineering , 1997, IEEE Transactions on Aerospace and Electronic Systems.

[14]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[15]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .

[16]  J.-L. Boulanger,et al.  Experiences from a model-based methodology for embedded electronic software in automobile , 2008, 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications.

[17]  Charles B. Keating,et al.  Research foundations for system of systems engineering , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[18]  L. Vitkin.  Incorporating autocode technology into software development process , 2004, ICSE 2004.

[19]  Ulf Nilsson,et al.  A Comparative Study of Industrial Static Analysis Tools , 2008, SSV.

[20]  R. Peter Jones,et al.  A study of approaches for model based development of an automotive driver information system , 2009, 2009 3rd Annual IEEE Systems Conference.

[21]  Richard Lippmann,et al.  Testing static analysis tools using exploitable buffer overflows from open source code , 2004, SIGSOFT '04/FSE-12.

[22]  Matthias Weber,et al.  Requirements engineering in automotive development-experiences and challenges , 2002, Proceedings IEEE Joint International Conference on Requirements Engineering.

[23]  Robert L. Glass.  The realities of software technology payoffs , 1999, CACM.

[24]  Shu Xiao,et al.  Performing high efficiency source code static analysis with intelligent extensions , 2004, 11th Asia-Pacific Software Engineering Conference.

[25]  Ursula Goltz,et al.  Model Based System Development in Automotive , 2003 .

[26]  Klaus Grimm.  Software technology in an automotive company - major challenges , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[27]  Van Quang Dao,et al.  Requirements engineering in a model-based methodology for embedded automotive software , 2008, 2008 IEEE International Conference on Research, Innovation and Vision for the Future in Computing and Communication Technologies.

[28]  Karl E. Wiegers,et al.  Software Requirements , 1999 .

[29]  Misha Zitser.  Securing software : an evaluation of static source code analyzers , 2003 .

[30]  Donal Heffernan,et al.  Expanding Automotive Electronic Systems , 2002, Computer.

[31]  Daniel Kroening,et al.  A Survey of Automated Techniques for Formal Software Verification , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[32]  Brian J. Sauser,et al.  System of Systems - the meaning of of , 2006, 2006 IEEE/SMC International Conference on System of Systems Engineering.

[33]  John O. Clark.  System of systems engineering and family of systems engineering from a standards perspective , 2008, 2008 IEEE International Conference on System of Systems Engineering.

[34]  Yeqiong Song,et al.  Trends in Automotive Communication Systems , 2005, Proc. IEEE.

[35]  Jon Friedman,et al.  Best Practices for Verification, Validation, and Test in Model- Based Design , 2008 .

[36]  Laurie A. Williams,et al.  On the value of static analysis for fault detection in software , 2006, IEEE Transactions on Software Engineering.

[37]  Ali Emadi,et al.  Electronic control units for automotive electrical power systems: Communication and networks , 2004 .

[38]  Jian Ye,et al.  Multi-Target Modelling for Embedded Software Development for Automotive Applications , 2004 .

[39]  Suzanne Robertson,et al.  Mastering the Requirements Process , 1999 .

[40]  Pin Chen,et al.  Advancing systems engineering for systems‐of‐systems challenges , 2003 .

[41]  Mirko Conrad,et al.  Safety-Critical Software Development Using Automatic Production Code Generation , 2007 .

[42]  Gerd Winkler,et al.  Model-Based Development with Automatic Code Generation - Challenges and Benefits in a DCT High-Volume Project , 2008 .

[43]  Gerald M. Weinberg,et al.  Exploring Requirements: Quality Before Design , 1989 .

[44]  Guoqing Xu,et al.  Hardware-In-the-Loop Simulation of Electric Vehicle Powertrain System , 2009, 2009 Asia-Pacific Power and Energy Engineering Conference.

[45]  Benjamin Livshits,et al.  Finding Security Vulnerabilities in Java Applications with Static Analysis , 2005, USENIX Security Symposium.

[46]  Richard P. Lippmann,et al.  Using a Diagnostic Corpus of C Programs to Evaluate Buffer Overflow Detection by Static Analysis Tools , 2005 .

[47]  Galal H. Galal-Edeen,et al.  Requirements engineering: A good practice , 2000, Eur. J. Inf. Syst..

[48]  Simon Perry,et al.  SysML for Systems Engineering , 2008 .

[49]  Mirko Conrad,et al.  Model-Based Development of In-Vehicle Software , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[50]  S. Burnham.  Systems engineering: a practical approach for junior engineers , 2006, IEEE Aerospace and Electronic Systems Magazine.

[51]  Stephen J. Lukasik,et al.  Systems, systems of systems, and the education of engineers , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[52]  Jordi Marco,et al.  The Use of Model Based Design Techniques in the Design of Hybrid Electric Vehicles , 2007 .

[53]  Peter J. Schubert,et al.  Executable Specs: What Makes One, and How are They Used? , 2006 .

[54]  Ronald K. Jurgen.  Automotive Electronics Handbook , 1999 .

[55]  Richard C. Lind,et al.  Evolution of the Car Radio: From Vacuum Tubes to Satellite and Beyond , 2004 .

[56]  William P. Milam,et al.  Dependable Systems of Systems , 2006 .

[57]  Herbert Hanselmann,et al.  Challenges in automotive software engineering , 2008, ICSE Companion '08.

[58]  E Ortega,et al.  System design from wires to warranty , 2006 .

[59]  Andrew J. Kornecki,et al.  Evaluation of software development tools for high assurance safety critical systems , 2004, Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings..

[60]  Wolfhard Lawrenz,et al.  CAN system engineering - from theory to practical applications , 1997 .

[61]  Yue Guo,et al.  Architectural and Functional Modelling of an Automotive Driver Information System Using SysML , 2008, 2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems and Applications.

[62]  Alistair Cockburn,et al.  Writing Effective Use Cases , 2000 .

[63]  Donal Heffernan,et al.  Digital networks in the automotive vehicle , 1999 .

[64]  Andres Sousa-Poza,et al.  System of systems engineering: an emerging multidiscipline , 2008, Int. J. Syst. Syst. Eng..

[65]  Daniel DeLaurentis,et al.  Understanding Transportation as a System-of-Systems Design Problem , 2005 .

[66]  Azad M. Madni,et al.  Key challenges and opportunities in 'system of systems' engineering , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[67]  Rajesh Rajamani,et al.  Vehicle dynamics and control , 2005 .

[68]  Abhishek Rai,et al.  On the Role of Static Analysis in Operating System Checking and Runtime Verification , 2005 .

[69]  Robbert J. Hamann,et al.  Toward a unified systems engineering education , 2000, IEEE Trans. Syst. Man Cybern. Part C.

[70]  Tom Erkkinen,et al.  Automatic Flight Code Generation with Integrated Static Run-Time Error Checking and Code Analysis , 2006 .

[71]  Jon Holt,et al.  UML for Systems Engineering: Watching the wheels , 2004 .

[72]  Richard Thompson,et al.  Development of AUTOSAR Software Components within Model-Based Design , 2008 .

[73]  Judith S. Dahmann,et al.  Process evolution to support system of systems engineering , 2008, ULSSIS '08.

[74]  Kenneth L. Cureton,et al.  Systems-of-systems architecting: educational findings and implications , 2005, 2005 IEEE International Conference on Systems, Man and Cybernetics.

[75]  Holger Giese,et al.  A survey of approaches for the visual model-driven development of next generation software-intensive systems , 2006, J. Vis. Lang. Comput..

[76]  Wim Dehaene,et al.  From UML/SysML to Matlab/Simulink: Current State and Future Perspectives , 2006, Proceedings of the Design Automation & Test in Europe Conference.

[77]  Simon Ramo,et al.  The Development of Systems Engineering , 1984, IEEE Transactions on Aerospace and Electronic Systems.

[78]  Cyrille Artho.  Finding faults in multi-threaded programs , 2001 .

[79]  G. Rabadi,et al.  System of systems engineering , 2003, IEEE Engineering Management Review.