This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
A Versatile Approach for an ISO26262 Compliant Hardware-Software Interface Definition with Model-Based Development
Technical Paper
2015-01-0148
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Increasing demands for safety, security, and certifiability of embedded automotive systems require additional development effort to generate the required evidences that the developed system can be trusted for the application and environment it is intended for.
Safety standards such as ISO 26262 for road vehicles have been established to provide guidance during the development of safety-critical systems. The challenge in this context is to provide evidence of consistency, correctness, and completeness of system specifications over different work-products. One of these required work-products is the hardware-software interface (HSI) definition. This work-product is especially important since it defines the interfaces between different technologies. Model-based development (MBD) is a promising approach to support the description of the system under development in a more structured way, thus improving resulting consistency.
Therefore, this paper presents a tool approach for an ISO 26262 aligned hardware-software interface definition. More specifically, the approach combines the versatility and intuitiveness of spreadsheet tools (such as Excel) and the properties of MDB tools (e.g. different views, levels of abstraction, central source of information, and information reuse) bidirectionally. The approach is capable of defining an ISO 26262 compliant HSI definition and enables automatic derivation of basic software configurations according to the HSI definition. This simplifies concurrent development of software and hardware across domain and company borders.
Recommended Content
Authors
Topic
Citation
Macher, G., Sporer, H., Armengaud, E., and Kreiner, C., "A Versatile Approach for an ISO26262 Compliant Hardware-Software Interface Definition with Model-Based Development," SAE Technical Paper 2015-01-0148, 2015, https://doi.org/10.4271/2015-01-0148.Also In
References
- Riel , A. , Bachmann , O. , Dussa-Zieger , K. , Kreiner , C. , Messnarz , R. , Nevalainen , R. , Sechser , B. , smf Tichkiewitch , S. EU Project SafEUr - Competence Requirements for Functional Safety Managers EuroSPI Proceedings, volume 301 of Communications in Computer and Information Science 253 265 Springer 2012
- The International Organization for Standardization (ISO) Road Vehicles Functional Safety Part 1-10 ISO 26262 2011
- Messnarz , R. , Kreiner , C. , Bachmann , O. , Riel , A. , Dussa-Zieger , K. , Nevalainen , R. , and Tichkiewitch , S. Implementing Functional Safety Standards Experiences from the Trials about Required Knowledge and Competencies (SafEUr) Systems, Software and Services Process Improvement, volume 364 of Communications in Computer and Information Science 323 332 Springer Berlin Heidelberg 2013
- Jerraya , A. and Wolf , W. Hardware/Software Interface Codesign for Embedded Systems Computer 38 2 63 69 February 2005 10.1109/MC.2005.61
- Kecheng , H. and Xie , F. Componentizing Hardware/Software Interface Design 2009 978-3-9810801-5-5
- King , M. , Nirav , D. and Arvind Automatic Generation of Hardware/Software Interfaces ASPLOS 2012: Proceedings of the Seventeenth International Conference on Architectural Support for Programming Languages and Operating Systems 10.1145/2150976.2151011
- AUTOSAR Development Cooperation AUTOSAR AUTomotive Open System Architecture http://www.autosar.org 2014
- Cimatti , A. and Tonetta , S. A Property-Based Proof System for Contract-Based Design Proc. 36th EUROMICRO Conference on Software Engineering and Advanced Applications 2012
- Johansson , R. Safety Contract Based Design of Software Components ISSREW, 2013, 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) 2013 10.1109/ISSREW.2013.6688922
- Damm , W. , Hungar , H. , Josko , B. , Peikenkamp , T. and Stierand , I. Using Contract-Based Component Specifications for Virtual Integration Testing and Architecture Design 2011 Design, Automation & Test in Europe Conference & Exhibition 10.1109/DATE.2011.5763167
- Bryans , J. , Payne , R. , Holt , J. and Perry , S. Semi-Formal and Formal Interface Specification for System of Systems Architecture Systems Conferecne (SysCon) 2013 978-1-4673-3107-4 10.1109/SysCon.2013.6549946
- Macher , G. , Armengaud , E. and Kreiner , C. Automated Generation of AUTOSAR Description File for Safety-Critical Software Architectures Lecture Notes in Informatics 2014
- Chen , D. , Johansson , R. , Loenn , H. , Papadopoulos , Y. , Sandberg , A. , Toerner , F. and Toerngren , M. Modelling Support for Design of Safety-Critical Automotive Embedded Systems SAFECOMP 2008 2008
- Rajan , A. and Wahl , T. CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems Springer Wien 978-3-7091-1386-8 10.1007/978-3-7091-1387-5
- Broy , M. , Feilkas , M. , Herrmannsdoerfer , M. , Merenda , S. and Ratiu , D. Seamless Model-based Development: From Isolated Tool to Integrated Model Engineering Environments Proceedings of the IEEE 98 4 2010 10.1109/JPROC.2009.2037771
- Fabbrini , F. , Fusani , M. , Lami , G. and Sivera , E. Software Engineering in the European Automotive Industry: Achievements and Challenges COMPSAC, 2008, 2013 IEEE 37th Annual Computer Software and Applications Conference 10.1109/COMPSAC.2008.140
- Macher , G. , Armengaud , E. , and Kreiner , C. Bridging Automotive Systems, Safety and Software Engineering by a Seamless Tool Chain Proceedings European Congress Embedded Real Time Software and Systems 2014