This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
A Modeling Framework for Automotive Embedded Control Systems
Technical Paper
2004-01-0721
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
This work is part of a larger effort to define a modeling approach suitable for complex embedded control systems for which modeling techniques are in the progress of maturing. Modeling constitutes an indispensable part of engineering, forming an important basis for documentation, communication, and design automation. In order to describe and compare different modeling techniques, a framework has been developed. The current state of the framework is presented together with lessons learned. We will illustrate the framework with an automotive application. The framework combines a generic concept of systems and the modeling concepts that have been extracted from a study of 12 modeling approaches covering different levels of design and disciplines. Future work will refine the framework by studying additional modeling techniques and by considering more domain specific modeling needs in automotive systems.
Recommended Content
Authors
- DeJiu Chen - Division of Mechatronics, Department of Machine Design, Royal Institute of Technology
- Jad El-Khoury - Division of Mechatronics, Department of Machine Design, Royal Institute of Technology
- Martin Törngren - Division of Mechatronics, Department of Machine Design, Royal Institute of Technology
Citation
Chen, D., El-Khoury, J., and Törngren, M., "A Modeling Framework for Automotive Embedded Control Systems," SAE Technical Paper 2004-01-0721, 2004, https://doi.org/10.4271/2004-01-0721.Also In
References
- Jaffe M. S. Leveson N. G. Completeness, robustness, and safety in real-time software requirements specification International Conference on Software Engineering Pittsburgh, PA May 1989 IEEE Computer Society
- Jaffe M. S. Leveson N. G. Heimdahl M. P. E. Melhart B. E. Software requirements analysis for real-time process control systems IEEE Transactions on Software Engineering March 1991
- Rushby J. Formal Methods and the Certification of Critical Systems Technical Report, Number SRI-CSL-93-7 Computer Science Laboratory, SRI International Menlo Park, CA December 1993
- Rushby J. Formal Methods and their Role in the Certification of Critical Systems Technical Report, Number SRI-CSL-95-1 Computer Science Laboratory, SRI International Menlo Park, CA March 1995
- Bishop R. Lehman, M.M 1991 A view of software quality IEE Colloquium on Designing Quality into Software Based Systems 1991
- Leveson N. G. Intent Specifications: An Approach to Building Human-Centered Specifications IEEE Transactions on Software Engineering 26 1 JAN 2000
- Rechtin E. Maier M. W. The Art of System Architecting 0-8439-7836-2 CRC Press 1997
- Kruchten P.B. The 4+1 View Model of architecture IEEE Software 12 6 42 50 Nov. 1995 0740-7459
- Bass L. Clements P. Kazaman R. Software Architecture in Practice ADDISON-WESLEY 0-201-19930-3 1998
- Henzinger T.A. et al. Giotto, a time-triggered language for embedded programming Proc. of the 1st Int. Workshop on Embedded Software - Emsoft 2001
- http://ptolemy.eecs.berkeley.edu/
- http://mast.unican.es/
- Rapide™ Language
- http://www-2.cs.cmu.edu/∼acme/
- http://www-2.cs.cmu.edu/afs/cs/project/able/www/wright/index.html
- Demmeler T. Giusto P. A Universal Communication Model for an Automotive System Integration Platform Proceedings of the DATE 2001 on Design Europe, Munich, Germany 2001
- Demmeler T. O'Rourke B. Giusto P. Enabling Rapid Design Exploration through Virtual Integration and Simulation of Fault Tolerant Automotive Application Society of automotive engineers 2002
- Wieringa R. A survey of structured and object-oriented software specification methods and techniques ACM Computing Surveys (CSUR) 30 4 459 527 December 1998
- Medvidovic N. Taylor R.N A Classification and Comparison Framework for Software Architecture Description Languages IEEE Transactions on Software Engineering 26 1 JAN 2000
- Eriksson C. Lundbäck K-L Lawson H. A Real-Time Kernel Integrated with an Off-Line Scheduler” 3rd IFAC/IFIP Workshop on Algorithms and Architectures for Real-Time Control Ostend-Belgium May 1995
- Martin Törngren Ola Redell 2000 A Modelling Framework to support the design and analysis of distributed real-time control systems Journal of Microprocessors and Microsystems 24 2000 81 93 Elsevier
- Garlan D. Kompanek A. J. Reconciling the Needs of Architectural Description with Object-Modeling Notations 498 512 2000 Springer-Verlag Berlin Heidelberg
- Shaw M. Garlan D. Software Architecture - Perspectives on An Emerging Discipline Prentice Hall 0-13-182957-2 1996
- Clements P. C. A Survey of Architecture Description Languages Eighth International Workshop on Software Specification and Design Germany March 1996
- Parnas D. L. Madey J. Functional Documents for Computer Systems Science of Computer Programming 25 Elsevier 1995
- UniCon architectural description language
- Roadmaps for Embedded Software and Systems Artist (Advanced Real-Time Systems Information Society Technologies)
- Blanchard B. Fabrycky W. Systems Engineering and Analysis Prentice-Hall Englewood Cliffs, NJ 1990
- Checkland P. Systems thinking Systems practice: Includes a 30-Year Retrospective John Wiley & Sons 1999
- Rechtin E. Maier M.W. The Art of System Architecting CRC Press 1997
- Törngren M. Johanessen P. Adamsson N. “Experiences from system integration and model based development of automotive embedded control systems” 27-28 augusti 2003 Göteborg, Sweden