This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Using Timber in a Multi-Body Design Environment to Develop Reliable Embedded Software
Technical Paper
2008-01-0742
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
A major challenge for the automotive industry is to reduce the development time while meeting quality assessments for their products. This calls for new design methodologies and tools that scale with the increasing amount and complexity of embedded systems in today's vehicles.
In this paper we undertake an approach to embedded software design based on executable models expressed in the high-level modelling paradigm of Timber. In this paper we extend previous work on Timber with a multi-paradigm design environment, aiming to bridge the gap between engineering disciplines by multi-body co-simulation of vehicle dynamics, embedded electronics, and embedded executable models. Its feasibility is demonstrated on a case study of a typical automotive application (traction control), and its potential advantages are discussed, as highlighted below:
-
shorter time to market through concurrent, cooperative distributed engineering, and
-
reduced cost through adequate system design and dimensioning, and
-
improved efficiency of the design process through migration and reuse of executable software components, and
-
reduced need for hardware testing, by specification verification on the executable model early in the design process, and
-
improved quality, by enabling formal methods for verification.
Recommended Content
Citation
Eriksson, J., Nybacka, M., Larsson, T., and Lindgren, P., "Using Timber in a Multi-Body Design Environment to Develop Reliable Embedded Software," SAE Technical Paper 2008-01-0742, 2008, https://doi.org/10.4271/2008-01-0742.Also In
References
- Lee Edward A. “Overview of the Ptolemy Project” Technical Memorandum No. UCB/ERL M03/25 University of California Berkeley, CA, 94720, USA July 2 2003
- IBM Software - Rational Rose - Product Overview: IBM Rational Rose Technical Developer [online 2007-02-21] http://www.ibm.com/software/awdtools/developer/technical/
- Black A. Carlsson M. Jones M. Kieburtz R. Nordlander J. “Timber: A programming language for real-time embedded systems.” Technical Report CSE-02-002 Dept. of Computer Science & Engineering, Oregon Health & Science University April 2002
- Lindgren P. Nordlander J. Eriksson J. “Robust Real-Time Applications in Timber” In Sixth IEEE International Conference on Electro,Information Tech, EIT 2006
- Kolnick Frank The QNX 4 Real-time Operating System Basis Computer Systems Inc. September 1998 0-921960-01-8
- Baker T. P. “A Stack-Based Resource Allocation Policy for Realtime Processes” IEEE Real-Time Systems Symposium 191 200 1990
- Liu Y. A. Gomez G. “Automatic Accurate Cost-Bound Analysis for High-Level Languages” IEEE Transactions on Computers 2001
- Liu C-S. Monkaba V. Lee H. Alexander T. Subramanyam V. “Co-simulation of Driveline Torque Bias Controls” SAE paper 2001-01-2782 2001
- D'Silva S. Sundaram P. D'Ambroslo J. “Co-Simulation Platform for Diagnostic Development of a Controlled Chassis System” SAE paper 2006-01-1058 2006
- Nybacka M. Larsson T. Johanson M. Törlind P. “Distributed Real-Time Vehicle Validation”, DETC2006-99154” Proceedings of ASME IDETC/CIE 2006
- Nybacka M. Larsson T. Karlsson T. “Vehicle Validation Visualization”, VC_InCo2006_P56” Proceedings of Virtual Concepts 2006
- Stensson A. Larsson T. Merkt T. Schuller J. Williams R. A. Mauer L. “Industry demands on vehicle development – methods and tools” Vehicle System Dynamics Supplement 33 202 213 Swets & Zeitlinger 1999
- Schäuffele J. Zurawaka T. Automotive Software Engineering – Principles, Processes, Methods, and Tools SAE Publications Warrendale, PA 2005
- Müller-Glaser K. D. Frick G. Sax E. Kühl M. “Multiparadigm Modeling in Embedded Systems Design” IEEE transaction on control systems technology 12 March 2004
- Amory A. Moraes F. Oliveira L. Calazans N. Hessel F. “A Heterogeneous and Distributed Co-Simulation Environment” Proceedings of the 15 th Symposium on Integrated Circuits and Systems Design 2002
- AgentFX™ www.agency9.se
- Java Web Start http://java.sun.com/products/javawebstart/index.jsp
- Kasprzak E. M. Gentz D. “The Formula SAE Tire Test Consortium – Tire Testing and Data Handling” SAE paper 2006-01-3606 2006
- Eriksson J. Lindgren P. Deventer J. “A Distributed Engine management system for formula SAE” SAE International Detroit 2007
- Eriksson J. “An Engine management system for Formula SAE” M.Sc thesis at Luleå University of technology 2006
- Eriksson J. Lindgren P “A comprehensive approach to design of embedded real-time software for controlling mechanical systems” 14th Asia Pacific Automotive Engineering Conference (APAC-14)
- “The Timber Developer Wiki” http://hackage.haskell.org/trac/timber/wiki
- Saksena M. Freedman P. Rodziewicz P. “Guidelines for automated implementation of executable object oriented models for real-time embedded control systems” Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS ′97)
- Kero M. Nordlander J Lindgren P. “A Correct and useful incremental copying garbage collector” The 2007 International Symposium on Memory Management (ISMM 2007)
- Lindgren P. Eriksson J. Aittamaa S. Norlander J. “TinyTimber, Reactive Objects in C for Real-Time Embedded Systems” DATE 2008 Design, Automation and Test in Europe