research-article

Software components for reliable automotive systems

Authors:

W. Damm,

A. Sangiovanni-Vincentelli,

M. Di NataleAuthors Info & Claims

DATE '08: Proceedings of the conference on Design, automation and test in Europe

Pages 549 - 554

https://doi.org/10.1145/1403375.1403508

Published: 10 March 2008 Publication History

Get Access

Abstract

System-level integration requires an overall understanding of the interplay of the sub-systems to enable component-based development with portability, reconfigurability and extensibility, together with guaranteed reliability and performance levels. Integration by simple interfaces and plug-and-play of sub-systems, which is the main objective of AUTOSAR, requires solving essential technical problems. We discuss to what degree the existing AUTOSAR standard can support the development of safety- and time-critical software and what is required to move toward the desirable goal of timing isolation when integrating multiple applications into the same execution platform.

References

[1]

H. Heinecke et al, Current results and preparations for exploitation, Euroforum May 2006 Stutttgart; see www.autosar.org

Google Scholar

[2]

M. Rudorfer et al. Being on time using AUTOSAR methodology, Elektronik automotive S2(2006)

Google Scholar

[3]

W. Damm, A. Votintseva, A. Metzner, B. Josko, T. Peikenkamp, E. Böde, Boosting Re-use of Embedded Automotive Applications Through Rich Components, Elsevier's Electronic Notes in Theoretical Computer Science, Elsevier Science B.V., 2005

Google Scholar

[4]

Speeds: Speculative and Explorative Design in Systems Engineering, IST project 033471, www.speeds.eu.com

Google Scholar

[5]

AUTOSAR Consortium web page, www.autosar.org.

Google Scholar

[6]

Flexray, Protocol Specification V2.1 Rev. A, available at http://www.flexray.com, 2006.

Google Scholar

[7]

A. Sangiovanni Vincentelli, M. Di Natale, Embedded System Design for Automotive Applications IEEE Computer, Vol 40 (10), Oct. 2007, pp 42--51

Digital Library

Google Scholar

[8]

Mathworks The Mathworks Simulink and StateFlow User's Manuals, web page: http://www.mathworks.com.

Google Scholar

[9]

R. Bosch GmBh, CAN Specification, Version 2.0, Stuttgart, 1991.

Google Scholar

[10]

Telelogic Rhapsody product web page, http://modeling.telelogic.com/modeling/products/rhapsody

Google Scholar

[11]

Esterel Scade product web page, http://www.esterel-technologies.com/products/scade-suite/

Google Scholar

[12]

Herman Kopetz, Günter Grünsteidl, TTP-A Protocol for Fault-Tolerant Real-Time Systems, Computer, v. 27 n. 1, p. 14--23, January 1994

Digital Library

Google Scholar

[13]

G. Gossler and J. Sifakis, Composition for Component-Based Modeling, Science of Computer Programming, March, 2005, vol. 55, pp. 161--183

Digital Library

Google Scholar

Cited By

View all

Svenningsson RJohansson RArts TNorell U(2012)Formal Methods Based Acceptance Testing for AUTOSAR ExchangeabilitySAE International Journal of Passenger Cars - Electronic and Electrical Systems10.4271/2012-01-05035:1(209-213)Online publication date: 16-Apr-2012
https://doi.org/10.4271/2012-01-0503
Rupanov VBuckl CFiege LArmbruster MKnoll ASpiegelberg GGrassi VMirandola RCuellar JLopez J(2012)Early safety evaluation of design decisions in E/E architecture according to ISO 26262Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems10.1145/2304656.2304658(1-10)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2304656.2304658
Lednicki LCrnkovic IZagar M(2012)Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded SystemsProceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications10.1109/SEAA.2012.57(71-74)Online publication date: 5-Sep-2012
https://dl.acm.org/doi/10.1109/SEAA.2012.57
Show More Cited By

Index Terms

Software components for reliable automotive systems

Recommendations

Integrated safety analysis of software-controlled critical systems

Software for safety-critical systems must deal with the hazards identified by safety analysis in order to make the system safe, risk-free and fail-safe. Certain faults in critical systems can result in catastrophic consequences such as death, injury or ...
Developing Highly Reliable Software

With growing application of microcomputers for safety critical systems there is a need to assure high reliability of the software used in hese systems. This article describes our experience in development of one such highly reliable software: a real-...
Composable Safety-Critical Systems Based on Pre-certified Software Components
ISSREW '12: Proceedings of the 2012 IEEE 23rd International Symposium on Software Reliability Engineering Workshops

When designing safety critical and software intensive embedded systems, extensive development processes have to be followed in order to ensure that the software corresponds with the software safety requirement specification. This paper describes a study ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

DATE '08: Proceedings of the conference on Design, automation and test in Europe

March 2008

1575 pages

ISBN:9783981080131

DOI:10.1145/1403375

General Chair:
Donatella Sciuto
Politecnico di Milano, Italy

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 March 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

DATE '08

Sponsor:

EDAA
SIGDA
The Russian Academy of Sciences

DATE '08: Design, Automation and Test in Europe

March 10 - 14, 2008

Munich, Germany

Acceptance Rates

Overall Acceptance Rate 518 of 1,794 submissions, 29%

Upcoming Conference

DATE '25

Sponsor:
sigda

Design, Automation and Test in Europe

March 31 - April 2, 2025

Lyon , France

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
468
Total Downloads

Downloads (Last 12 months)10
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Svenningsson RJohansson RArts TNorell U(2012)Formal Methods Based Acceptance Testing for AUTOSAR ExchangeabilitySAE International Journal of Passenger Cars - Electronic and Electrical Systems10.4271/2012-01-05035:1(209-213)Online publication date: 16-Apr-2012
https://doi.org/10.4271/2012-01-0503
Rupanov VBuckl CFiege LArmbruster MKnoll ASpiegelberg GGrassi VMirandola RCuellar JLopez J(2012)Early safety evaluation of design decisions in E/E architecture according to ISO 26262Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems10.1145/2304656.2304658(1-10)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1145/2304656.2304658
Lednicki LCrnkovic IZagar M(2012)Towards Automatic Synthesis of Hardware-Specific Code in Component-Based Embedded SystemsProceedings of the 2012 38th Euromicro Conference on Software Engineering and Advanced Applications10.1109/SEAA.2012.57(71-74)Online publication date: 5-Sep-2012
https://dl.acm.org/doi/10.1109/SEAA.2012.57
Mews MSvacina JWeiβleder S(2012)From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive DomainProceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation10.1109/ICST.2012.137(519-528)Online publication date: 17-Apr-2012
https://dl.acm.org/doi/10.1109/ICST.2012.137
MartíNez PCuevas CDrake J(2012)Compositional real-time modelsJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2012.04.00158:6-7(257-276)Online publication date: 1-Jun-2012
https://dl.acm.org/doi/10.1016/j.sysarc.2012.04.001
Jackson EKang EDahlweid MSeifert DSanten TCarloni LTripakis S(2010)Components, platforms and possibilitiesProceedings of the tenth ACM international conference on Embedded software10.1145/1879021.1879027(39-48)Online publication date: 24-Oct-2010
https://dl.acm.org/doi/10.1145/1879021.1879027
Nordlander JJohansson RPathan RFabre JGuetta OTrapp M(2010)Unambiguous semantics in automotive timing modelingProceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety10.1145/1772643.1772655(39-42)Online publication date: 27-Apr-2010
https://dl.acm.org/doi/10.1145/1772643.1772655
Johansson RBunzel SGraniou MLönn HSivencrona HStappert FFabre JGuetta OTrapp M(2010)A road-map for enabling system analysis of AUTOSAR-based systemsProceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety10.1145/1772643.1772650(21-24)Online publication date: 27-Apr-2010
https://dl.acm.org/doi/10.1145/1772643.1772650
Ahmed WMyers D(2010)Concept-based partitioning for large multidomain multifunctional embedded systemsACM Transactions on Design Automation of Electronic Systems10.1145/1754405.175440715:3(1-41)Online publication date: 10-Jun-2010
https://dl.acm.org/doi/10.1145/1754405.1754407
Ruyi Wu Hong Li Min Yao Jinbo Wang Yuhao Yang (2010)A hierarchical modeling method for AUTOSAR software components2010 2nd International Conference on Computer Engineering and Technology10.1109/ICCET.2010.5485641(V4-184-V4-188)Online publication date: Apr-2010
https://doi.org/10.1109/ICCET.2010.5485641
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Integrated safety analysis of software-controlled critical systems

Developing Highly Reliable Software

Composable Safety-Critical Systems Based on Pre-certified Software Components