Skip to main content
SpringerLink
Log in
Book cover

International Conference on Software Engineering and Formal Methods

SEFM 2017: Software Engineering and Formal Methods pp 361–376Cite as

Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems

  • Conference paper
  • First Online:

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

Abstract

The resilience of Cyber-Physical Systems (CPSs) is of major public concern, but is an ill-defined property that is challenging to engineer, given the complexity and multi-disciplinarity of CPSs. Co-simulation techniques are therefore attractive options, permitting cross-domain analysis of cyber and physical failures, as well as their prevention, detection and tolerance. We propose the use of a multi-attribute resilience profile as a basis for assessment and trade-off analysis in CPSs. We propose augmentations to the INTO-CPS methods that explicitly use this profile to analyse resilience by means of co-simulation at several design stages. A small pilot study shows how such methods may help the CPS engineer to identify and evaluate new resilient designs.

This is a preview of subscription content, 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   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   107.00
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

Learn about institutional subscriptions

Notes

  1. 1.

    http://into-cps.au.dk/.

  2. 2.

    http://crescendotool.org/.

  3. 3.

    See http://www.omgsysml.org/.

  4. 4.

    http://www.compass-research.eu.

References

  1. Reimann, M., Rückriegel, C., Mortimer, S., et al.: Road2CPS: Priorities and Recommendations for Research and Innovation in Cyber-Physical Systems. Steinbeis edn. (2017)

    Google Scholar 

  2. Broy, M.: Engineering cyber-physical systems: challenges and foundations. In: Aiguier, M., Caseau, Y., Krob, D., Rauzy, A. (eds.) Complex Systems Design & Management, pp. 1–13. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-34404-6_1

    Google Scholar 

  3. Jackson, M., Fitzgerald, J.: Resilience profiling in the model-based design of cyber-physical systems. In: Larsen, P.G., Plat, N., Battle, N. (eds.) 14th Overture Workshop: Towards Analytical Tool Chains, Technical Report ECE-TR-28, pp. 1–15. Aarhus University, April 2016

    Google Scholar 

  4. Lee, E.A.: CPS foundations. In: Proceedings of 47th Design Automation Conference, DAC 2010, pp. 737–742. ACM, New York (2010)

    Google Scholar 

  5. Hellinger, A., Heinrich, S.: Cyber-physical systems driving force for innovation in mobility, health, energy and production. Technical report, acatech - National Academy of Science and Engineering (2011)

    Google Scholar 

  6. Brooks, C., Cheng, C.P., Feng, T.H., Lee, E.A., Von Hanxleden, R.: Model engineering using multimodeling. Technical report, DTIC Document (2008)

    Google Scholar 

  7. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoret. Comput. Sci. 138(1), 3–34 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  8. Larsen, P.G., Fitzgerald, J., Woodcock, J., et al.: Integrated tool chain for model-based design of cyber-physical systems: the INTO-CPS project. In: Proceedings of 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), pp. 1–6, April 2016

    Google Scholar 

  9. Larsen, P.G., Fitzgerald, J., Woodcock, J., Nilsson, R., Gamble, C., Foster, S.: Towards semantically integrated models and tools for cyber-physical systems design. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 171–186. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47169-3_13

    Chapter  Google Scholar 

  10. Hollnagel, E., Woods, D.D., Leveson, N.: Resilience Engineering: Concepts and Precepts. Ashgate Publishing Ltd., Aldershot (2007)

    Google Scholar 

  11. Mitchell, S.M.: Resilient engineered systems: the development of an inherent system property. Ph.D. thesis, Texas A&M University (2007)

    Google Scholar 

  12. Rieger, C.G., Gertman, D.I., McQueen, M.A.: Resilient control systems: next generation design research. In: 2nd Conference on Human System Interactions, HSI 2009, pp. 632–636. IEEE (2009)

    Google Scholar 

  13. Carpenter, S., Walker, B., Anderies, J., Abel, N.: From metaphor to measurement: resilience of what to what? Ecosystems 4(8), 765–781 (2001)

    Article  Google Scholar 

  14. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1, 11–33 (2004)

    Article  Google Scholar 

  15. Summary of the 2015–16 sector resilience plans. United Kingdom Cabinet Office, April 2016

    Google Scholar 

  16. Council of the European Communities: Disaster resilience: safeguarding and securing society, including adapting to climate change

    Google Scholar 

  17. Jackson, S.: Architecting Resilient Systems: Accident Avoidance and Survival and Recovery from Disruptions, vol. 66. Wiley, New York (2009)

    Book  Google Scholar 

  18. Pflanz, M.: On the resilience of command and control architectures. Ph.D. thesis, George Mason University (2011)

    Google Scholar 

  19. Fitzgerald, J., Gamble, C., Payne, R., Larsen, P.G., Basagiannis, S., Mady, A.E.-D.: Collaborative model-based systems engineering for cyber-physical systems, with a building automation case study. In: INCOSE International Symposium, vol. 26, no. 1, pp. 817–832 (2016)

    Google Scholar 

  20. Fitzgerald, J., Gamble, C., Payne, R., Pierce, K.: INTO-CPS Method Guidelines 2. Technical report Deliverable D3.2a (2016). INTO-CPS: http://into-cps.au.dk

Download references

Acknowledgements

The work presented here is partially supported by the INTO-CPS project funded by the European Commission’s Horizon 2020 programme under grant agreement number 664047.

Author information

Authors and Affiliations

  1. Newcastle University, Newcastle upon Tyne, UK

    Mark Jackson & John S. Fitzgerald

Authors
  1. Mark Jackson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John S. Fitzgerald
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Mark Jackson .

Editor information

Editors and Affiliations

  1. Nazarbayev University, Astana, Kazakhstan

    Antonio Cerone

  2. Fondazione Bruno Kessler, Povo, Italy

    Marco Roveri

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Jackson, M., Fitzgerald, J.S. (2018). Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems. In: Cerone, A., Roveri, M. (eds) Software Engineering and Formal Methods. SEFM 2017. Lecture Notes in Computer Science(), vol 10729. Springer, Cham. https://doi.org/10.1007/978-3-319-74781-1_25

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-74781-1_25

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-74780-4

  • Online ISBN: 978-3-319-74781-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation