Skip to main content
SpringerLink
Log in

A Methodological Framework for Model-Based Self-management of Services and Components in Dependable Cyber-Physical Systems

  • Conference paper
  • First Online:
Advances in Dependability Engineering of Complex Systems (DepCoS-RELCOMEX 2017)

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 582))

Included in the following conference series:

Abstract

Modern automotive vehicles featuring ADAS (Advanced Driving Assistant Systems) and AD (Autonomous Driving) represent one category of dependable CPS (Cyber-Physical Systems). For such systems, the adaptation of generic purpose COTS (Commercial-Off-The-Shelf) services and components has been advocated in the industry as a necessary means for shortening the innovation loops and enabling efficient product evolution. This will however not be a trivial task due to the system safety- and time-criticality. This calls on one hand for formal specification of systems, and on the other hand for a systematic approach to module design, supervision and adaptions. Accordingly, we propose in this paper a novel method that emphasizes an integration of system models, formal contracts, and embedded services for effective self-management of COTS. The key modeling technologies include the EAST-ADL for formal system description and the A-G contract theory for module specification.

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 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.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

References

  1. SAE International, SAE Information Report: (J3016) Taxonomy and Definitions for Terms Related to On-Road Motor Vehicle Automated Driving Systems

    Google Scholar 

  2. European Commission: Intelligent transport systems. https://ec.europa.eu/transport/themes/its_en

  3. PwC Semiconductor Report: Spotlight on Automotive. PwC, September 2013

    Google Scholar 

  4. ISO, ISO 26262 Road vehicles – Functional safety

    Google Scholar 

  5. Chen, D., et al.: A Knowledge-in-the-loop approach to integrated safety&security for cooperative system-of-systems. In: IEEE 7th International Conference on Intelligent Computing and Information Systems, ICICIS 2015, Cairo, Egypt, 12–14 December (2015)

    Google Scholar 

  6. EAST-ADL. EAST-ADL Domain Model Specification, Version M.2.1.12 (2014). http://www.east-adl.info/

  7. Kolagari, R., et al.: Model-based analysis and engineering of automotive architectures with EAST-ADL: revisited. Int. J. Conceptual Struct. Smart Appl. (IJCSSA) 3(2), 25–70 (2015)

    Article  Google Scholar 

  8. Benveniste, A., et.al.: Multiple viewpoint contract-based specification and design. In: Formal Methods for Components and Objects: 6th International Symposium, FMCO, pp. 200–225 (2007)

    Google Scholar 

  9. Benveniste, A., et.al.: Contracts for system design. Research Report 8147, Inria, November 2012

    Google Scholar 

  10. Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Joint International Conference on Formal Modelling and Analysis of Timed Systems, and Formal Techniques in Real-Time and Fault-Tolerant Systems (FORMATS/FTRTFT 2004) (2004)

    Google Scholar 

  11. Anthony, R., et al.: Context-aware adaptation in DySCAS. Electronic Communications of the EASST, vol. 19. European Association of Software Science and Technology (EASST) (2009)

    Google Scholar 

  12. SysML. OMG Systems Modeling Language (OMG SysML™), OMG

    Google Scholar 

  13. AADL Architecture Analysis and Design Language, SEI. Carnegie-Mellon Univ., USA

    Google Scholar 

  14. Sadigh, D., Kapoor, A.: Safe Control under Uncertainty with Probabilistic Signal Temporal Logic. Robotics: Science and Systems (RSS), June 2016

    Google Scholar 

  15. Silva, E., Batista, T., Oquendo, F.: A mission-oriented approach for designing system-of-systems. In: Proceedings of the 10th System-of-Systems Engineering Conference (SoSE), May 2015

    Google Scholar 

  16. Bryans, J., Fitzgerald, J., Payne, R., Miyazawa, A., Kristensen, K.: SysML contracts for systems of systems. In: IEEE Systems of Systems Engineering Conference, June 2014

    Google Scholar 

  17. Althoff, M., et al.: Online verification of automated road vehicles using reachability analysis. IEEE Trans. Robot. 30(4), 903–918 (2014)

    Google Scholar 

  18. Meinke, K., et al.: Incremental learning-based testing for reactive systems. In: Proc. Int. Conf. on Tests and Proofs TAP 2011. LNCS, vol. 6706, Springer (2011). IEEE Trans. Robot. 30(4): 903–918 (2014)

    Google Scholar 

  19. Meel, A.: Plant-specific dynamic failure assessment using Bayesian theory. Chem. Eng. Sci. 61, 7036–7056 (2006)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mechatronics, Machine Design, School of ITM, KTH Royal Institute of Technology, 100 44, Stockholm, Sweden

    DeJiu Chen

  2. Electronics and Embedded Systems, School of ICT, KTH Royal Institute of Technology, 164 40, Kista, Sweden

    Zhonghai Lu

Authors
  1. DeJiu Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhonghai Lu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to DeJiu Chen .

Editor information

Editors and Affiliations

  1. Department of Computer Engineering, Wrocław University of Technology Department of Computer Engineering, Wrocław, Poland

    Wojciech Zamojski

  2. Department of Computer Engineering, Wrocław University of Technology Department of Computer Engineering, Wrocław, Poland

    Jacek Mazurkiewicz

  3. Department of Computer Engineering, Wrocław University of Technology, Wroclaw, Poland

    Jarosław Sugier

  4. Department of Computer Engineering, Wrocław University of Technology Department of Computer Engineering, Wrocław, Poland

    Tomasz Walkowiak

  5. Systems Research Institute, Polish Academy of Sciences Systems Research Institute, Warsaw, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Cite this paper

Chen, D., Lu, Z. (2018). A Methodological Framework for Model-Based Self-management of Services and Components in Dependable Cyber-Physical Systems. In: Zamojski, W., Mazurkiewicz, J., Sugier, J., Walkowiak, T., Kacprzyk, J. (eds) Advances in Dependability Engineering of Complex Systems. DepCoS-RELCOMEX 2017. Advances in Intelligent Systems and Computing, vol 582. Springer, Cham. https://doi.org/10.1007/978-3-319-59415-6_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-59415-6_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-59414-9

  • Online ISBN: 978-3-319-59415-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation