Skip to main content
SpringerLink
Log in
Book cover

Engineering Trustworthy Software Systems pp 256–289Cite as

Cyber-Physical Systems Engineering

  • Conference paper
  • First Online:

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

Abstract

Building complex embedded- and cyber-physical systems requires a holistic view on both product and process. The constructed system must interact with its physical environment and its human users in a smooth way. The development processes must provide a seamless transition between stages and views. Different modeling techniques and methods have been proposed to achieve this goal. In this chapter we present the fundamentals of cyber-physical systems engineering: identification and quantification of system goals; requirements elicitation and management; modeling and simulation in different views; and validation to ensure that the system meets its original design goals. A special focus is on the model-based design process. All techniques are demonstrated with appropriate examples and engineering tools.

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   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

Learn about institutional subscriptions

References

  1. Boston Scientific Inc. PACEMAKER System Specification (2007). http://sqrl.mcmaster.ca/_SQRLDocuments/PACEMAKER. Accessed October 2015

  2. Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Boston (2001)

    Google Scholar 

  3. Eclipse Foundation. Papyrus 1.1.0, June 2015. https://eclipse.org/papyrus. Accessed October 2015

  4. Giese, H., Huhn, M., Phillips, J., Schätz, B. (eds.): Dagstuhl-Workshop MBEES: Model Based Engineering of Embeddedsystems X, Dagstuhl, Germany. fortiss GmbH, München (2014). https://www4.in.tum.de/~schaetz/papers/MBEES2014.pdf. Accessed October 2015

  5. Giese, H., Huhn, M., Phillips, J., Schätz, B. (eds.): Dagstuhl-Workshop MBEES: Model Based Engineering of Embeddedsystems XI, Dagstuhl, Germany. fortiss GmbH, München (2015). https://www4.in.tum.de/~schaetz/papers/MBEES2015.pdf. Accessed October 2015

  6. INCOSE (International Council on Systems Engineering). Systems Engineering Handbook, vol. 2.0. (2000)

    Google Scholar 

  7. ISO (International Organization for Standardization). ISO/IEC 15288:2008 – Systems engineering - System life cycle processes (2008)

    Google Scholar 

  8. Kordon, F., Hugues, J., Canals, A., Dohet, A.: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. ISTE, Wiley (2013)

    Google Scholar 

  9. Lethbridge, T. (ed.): Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa. ACM/IEEE (2015)

    Google Scholar 

  10. OMG (Object Management Group). SysML 1.4, June 2015. http://www.omgsysml.org. Accessed October 2015

  11. OMG (Object Management Group). UML 2.5, June 2015. http://www.omg.org/spec/UML. Accessed October 2015

  12. Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Birkhäuser, Heidelberg (2005)

    Google Scholar 

  13. Pohl, K., Hönninger, H., Achatz, R., Broy, M.: Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology. Springer, Heidelberg (2012)

    Google Scholar 

  14. Pohl, K.: Requirements Engineering: Fundamentals, Principles, and Techniques. Springer, Heidelberg (2010)

    Google Scholar 

  15. Schlingloff, B.-H.:Towards a curriculum for model-based engineering of embedded systems. In: Giese et al. [GHPS14]. https://www4.in.tum.de/~schaetz/papers/MBEES2014.pdf. Accessed October 2015

  16. Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Boston (2010)

    Google Scholar 

  17. Zander, J., Schieferdecker, I., Mosterman, P.J. (eds.): Model-Based Testing for Embedded Systems. Computational Analysis, Synthesis, and Design of Dynamic Systems. CRC Press, Boca Raton (2011)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fraunhofer FOKUS and Humboldt-Universität zu Berlin, Berlin, Germany

    Bernd-Holger Schlingloff

Authors
  1. Bernd-Holger Schlingloff
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bernd-Holger Schlingloff .

Editor information

Editors and Affiliations

  1. Southwest University, Chongqing, China

    Zhiming Liu

  2. Southwest University, Chongqing, China

    Zili Zhang

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Schlingloff, BH. (2016). Cyber-Physical Systems Engineering. In: Liu, Z., Zhang, Z. (eds) Engineering Trustworthy Software Systems. Lecture Notes in Computer Science(), vol 9506. Springer, Cham. https://doi.org/10.1007/978-3-319-29628-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-29628-9_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-29627-2

  • Online ISBN: 978-3-319-29628-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation