Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Experiences of Application in the Automation Domain

  • Chapter
  • First Online:
Advanced Model-Based Engineering of Embedded Systems

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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 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
Hardcover Book
USD 84.99
Price excludes VAT (USA)
  • Durable hardcover 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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • [ANSI/ISA-88.01-1995] Instrument Society of America: ANSI/ISA-88.01-1995: Batch Control, Part 1: Models and Terminology, 1995.

    Google Scholar 

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

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

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

  • [IEC 61131] IEC: IEC 61131-3:2013 – Programmable controllers - Part 3: Programming languages. Edition 3.0, 2013.

    Google Scholar 

  • [Urba 2012] L. Urbas: Process Control Systems Engineering. Oldenbourg Industrieverlag, Munich, 2012.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Corporate Technology Research and Technology Center, Siemens AG, Günther-Scharowsky-Str. 1, 91058, Erlangen, Germany

    Ulrich Löwen & Birthe Böhm

  2. Department of Informatics, Technische Universität München (TUM), Boltzmannstr. 3, 85748, Garching, Germany

    Alarico Campetelli

  3. Siemens AG, Otto-Hahn-Ring 6, 81739, Munich, Germany

    Maria Davidich

  4. Helmut-Schmidt-University/University of Bundeswehr Hamburg, Holstenhofweg 85, 22043, Hamburg, Germany

    Florian Zimmer

Authors
  1. Ulrich Löwen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Birthe Böhm
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alarico Campetelli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Maria Davidich
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Florian Zimmer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Paluno - The Ruhr Institute, University of Duisburg-Essen Paluno - The Ruhr Institute, Essen, Nordrhein-Westfalen, Germany

    Klaus Pohl

  2. Institut für Informatik, Technische Universität München Institut für Informatik, Garching, Munchen, Bayern, Germany

    Manfred Broy

  3. Airbus Defence & Space , Ulm, Baden-Württemberg, Germany

    Heinrich Daembkes

  4. Robert Bosch GmbH , Renningen, Germany

    Harald Hönninger

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing AG

About this chapter

Cite this chapter

Löwen, U., Böhm, B., Campetelli, A., Davidich, M., Zimmer, F. (2016). Experiences of Application in the Automation Domain. In: Pohl, K., Broy, M., Daembkes, H., Hönninger, H. (eds) Advanced Model-Based Engineering of Embedded Systems. Springer, Cham. https://doi.org/10.1007/978-3-319-48003-9_12

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-48003-9_12

  • Published:

  • Publisher Name: Springer, Cham

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

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation