This content is not included in your SAE MOBILUS subscription, or you are not logged in.
Coherent Treatment of Time in the Development of ADAS/AD Systems: Design Approach and Demonstration
Technical Paper
2018-01-0592
ISSN: 0148-7191, e-ISSN: 2688-3627
This content contains downloadable datasets
Annotation ability available
Sector:
Language:
English
Abstract
The application of digital control in the automotive domain clearly follows an evolution with increasing complexity of both covered functions and their interaction. Advanced Driver Assistance Systems (ADAS) and Automated Driving Functions (AD) comprise modular interacting software components that typically build upon a layered architecture. As these components are generally developed by different teams, using different tools for different functional purposes and building upon different models of computation, an integration of all components guaranteeing the satisfaction of all requirements calls for coherent handling of timing properties.
We propose an approach addressing this major challenge, which consists of four design paradigms. A compositional semantic framework - based on a notion of components, their interfaces and their interaction - provides the common ground. Equipped with well-defined semantics allowing to express specifications in terms of contracts, and together with also well-defined operations (such as decomposition and refinement), the framework gives means to all typical design steps in the considered application domain. The second paradigm consists of a carefully selected set of contract specification patterns covering a multitude of relevant timing phenomena. The third paradigm concerns the embedding of different models of computation into the framework, lifting them into a common semantic domain. The fourth design paradigm provides for integrating models of computation by means of interaction components. All those paradigms are well-known in academia or industrial practice. Although we have extended them where needed in order to fit the particular needs of ADAS/AD design, it is foremost their interplay which is the novelty of our approach.
The application of the approach is exemplified by an industrial-motivated case study of an emergency stop system. In the course of this demonstration we show that coherent treatment of time and timing effects in ADAS/AD design is indeed possible and can be integrated in typical industrial processes.
Recommended Content
Authors
Citation
Ehmen, G., Grüttner, K., Koopmann, B., Poppen, F. et al., "Coherent Treatment of Time in the Development of ADAS/AD Systems: Design Approach and Demonstration," SAE Technical Paper 2018-01-0592, 2018, https://doi.org/10.4271/2018-01-0592.Data Sets - Support Documents
Title | Description | Download |
---|---|---|
[Unnamed Dataset 1] | ||
[Unnamed Dataset 2] | ||
[Unnamed Dataset 3] | ||
[Unnamed Dataset 4] | ||
[Unnamed Dataset 5] | ||
[Unnamed Dataset 6] | ||
[Unnamed Dataset 7] |
Also In
References
- AUTOSAR GbR. Specification of Runtime Environment, Jul 2015. Version 4.2.2.
- AUTOSAR GbR. Specification of Timing Extensions, Jul 2015. Version 4.2.2.
- I.Bao,P.Battram,A.Enkelmann,A.Gabel,J.Heyen,T.Koepke,C.Läsche, andS.Sieverding. Projektgruppe ViDAs - Endbericht. 2010.
- Benveniste, A.,Caillaud, B.,Ferrari, A.,Mangeruca, L. et al., “Multiple Viewpoint Contract-Based Specification and Design, pages,” (Berlin, Heidelberg, Springer, 2008), 200-225.
- A.Benveniste,B.Caillaud,D.Nickovic,R.Passerone,J.Raclet,P.Reinkemeier,A.Sangiovanni-Vincentelli,W.Damm,T.Henzinger, and K.Larsen. Contracts for Systems Design: Methodology and Application Cases. Research Report RR-8760, Inria Rennes Bretagne Atlantique; INRIA Jul 2015.
- A.Benveniste,B.Caillaud,D.Nickovic,R.Passerone,J.Raclet,P.Reinkemeier,A.Sangiovanni-Vincentelli,W.Damm,T.Henzinger, andK.Larsen. Contracts for Systems Design: Theory. Research Report RR-8759, Inria Rennes Bretagne Atlantique; INRIA, Jul 2015.
- D.Broman,L.Greenberg,E.Lee,M.Masin,S.Tripakis, andM.Wetter. Requirements for Hybrid Cosimulation Standards. In Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC’15, pages 179-188, New York, USA, 2015. ACM.
- E.Böde,M.Büker,W.Damm,G.Ehmen,M.Fränzle,S.Gerwinn,T.Goodfellow,K.Grüttner,B.Josko,B.Koopmann,T.Peikenkamp,F.Poppen,P.Reinkemeier,M.Siegel, andI.Stierand. Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC). In FAT Series, number 302, Oct 2017.
- M.Büker,W.Damm,G.Ehmen,S.Henkler,D.Janssen,I.Stierand, andE.Thaden. From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach. SAE Int. J. of Passeng. Cars - Electronic and Electrical Sys., 6 (1):194-212, May 2013, doi:10.4271/2013-01-0432.
- A.Cimatti andS.Tonetta. Contracts-Refinement Proof System for Component-Based Embedded Systems. Science of Computer Programming, 97, Part 3:333-348, 2015.
- A.Davare,D.Densmore,T.Meyerowitz,A.Pinto,A.Sangiovanni-Vincentelli,G.Yang,H.Zeng, andQ.Zhu. A Next-Generation Design Framework for Platform-based Design. In Proceedings of Conference on Using Hardware Design and Verification Languages (DVCon’07), Feb 2007.
- Di Natale, M.,Guo, L.,Zeng, H., andSangiovanni-Vincentelli, A., “Synthesis of Multitask Implementations of Simulink Models with Minimum Delays,” IEEE Transactions on Industrial Informatics, 2010.
- International Organization for Standardization. ISO 11898 - Road Vehicles - Interchange of Digital Information - Controller Area Network (CAN) for High-Speed Communication 1993.
- International Organization for Standardization. ISO 15622 - Transport Information and Control Systems - Adaptive Cruise Control Systems (ACC) - Performance Requirements and Test Procedures. 2002.
- International Organization for Standardization. ISO 26262 - Road Vehicles - Functional Safety. Schweiz, 2011.
- International Organization for Standardization. ISO 11270 - Intelligent Transport Systems - Lane Keeping Assistance Systems (LKAS) - Performance Requirements and Test Procedures. 2014.
- Forschungsgesellschaft für Straßen- und Verkehrswesen, “Arbeitsgruppe Straßenentwurf,” . In: Richtlinien für die Anlage von Autobahnen. (June 2008).
- T.Gezgin,R.Weber, andM.Oertel. Multi-Aspect Virtual Integration Approach for Real-Time and Safety Properties. In International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS’14). IEEE Computer Society, Oct 2014.
- Henzinger, T.,Horowitz, B., andKirsch, C., “Giotto: A Time-Triggered Language for Embedded Programming,” (Berlin Heidelberg, Springer, 2001), 166-184.
- Jantsch, A., “Models of Embedded Computation,” . In: Embedded Systems Handbook. (CRC Press, 2005).
- N.Kämpchen,P.Waldmann,F.Homm, andM.Ardelt. Umfelderfassung fürr Den Nothalteassistenten - Ein System Zum Automatischen Anhalten Bei plötzlich Reduzierter Fahrfähigkeit Des Fahrers, 2010.
- E.Lee andA.Sangiovanni-Vincentelli. A Framework for Comparing Models of Computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12), Dec 1998.
- TIMMOPartners. TADL: Timing Augmented Description Language Version 2. Timmo Deliverable d6, TIMMO Project, Oct 2009.
- TIMMO-2-USE Partners. Language Syntax, Semantics, Metamodel V2. Timmo-2-use deliverable d11, TIMMO-2-USE Project, Aug 2012.
- J.Paul andD.Thomas. Models of Computation for Systems-on-Chips. In Ahmed A.Jerraya andWayneWolf, editors, Multiprocessor Systems-on-Chip, chapter 15. Morgan Kaufman Publishers, 2004.
- Savage, J., “Models of Computation: Exploring the Power of Computing,” (Addison Wesley, 1998).
- Homepage of the Accellera Systems Initiative. http://www.accellera.org.
- Taylor, R., “Models of Computation and Formal Languages,” (New York, Oxford University Press, 1998).
- Winner, H.,Hakuli, S.,Lotz, F., andSinger, C., “Handbuch Fahrerassistenzsysteme,” 3rd Edition (Vieweg, Wiesbaden, ATZ/MTZ-Fachbuch. Springer, 2015).
- Würzburger Institut für Verkehrswissenschaften GmbH. Dokumentation der Fahrsimulationssoftware SILAB, Jan Version 2.5. 2009