Skip to main content
SpringerLink
Log in

A Runtime Safety Analysis Concept for Open Adaptive Systems

  • Conference paper
  • First Online:
Model-Based Safety and Assessment (IMBSA 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 11842))

Included in the following conference series:

Abstract

In the automotive industry, modern cyber-physical systems feature cooperation and autonomy. Such systems share information to enable collaborative functions, allowing dynamic component integration and architecture reconfiguration. Given the safety-critical nature of the applications involved, an approach for addressing safety in the context of reconfiguration impacting functional and non-functional properties at runtime is needed. In this paper, we introduce a concept for runtime safety analysis and decision input for open adaptive systems. We combine static safety analysis and evidence collected during operation to analyse, reason and provide online recommendations to minimize deviation from a system’s safe states. We illustrate our concept via an abstract vehicle platooning system use case.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    https://www.avl.com/-/avl-turkey.

  2. 2.

    https://www.iese.fraunhofer.de/en.html.

  3. 3.

    http://www.deis-project.eu/.

  4. 4.

    https://path.berkeley.edu/home.

References

  1. Arnold, A., Point, G., Griffault, A., Rauzy, A.: The AltaRica formalism for describing concurrent systems. Fundam. Inform. 40(2), 109–124 (2000)

    MathSciNet  MATH  Google Scholar 

  2. Bergenhem, C., Shladover, S., Coelingh, E., Englund, C., Tsugawa, S.: Overview of platooning systems. In: Proceedings of the 19th ITS World Congress, Vienna, Austria, 22–26 October 2012 (2012)

    Google Scholar 

  3. Bittner, B., et al.: The xSAP safety analysis platform. In: Chechik, M., Raskin, J.-F. (eds.) TACAS 2016. LNCS, vol. 9636, pp. 533–539. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49674-9_31

    Chapter  Google Scholar 

  4. CCAV: Connected and autonomous vehicles: market forecast. Technical report, Centre for Connected and Autonomous Vehicles; UK Department of Transport (2017). https://www.gov.uk/government/publications/connected-and-autonomous-vehicles-market-forcecast

  5. Cheng, B.H.C., et al.: Using models at runtime to address assurance for self-adaptive systems. In: Bencomo, N., France, R., Cheng, B.H.C., Aßmann, U. (eds.) Models@run.time. LNCS, vol. 8378, pp. 101–136. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08915-7_4

    Chapter  Google Scholar 

  6. Dolginova, E., Lynch, N.: Safety verification for automated platoon maneuvers: a case study. In: Maler, O. (ed.) HART 1997. LNCS, vol. 1201, pp. 154–170. Springer, Heidelberg (1997). https://doi.org/10.1007/BFb0014723

    Chapter  Google Scholar 

  7. Fagnant, D.J., Kockelman, K.: Preparing a nation for autonomous vehicles: opportunities, barriers and policy recommendations. Transp. Res. Part A: Policy Pract. 77, 167–181 (2015)

    Google Scholar 

  8. Feiler, P., Rugina, A.: Dependability modeling with the architecture analysis & design language (AADL). Technical report, Software Engineering Institute, Carnegie Mellon University, July 2007

    Google Scholar 

  9. International Electrotechnical Commission: IEC 61508: Functional Safety of Electrical/Electronic/Programmable Electronic Safety-related Systems, ed. Technical report, International Electrotechnical Commission, Geneva, Switzerland (1997)

    Google Scholar 

  10. ISO: ISO 26262: Road vehicles - functional safety. Technical report, International Organization for Standardization, Geneva, Switzerland (2011)

    Google Scholar 

  11. Kabir, S., Papadopoulos, Y.: Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: a review. Saf. Sci. 115, 154–175 (2019)

    Article  Google Scholar 

  12. Kabir, S., et al.: A model-based extension to HiP-HOPS for dynamic fault propagation studies. In: Bozzano, M., Papadopoulos, Y. (eds.) IMBSA 2017. LNCS, vol. 10437, pp. 163–178. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-64119-5_11

    Chapter  Google Scholar 

  13. Kabir, S., Walker, M., Papadopoulos, Y.: Dynamic system safety analysis in HiP-HOPS with Petri nets and Bayesian networks. Saf. Sci. 105, 55–70 (2018)

    Article  Google Scholar 

  14. Mueller, S., Liggesmeyer, P.: Safety assurance for emergent collaboration of open distributed systems. In: IEEE International Symposium on Software Reliability Engineering Workshops, pp. 249–256. IEEE (2016)

    Google Scholar 

  15. Östberg, K., Bengtsson, M.: Run time safety analysis for automotive systems in an open and adaptive environment. In: SAFECOMP 2013-Workshop ASCoMS (Architecting Safety in Collaborative Mobile Systems) of the 32nd International Conference on Computer Safety, Reliability and Security, p. NA (2013)

    Google Scholar 

  16. Papadopoulos, Y., et al.: A synthesis of logic and bio-inspired techniques in the design of dependable systems. Annu. Rev. Control 41, 170–182 (2016)

    Article  Google Scholar 

  17. Reich, J.: Systematic engineering of safe open adaptive systems shown for truck platooning. M.Sc. thesis, Technical University of Kaiserslautern, Kaiserslautern, Germany (2016). https://doi.org/10.13140/RG.2.2.27809.61283

  18. Rushby, J.: Runtime certification. In: Leucker, M. (ed.) RV 2008. LNCS, vol. 5289, pp. 21–35. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89247-2_2

    Chapter  Google Scholar 

  19. Schneider, D., Trapp, M.: Conditional safety certification of open adaptive systems. ACM Trans. Auton. Adapt. Syst. (TAAS) 8(2), 1–20 (2013)

    Article  Google Scholar 

  20. Schneider, D., Trapp, M., Papadopoulos, Y., Armengaud, E., Zeller, M., Höfig, K.: WAP: digital dependability identities. In: 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE), pp. 324–329. IEEE (2015)

    Google Scholar 

  21. Stoller, S.D., et al.: Runtime verification with state estimation. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 193–207. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-29860-8_15

    Chapter  Google Scholar 

  22. Swaroop, D., Hedrick, J.K.: String stability of interconnected systems. IEEE Trans. Autom. Control 41(3), 349–357 (1996)

    Article  MathSciNet  Google Scholar 

  23. Tsugawa, S., Jeschke, S., Shladover, S.E.: A review of truck platooning projects for energy savings. IEEE Trans. Intell. Veh. 1(1), 68–77 (2016)

    Article  Google Scholar 

  24. Whittle, J., Sawyer, P., Bencomo, N., Cheng, B.H.C., Bruel, J.: RELAX: incorporating uncertainty into the specification of self-adaptive systems. In: 17th IEEE International Requirements Engineering Conference, pp. 79–88, August 2009

    Google Scholar 

Download references

Acknowledgements

This work was supported by the DEIS H2020 Project under Grant 732242.

Author information

Authors and Affiliations

  1. Department of Computer Science and Technology, University of Hull, Hull, UK

    Sohag Kabir, Ioannis Sorokos, Koorosh Aslansefat, Yiannis Papadopoulos & Youcef Gheraibia

  2. Fraunhofer Institute for Experimental Software Engineering (IESE), Kaiserslautern, Germany

    Jan Reich

  3. AVL/TR, Istanbul, Turkey

    Merve Saimler

  4. Department of Computer Science, University of York, York, UK

    Ran Wei

Authors
  1. Sohag Kabir
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ioannis Sorokos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Koorosh Aslansefat
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Yiannis Papadopoulos
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Youcef Gheraibia
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Jan Reich
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Merve Saimler
    View author publications

    You can also search for this author in PubMed Google Scholar

  8. Ran Wei
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Sohag Kabir .

Editor information

Editors and Affiliations

  1. University of Hull, Hull, UK

    Yiannis Papadopoulos

  2. University of Hull, Hull, UK

    Koorosh Aslansefat

  3. Aristotle University of Thessaloniki, Thessaloniki, Greece

    Panagiotis Katsaros

  4. Fondazione Bruno Kessler, Trento, Trento, Italy

    Marco Bozzano

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kabir, S. et al. (2019). A Runtime Safety Analysis Concept for Open Adaptive Systems. In: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (eds) Model-Based Safety and Assessment. IMBSA 2019. Lecture Notes in Computer Science(), vol 11842. Springer, Cham. https://doi.org/10.1007/978-3-030-32872-6_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-32872-6_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-32871-9

  • Online ISBN: 978-3-030-32872-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation