Abstract
Implementing AUTOSAR-based embedded systems that adhere to ISO 26262 is not trivial. High-level safety goals have to be refined to functional safety requirements and technical HW and SW safety requirements. SW safety requirements allocated to the application as well as the underlying AUTOSAR platform. Finding relevant safety requirements on the AUTOSAR basic software are a challenge. AUTOSAR specifications provide incomplete lists of requirements which might be relevant. In this paper we address this challenge by providing tool support to automatically extract relevant functional requirements for given safety scenarios. A conservative estimation gives that the safety-relevant part of the overall requirements can be as small as 30%, which reduce the necessary rigid testing effort. An electronic parking brake example is presented as a demonstration of concept.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ISO, 26262-6:2011, Road vehicles — Functional safety — Part 6, Product development at the software level
ISO, 26262-8:2011, Road vehicles — Functional safety — Part 8, Road vehicles — Functional safety - Supporting processes
ISO, 26262-10:2011, Road vehicles — Functional safety — Part 10, Road vehicles — Functional safety - Guideline on ISO 26262
AUTOSAR, Technical Safety Concept Status Report, vol. Document Version 1.2.0, no. Part of Release 4.1 Rev 1 (October 2013)
AUTOSAR, AUTOSAR Technical Overview, http://www.autosar.org/index.php?p=1&up=2&uup=0 (retrieved March 5, 2014)
Arts, T., Johansson, R., Svensson, D., Kallerdahl, A.: Model Based Testing of AUTOSAR components. In: Proceedings of the 3rd AUTOSAR Open Conference, Frankfurt, Germany, May 11 (2011)
Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: ACM SIGPLAN Workshop on Erlang (2006)
Svenningsson, R., Johansson, R., Arts, T., Norell, U.: Formal Methods Based Acceptance Testing for AUTOSAR Exchangeability. SAE Int. J. Passeng. Cars - Electron. Electr. Syst. 5(1), 209–213 (2012)
Armstrong, J.L., Williams, M., Virding, R., Wilkström, C.: ERLANG for Concurrent Programming. Prentice-Hall, Inc. (1993)
Skoglund, M.: AP1, Quality criteria for supporting the ISO 26262, AcSäPt project (ref. 2012-00943)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Skoglund, M., Svensson, H., Eriksson, H., Arts, T., Johansson, R., Gerdes, A. (2014). Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models. In: Bondavalli, A., Ceccarelli, A., Ortmeier, F. (eds) Computer Safety, Reliability, and Security. SAFECOMP 2014. Lecture Notes in Computer Science, vol 8696. Springer, Cham. https://doi.org/10.1007/978-3-319-10557-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-10557-4_4
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-10556-7
Online ISBN: 978-3-319-10557-4
eBook Packages: Computer ScienceComputer Science (R0)