Advertisement

Cyber-Physical Systems Engineering

  • Bernd-Holger SchlingloffEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, 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.

Keywords

Cyber-physical systems Embedded systems Model-based design Systems analysis Requirements analysis Systems modeling Block diagrams State-transition systems Code generation 

References

  1. [Bos07]
    Boston Scientific Inc. PACEMAKER System Specification (2007). http://sqrl.mcmaster.ca/_SQRLDocuments/PACEMAKER. Accessed October 2015
  2. [Coc01]
    Cockburn, A.: Writing Effective Use Cases. Addison-Wesley, Boston (2001)Google Scholar
  3. [Ecl15]
    Eclipse Foundation. Papyrus 1.1.0, June 2015. https://eclipse.org/papyrus. Accessed October 2015
  4. [GHPS14]
    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. [GHPS15]
    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. [INC00]
    INCOSE (International Council on Systems Engineering). Systems Engineering Handbook, vol. 2.0. (2000)Google Scholar
  7. [ISO08]
    ISO (International Organization for Standardization). ISO/IEC 15288:2008 – Systems engineering - System life cycle processes (2008)Google Scholar
  8. [KHCD13]
    Kordon, F., Hugues, J., Canals, A., Dohet, A.: Embedded Systems: Analysis and Modeling with SysML, UML and AADL. ISTE, Wiley (2013)Google Scholar
  9. [Let15]
    Lethbridge, T. (ed.): Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa. ACM/IEEE (2015)Google Scholar
  10. [OMG15a]
    OMG (Object Management Group). SysML 1.4, June 2015. http://www.omgsysml.org. Accessed October 2015
  11. [OMG15b]
    OMG (Object Management Group). UML 2.5, June 2015. http://www.omg.org/spec/UML. Accessed October 2015
  12. [PBvdL05]
    Pohl, K., Böckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles, and Techniques. Birkhäuser, Heidelberg (2005)Google Scholar
  13. [PHAB12]
    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. [Poh10]
    Pohl, K.: Requirements Engineering: Fundamentals, Principles, and Techniques. Springer, Heidelberg (2010)Google Scholar
  15. [Sch14]
    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. [Som10]
    Sommerville, I.: Software Engineering, 9th edn. Addison-Wesley, Boston (2010)Google Scholar
  17. [ZSM11]
    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

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Fraunhofer FOKUS and Humboldt-Universität zu BerlinBerlinGermany

Personalised recommendations