This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Transition Methodology from Specifications to a Network of ECUs Exemplarily with ASCET-SD and VCC
Technical Paper
2000-01-0720
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Event:
SAE 2000 World Congress
Language:
English
Abstract
This paper presents a methodology for tool-assisted development of software for electronic control units in cars. Because of increasing complexity the developer requires a set of tools that cover the whole development process.
In this paper the process is separated into several phases. Ideally after analysis there is a specification phase, where executable but hardware independent models are created. After that in the Design phase the hardware architecture is designed and partitioning of the models onto the network of ECUs is performed. Here the appropriate architecture is chosen.
This paper shows the seamless methodology from the Specification phase tool ‘ASCET-SD’ to the Design phase tool ‘Virtual Component Co-Design’ (VCC) with respect to the overall design flow. Several ways of doing the transition considering intellectual property protection, target dependency accordingly independency, and model semantics are considered.
It is interesting what information can be translated from ASCET-SD to VCC. VCC provides three ways of importing models: A model imported as Clearbox can be simulated, automatically estimated and synthesized to hardware. Whitebox models can be simulated and analysed but not synthesized, while Blackbox models can only be simulated. But Blackbox import mechanism provides intellectual property protection, which is one of the most important aspects in automotive industry, because of the enormous number of suppliers. Further in this paper it will be discussed on which level of granularity the model transition should be carried out to achieve preservation of model semantics.
Topic
Citation
Fuchs, M. and Schiele, P., "Transition Methodology from Specifications to a Network of ECUs Exemplarily with ASCET-SD and VCC," SAE Technical Paper 2000-01-0720, 2000, https://doi.org/10.4271/2000-01-0720.Also In
SAE 2000 Transactions Journal of Passenger Cars - Electronic and Electrical Systems
Number: V109-7; Published: 2001-09-15
Number: V109-7; Published: 2001-09-15
References
- Booch G. Object-Oriented Analysis and Design with Applications Benjamin/Cummings Publishing Company 1994
- Cadence Inc. Virtual Component Codesign Product Documentation Cadence Inc. 1998
- Dunlop D. McKinley K. A tale of two model managers Proceedings of IVC 1997
- Dunlop D. McKinley K. OMI - A standard model interface for IP delivery Proceedings of the IVC 1997
- Edwards S. Lavagno L. Lee E. Sangiovanni-Vincentelli A. Design of Embedded Systems: Formal Methods, Validation and Synthesis Proceedings of the IEEE 85 3 March 1997 366 290
- ETAS GmbH Whitepaper ASCET-SD ETAS GmbH 1998
- Gutkin I. Giusto P. Ehret J. Modeling the CAN bus within the VCC environment Proceedings of the International Conference on Parallel and Distributed, Processing Techniques and Applications 1999
- Harel D. Statecharts: A Visual Formalism for Complex Systems Sci. Comput. Programs 8 231 274 1987
- Harel D. Namad A. The STATEMATE Semantics of Statecharts ACM Transactions on Software Engineering and Methodology 5 4 1996
- IEEE P1499 Technical Committee Standard Interface for Hardware Description Models The Open Model Interface 1997
- Lavagno L. Sangiovanni-Vincentelli A. Sentovich E. Models of Computation for Embedded System Design 1998 NATO ASI, Proceedings on System Synthesis II Ciocco 1998
- Lee E. A. Messerschmitt D. G. Synchronous Data Flow Proc. of the IEEE September 1987
- Lee E. Sangiovanni-Vincentelli A. Comparing Models of Computation Proceedings of ICCAD 1996