Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models

  • Martin Skoglund
  • Hans Svensson
  • Henrik Eriksson
  • Thomas Arts
  • Rolf Johansson
  • Alex Gerdes
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8696)

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.

Keywords

Technical Safety Concept Technical Safety Requirements Safety Verification Safety arguing Automotive ISO 26262 AUTOSAR 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    ISO, 26262-6:2011, Road vehicles — Functional safety — Part 6, Product development at the software levelGoogle Scholar
  2. 2.
    ISO, 26262-8:2011, Road vehicles — Functional safety — Part 8, Road vehicles — Functional safety - Supporting processesGoogle Scholar
  3. 3.
    ISO, 26262-10:2011, Road vehicles — Functional safety — Part 10, Road vehicles — Functional safety - Guideline on ISO 26262 Google Scholar
  4. 4.
    AUTOSAR, Technical Safety Concept Status Report, vol. Document Version 1.2.0, no. Part of Release 4.1 Rev 1 (October 2013)Google Scholar
  5. 5.
    AUTOSAR, AUTOSAR Technical Overview, http://www.autosar.org/index.php?p=1&up=2&uup=0 (retrieved March 5, 2014)
  6. 6.
    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)Google Scholar
  7. 7.
    Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: ACM SIGPLAN Workshop on Erlang (2006)Google Scholar
  8. 8.
    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)Google Scholar
  9. 9.
    Armstrong, J.L., Williams, M., Virding, R., Wilkström, C.: ERLANG for Concurrent Programming. Prentice-Hall, Inc. (1993)Google Scholar
  10. 10.
    Skoglund, M.: AP1, Quality criteria for supporting the ISO 26262, AcSäPt project (ref. 2012-00943)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Martin Skoglund
    • 1
  • Hans Svensson
    • 2
  • Henrik Eriksson
    • 1
  • Thomas Arts
    • 2
  • Rolf Johansson
    • 1
  • Alex Gerdes
    • 2
  1. 1.Dep. of ElectronicsSP - Technical Research Institute of SwedenBoråsSweden
  2. 2.Quviq ABGothenburgSweden

Personalised recommendations