This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Advanced Design and Validation Techniques for Electronic Control Units
ISSN: 0148-7191, e-ISSN: 2688-3627
Published February 23, 1998 by SAE International in United States
Annotation ability available
Increasing demand for dynamically controlled safety features, passenger comfort, and operational convenience in upper class automobiles requires an intensive use of electronic control units including software portions. Modeling, simulation, rapid prototyping, and verification of the software need new technologies to guarantee passenger security and to accelerate the time-to-market of new products.
This paper presents the state-of-the-art of the design methods for the development of electronic control unit software at BMW. These design methods cover both discrete and continuous system parts, smoothly integrating the respective methods not merely on the code level, but on the documentation, simulation, and design level. In addition, we demonstrate two modeling and prototyping tools for discrete and continuous systems, namely Statemate and MatrixX, and discuss their advantages and drawbacks with respect to necessary prototyping demands.
Furthermore, we discuss how even more advanced technologies could be applied in the near future in the area of formal verification, aiming at the validation of safety-critical properties. Both design methods and verification have been applied to the case study of a cruise control system.
CitationFuchs, M., Eckrich, M., Müller, O., Philipps, J. et al., "Advanced Design and Validation Techniques for Electronic Control Units," SAE Technical Paper 980199, 1998, https://doi.org/10.4271/980199.
- Alur Rajeev Courcoubetis Costas Henzinger Thomas A. Halbwachs Nicolas Ho Pei-Hsin Nicollin Xavier Olivero Alfredo Sifakis Joseph Yovine Sergio The algorithmic analysis of hybrid systems Theoretical Computer Science 138 3 34 1995
- BMW Requirements Specification Cruise Control
- Burch R. Clarke E. M. McMillan K. L. Dill D. L. Hwang J. Symbolic model checking: 1020 states and beyond Proc. 5th IEEE Symp. Logic in Computer Science 428 439 1990
- Damm, W. Hungar, H. Kelb, P. Schlör, R. Using graphical specifica-tion languages and symbolic model checking in the verification of a production cell 1994
- De Marco, T. Structured Analysis and Systems Specification Englewood Cliffs. Prentice-Hall N.J. 1979
- Eckrich, M. 1996
- Fuchs, M. Functional specification of a tempomat SFB-Report 342/1/93 B Technical University of Munich January 1993
- Harel, D. Statecharts: A visual Formalism for Complex Systems Science of Computer Programming 231 274 August 1987
- MatrixX - Product Family Integrated Systems, Inc. 1996
- Spreng, M. Rapid prototyping for automotive system development Ad-vanced Technology for Product and Process Integration SAE 1995
- Statemate Documentation i-Logix, Inc. Mai 1995
- Stauner Thomas Mueller Olaf Fuchs Max Using HYTECH to verify an Automotive Control System HART'97, Proc. of the 1st International Workshop on Hybrid and Real-Time Systems, Lecture Notes in Computer Science 1201 Springer 139 154