Advertisement

Experiences of Application in the Automation Domain

  • Ulrich Löwen
  • Birthe Böhm
  • Alarico Campetelli
  • Maria Davidich
  • Florian Zimmer
Chapter

Abstract

In this chapter, we explain the application of the SPES XT modeling framework for the running example of the desalination plant. The objective is to explain the philosophy and methodology of the SPES XS modeling framework to automation domain experts based on artifacts, processes, and tools usually used today in the automation domain.

Keywords

Requirement Engineering Automation Software Functional Architecture Process Control System Desalination Plant 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [ANSI/ISA-88.01-1995] Instrument Society of America: ANSI/ISA-88.01-1995: Batch Control, Part 1: Models and Terminology, 1995.Google Scholar
  2. [Campetelli et al. 2015] A. Campetelli, M. Junker, V. Koutsoumpas, X. Zhu, B. Boehm, M. Davidich, J. C. Wehrstedt: A Model-Based Approach to Formal Verification in Early Development Phases: A Desalination Plant Case Study. Fünfter Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISION 2015), 2015.Google Scholar
  3. [Fay 2009] A. Fay: Effizientes Engineering komplexer Automatisierungssysteme. In: E. Schnieder, T. Ständer (Eds.): Wird der Verkehr automatisch sicherer?: 20 Jahre - vom IfRA zum iVA - Jubiläumskolloquium; Beschreibungsmittel, Methoden und Werkzeuge des integrierten Systementwurfs zur Fahrzeug - und Verkehrsautomatisierung; 04. September 2009 in Braunschweig. Braunschweig: iVA, S. 43–60, 2009.Google Scholar
  4. [Holm et al. 2013] T. Holm, S. Schröck, A. Fay, T. Jäger, U. Löwen: Engineering von “Mechatronik und Software” in automatisierten Anlagen: Anforderungen und Stand der Technik. ln: S. Wagner, H. Lichter: Software Engineering 2013 Work­shopband, Aachen, Germany, February 26 – March 1, 2013, Proceedings Lecture Notes in Informatics. Gesellschaft für Informatik, Bonn, 2013, pp. 261-272.Google Scholar
  5. [IEC 61131] IEC: IEC 61131-3:2013 – Programmable controllers - Part 3: Programming languages. Edition 3.0, 2013.Google Scholar
  6. [Urba 2012] L. Urbas: Process Control Systems Engineering. Oldenbourg Industrieverlag, Munich, 2012.Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Ulrich Löwen
    • 1
  • Birthe Böhm
    • 1
  • Alarico Campetelli
    • 2
  • Maria Davidich
    • 3
  • Florian Zimmer
    • 4
  1. 1.Corporate Technology Research and Technology CenterSiemens AGErlangenGermany
  2. 2.Department of InformaticsTechnische Universität München (TUM)GarchingGermany
  3. 3.Siemens AGMunichGermany
  4. 4.Helmut-Schmidt-University/University of Bundeswehr HamburgHamburgGermany

Personalised recommendations