This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Model-Driven Code Generation and Analysis
Technical Paper
2014-01-0217
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Model-based development is the established way of developing embedded control algorithms, especially for safety-critical applications. The aim is to improve development efficiency and safety by developing the software at a high abstraction level (the model) and by generating the implementation (the C code) automatically from the model. Although model-based development focuses on the models themselves, downstream artifacts such as source code or executable object code have to be considered in the verification stage.
Safety standards such as ISO 26262 require upper bounds to be determined for the required storage space or the execution time of real-time tasks, and the absence of run-time errors to be demonstrated. Static analysis tools are available which work at the code level and can prove the absence of such errors. However, the connection to the model level has to be explicitly established. In this article we present an approach to integrate static code analyzers with model-based development tools. The static analysis can be invoked automatically from the modeling tool with relevant model-level information automatically being propagated to the analyzer to optimize analysis precision. The results are mapped back to the modeling level. This way, timing bugs, stack overflows, and run-time errors can be detected early in the development process. Implementation-level errors can be traced back to the modeling level, and can be investigated at both the model and the implementation level. This significantly reduces the development effort and allows bugs to be detected early in the development process.
Recommended Content
| Journal Article | Optimizing the Benefit of Virtual Testing with a Process-Oriented Approach |
| Technical Paper | Fixed-Point ECU Code Optimization and Verification with Model-Based Design |
Authors
- Daniel Kaestner - AbsInt Angewandte Informatik GmbH
- Carsten Rustemeier - dSPACE GmbH
- Ulrich Kiffmeier - dSPACE GmbH
- Dirk Fleischer - dSPACE GmbH
- Stefana Nenova - AbsInt Angewandte Informatik GmbH
- Reinhold Heckmann - AbsInt Angewandte Informatik GmbH
- Marc Schlickling - AbsInt Angewandte Informatik GmbH
- Christian Ferdinand - AbsInt Angewandte Informatik GmbH
Topic
Citation
Kaestner, D., Rustemeier, C., Kiffmeier, U., Fleischer, D. et al., "Model-Driven Code Generation and Analysis," SAE Technical Paper 2014-01-0217, 2014, https://doi.org/10.4271/2014-01-0217.Also In
References
- ISO 26262 Road vehicles - Functional safety 2011
- Radio Technical Commission for Aeronautics RTCA DO-178B Software Considerations in Airborne Systems and Equipment Certification 1992
- Radio Technical Commission for Aeronautics RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification 2011
- IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems 2010
- CENELEC DRAFT prEN 50128 Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems 2009
- Cousot Patrick and Cousot Radhia Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints POPL '77: Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages 238 252 New York, NY, USA 1977 ACM Press
- Souyris Jean , Le Pavec Ervan , Himbert Guillaume , Jégu Victor , Borios Guillaume , and Heckmann Reinhold Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation Proceedings of the 5th International Workshop on Worst-case Execution Time (WCET '05) Mallorca, Spain 21 24 2005
- Delmas D. and Souyris J. ASTRÉE: from Research to Industry Proc. 14th International Static Analysis Symposium (SAS2007) , number 4634 in LNCS 437 451 2007
- dSPACE GmbH TargetLink Website http://-www.dSPACE.com/go/TargetLink
- dSPACE GmbH TargetLink Data Dictionary Basic Concepts Guide November 2013
- Ferdinand , C. and Heckmann , R. Static Memory and Execution Time Analysis of Embedded Code SAE Technical Paper 2006-01-1499 2006 10.4271/2006-01-1499
- Kästner D. and Ferdinand Efficient Verification of Non-Functional Safety Properties by Abstract Interpretation: Timing, Stack Consumption, and Absence of Runtime Errors Proceedings of the 29th International System Safety Conference ISSC2011 Las Vegas 2011
- Dunn M. Toyota's killer firmware: Bad design and its consequences EDN Network http://www.edn.com/design/automotive/4423428/Toyota-s-killer-firmware-Bad-design-and-its-consequences October 2013
- AbsInt GmbH StackAnalyzer Website http://www.AbsInt.com/sa
- Wilhelm Reinhard Determining bounds on execution times Zurawski R. Handbook on Embedded Systems 14-1 14-23 CRC Press 2005
- Kästner D. , Schlickling M. , Pister M. , Cullmann C. , Gebhard G. , Heckmann R. , and Ferdinand C. Meeting Real-Time Requirements with Multi-Core Processors Safecomp 2012 Workshop: Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR) September 2012
- Wilhelm Reinhard , Engblom Jakob , Ermedahl Andreas , Holsti Niklas , Thesing Stephan , Whalley David , Bernat Guillem , Ferdinand Christian , Heckmann Reinhold , Mitra Tulika , Mueller Frank , Puaut Isabelle , Puschner Peter , Staschulat Jan , and Stenström Per The worst-case execution-time problem-overview of methods and survey of tools ACM Transactions on Embedded Computing Systems 7 3 1 53 2008
- AbsInt GmbH aiT Worst-Case Execution Time Analyzer Website http://www.AbsInt.com/ait
- NASA Engineering and Safety Center Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation 2011
- Ferdinand Christian , Heckmann Reinhold , Jersak Marek , Martin Florian , and Richter Kai Integrating system-level and code-level timing analysis for dependable system development 4th European Congress ERTS Embedded Real Time Software Toulouse, France January 2008
- Ferdinand Christian , Heckmann Reinhold , Langenbach Marc , Martin Florian , Schmidt Michael , Theiling Henrik , Thesing Stephan , and Wilhelm Reinhard Reliable and Precise WCET Determination for a Real-Life Processor Henzinger Thomas A. and Kirsch Christoph M. Proceedings of the First International Workshop on Embedded Software (EMSOFT 2001) on October 8-10, 2001 at Tahoe City, CA, USA , volume 2211 of Lecture Notes in Computer Science 469 485 Berlin 2001 Springer
- Cullmann Christoph Cache Persistence Analysis for Embedded Real-Time Systems PhD thesis Universität des Saarlandes 2013
- Ferdinand Christian , Heckmann Reinhold , Theiling Henrik , and Wilhelm Reinhard Convenient User Annotations for a WCET Tool Gustafsson Jan Proceedings of the 3rd International Workshop on Worst-Case Execution Time Analysis (WCET 2003) at the Polytechnic Institute of Porto, Portugal, July 1, 2003 17 20 Västeras 2003
- Langenbach Marc , Thesing Stephan , and Heckmann Reinhold Pipeline modeling for timing analysis Proceedings of the 9th International Static Analysis Symposium SAS 2002 , volume 2477 of LNCS 294 309 Springer 2002
- Lions J.L. et al. ARIANE 5, Flight 501 Failure Report by the Inquiry Board 1996
- AbsInt GmbH Astrée Website http://www.AbsInt.com/astree
- Blanchet B. , Cousot P. , Cousot R. , Feret J. , Mauborgne L. , Miné A. , Monniaux D. , and Rival X. A Static Analyzer for Large Safety-Critical Software Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03) 196 207 San Diego, California, USA June 7 14 2003 ACM Press
- Bertrane Julien , Cousot Patrick , Cousot Radhia , Feret Jérôme , Mauborgne Laurent , Miné Antoine , and Rival Xavier Static analysis and verification of aerospace software by abstract interpretation AIAA Infotech@Aerospace 2010 , number AIAA-2010-3385 1 38 American Institue of Aeronautics and Astronautics April 2010
- Kästner D. , Wilhelm S. , Nenova S. , Cousot P. , Cousot R. , Feret J. , Mauborgne L. , Miné A. , and Rival X. Astrée: Proving the Absence of Runtime Errors Embedded Real Time Software and Systems Congress ERTS 2 2010
- Kästner D. , Brockmeyer U. , Pister M. , Nenova S. , Bienmüller T. , Dereani A. , and Ferdinand C. Combining Model-based Analysis and Testing To appear in Proceedings of the Embedded Real Time Software and Systems Congress ERTS 2 Toulouse 2014
- Raja H.Q. Timing Aware AUTOSAR System Design Â-Specification and Analysis Embedded Worl 2013
- Henia Rafik , Hamann Arne , Jersak Marek , Racu Razvan , Richter Kai , and Ernst Rolf System Level Performance Analysis - the SymTA/S Approach IEEE Proceedings on Computers and Digital Techniques 152 2 March 2005
- dSPACE GmbH TargetLink Preparation and Simulation Guide November 2013
- AbsInt XTC Language Specification Version 2.1 http://www.absint.com/xtc/ 2013
- INTERESTED Project Final Report (Public Version) http://cordis.europa.eu/projects/rcn/85281_en.html 2011
- Gustafsson Jan , Lisper Björn , Schordan Markus , Ferdinand Christian , Gliwa Peter , Jersak Marek , and Bernat Guillem ALL-TIMES - a European project on integrating timing technology Margaria Tiziana and Steffen Bernhard Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings , volume 17 of Communications in Computer and Information Science 445 459 Springer 2008
- Timmo2 Consortium TIMing MOdel - TOols, algorithms, languages, methodology, and USE cases http://www.timmo-2-use.org/
- EU ARTEMIS Joint Undertaking Project MBAT MBAT - Combined Model-based Analysis and Testing of Embedded Systems https://www.mbatartemis.eu/home/
- Kästner , D. , Jersak , M. , Ferdinand , C. , Gliwa , P. et al. An Integrated Timing Analysis Methodology for Real-Time Systems SAE Technical Paper 2011-01-0444 2011 10.4271/2011-01-0444
- BTC Embedded Systems AG BTC EmbeddedTester Website http://www.btc-es.de/index.php?idcatside=2
- OSLC Community OSLC - Open Services for Lifecycle Collaboration http://open-services.net/
- AbsInt The Static Analyzer Astrée - User Documentation for AAL Annotations 2013
- AbsInt AIS Quick Reference Guide 2013
- Kästner D. and Ferdinand F. Static Verification of Non-Functional Software Requirements in the ISO-26262 Ploedereder E. , Dencker P. , Klenk H. , Keller H.B. , and Spitzer S. Automotive - Safety & Security 2012. , volume P-210 of LNI Springer September 2012
- Beine M. Model-Based Software Development for Safety-Related Systemes - TargetLink Reference Workflow March 2012 dSPACE GmbH