This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Auto-Generated Production Code Development for Ford/Think Fuel Cell Vehicle Programme
Technical Paper
2003-01-0863
ISSN: 0148-7191, e-ISSN: 2688-3627
This content contains downloadable datasets
Annotation ability available
Sector:
Language:
English
Abstract
Pi Technology and the Ford Motor Company are using MATLAB Simulink/Stateflow model based design and automatic code generation in C, for the main software development for three electronic control units targeted at the Ford Focus fuel cell vehicle.
The automatic generation of code for embedded automotive applications offers a number of potential advantages over traditional methods. These include faster development, the avoidance of coding errors and avoiding inconsistencies with the design specification. However, the use of automatically generated code in production-intent safety-related systems requires at least the same standard of validation and verification. If code generation were perfect, one could validate only the design. However, it is impractical to require that the code generator must be validated for all possible input designs. Furthermore it must be assumed that the compiler and the hardware can also introduce faults. Therefore we adopt the approach of testing output code for the particular designs we wish to implement, in the same manner as we would test hand-written code for production systems [1]. This retains the additional benefits of exposing the design to further detailed scrutiny in test preparation, and encouraging designs that are straightforward to test.
This paper discusses the development lifecycle employed on this project, highlighting the particular benefits, issues, and challenges surrounding the use of automatically generated code for these production-quality safety-related automotive controllers.
Recommended Content
Authors
Citation
Wartnaby, C., Bennett, S., Ellims, M., Raju, R. et al., "Auto-Generated Production Code Development for Ford/Think Fuel Cell Vehicle Programme," SAE Technical Paper 2003-01-0863, 2003, https://doi.org/10.4271/2003-01-0863.Data Sets - Support Documents
Title | Description | Download |
---|---|---|
Unnamed Dataset 1 | ||
Unnamed Dataset 2 |
Also In
SAE 2003 Transactions Journal of Passenger Cars - Electronic and Electrical Systems
Number: V112-7; Published: 2004-09-15
Number: V112-7; Published: 2004-09-15
References
- Ellims Michael Parkins Richard P. “Unit Testing Techniques and Tool Support” SAE 1999-01-2842
- “Development Guidelines for Vehicle-Based Software” Motor Industry Software Reliability Association (MISRA) http://www.misra.org.uk
- Amato Giuseppe Köster Lutz “High Performance Code Generation for Audo, an Automotive micro-Controller from Infineon Technologies” SAE 2000-01-0393
- Köster Lutz Thomsen Thomas Stracke Ralf “Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink” SAE 2001-01-0024
- Walton Fehr Martin Todd Lapkass Robert Viazzo Danilo “Graphical Modeling and Code Generation for Distributed Automotive Control Systems” SAE 2000-01-3061
- Greff Andreas Günther Torsten “A New Approach for a Multi-Fuel, Torque Based ECU Concept using Automatic Code Generation” SAE 2001-01-0267
- Saikalis George Oho Shigeru Zunft Steffen “Zero Hand Coding Approach for Controller Development” SAE 2002-01-0142
- Liu C.L. James Layland W. “Scheduling algorithms for multirogramming in a hard real-time environment” Journal of the ACM 20 1 January 1973 46 61
- Beizer, B oftware Testing Techniques international Thomson Computer Press 1990
- Ellims, M. “Hardware in the Loop Testing of Embedded Control Software” ImechE Symposium on Engine Control Systems, IEE Control 2000 University of Cambridge 6 September 2000 http://www.pitechnology.com
- http://www.pitechnology.com
- Ellims Mike Jackson Keith “IS0 9001: Making the Right Mistakes” SAE 2000-01-0714
- Ranville Scott “Practical Application of Model-Based Software Design for Automotive” SAE 2002-01-0876