Skip to main content
SpringerLink
Log in

Integrated Modeling of Complex Production Automation Systems to Increase Dependability

  • Chapter
Book cover Risk - A Multidisciplinary Introduction

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

Access this chapter

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
Hardcover Book
USD 54.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

Notes

  1. 1.

    SysML is an extension of the Unified Modeling Language (UML), defined by the OMG, to satisfy the requirements of system engineers. In particular it offers “a semantic foundation for modeling system requirements, behavior, structure, and parametrics, …” [26].

  2. 2.

    In the following the results of a research cooperation with an automotive company will be introduced which refers to the PhD of Anton Rink [6–9].

  3. 3.

    In the following the results of research of Wannagat and Vogel-Heuser will be presented which refers to [15–17].

References

Selected Bibliography

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

    Google Scholar 

  2. B. Bertsche, P. Göhner, U. Jensen, W. Schinköthe, H.-J. Wunderlich, Zuverlässigkeit mechatronischer Systeme. Grundlagen und Bewertung in frühen Entwicklungsphasen (Foundations for a Reliability Evaluation of Mechatronic Systems. Reliability of Mechatronic Systems). VDI-Book (Springer, Berlin, 2009), pp. 7–45

    Google Scholar 

  3. R. Lauber, P. Göhner, Prozessautomatisierung (Process Automation), 1 (Springer, Berlin, 1999)

    Book  MATH  Google Scholar 

  4. F. Li, G. Bayrak, K. Kernschmidt, B. Vogel-Heuser, Specification of the requirements to support information technology-cycles in the machine and plant manufacturing industry, in 14th IFAC Symposium on Information Control Problems in Manufacturing (INCOM) (2012)

    Google Scholar 

  5. A. Lüder, L. Hundt, A. Keibel, Description of manufacturing processes using AutomationML, in 2010 IEEE Conference on Emerging Technologies and Factory Automation (ETFA) (2010), pp. 1–8

    Google Scholar 

  6. A. Rink, Entwicklung einer Methode für die systemtechnische Auslegung verteilter und sicherheitskritischer Führungsfunktionen für Fahrzeugantriebe (Development of a method for the systemic interpretation of distributed, safety critical functions for vehicle engines). PhD Thesis, Bergische Universität Gesamthochschule Wuppertal, Wuppertal, Germany (2002)

    Google Scholar 

  7. A. Rink, Systemtechnische Auslegung sicherheitskritischer Führungsfunktionen für Fahrzeugantriebe (System-oriented design of safety critical control functions for vehicle drives). Autom.tech. Prax. 11, 66–74 (2002)

    Google Scholar 

  8. A. Rink, B. Vogel, Objektorientierte Methode für die Auslegung eines verteilten Automatisierungssystems unter Sicherheitsaspekten (Object-oriented method with safety aspects for the design of a distributed automation system), in Tagungsband zur Fachtagung Verteilte Automatisierung: Modelle und Methoden für Entwurf, Verifikation, Engineering und Instrumentierung, 22.–23.3.2000, Magdeburg (2000), pp. 266–272

    Google Scholar 

  9. A. Rink, B. Vogel-Heuser, Auslegung von Führungsfunktionen für einen Fahrzeugantrieb anhand eines integrierten Prozessmodells unter Berücksichtigung der Sicherheitsaspekte (Design of a key function for a vehicle drive using an integrated process model taking safety aspects under consideration), in VDI Kompetenzfeld Informationstechnik, Software-Engineering in der Praxis, Tagung, 28.02.–01.03.2002, Düsseldorf. VDI-Berichte, vol. 1666 (VDI Verlag, Düsseldorf, 2002)

    Google Scholar 

  10. D. Schütz, B. Vogel-Heuser, Modellintegration von Verhaltens- und energetischen Aspekten für mechatronische Module (Integrated modeling of module behavior and energy aspects in mechatronics). Automatisierungstechnik 59(1), 33–41 (2011)

    Article  Google Scholar 

  11. D. Schütz, A. Wannagat, Domänenspezifische Modellierung für automatisierungstechnische Anlagen mit Hilfe der SysML (Domain specific modelling of technical facilities using SysML). Autom.tech. Prax. 3, 54–62 (2009)

    Google Scholar 

  12. K. Thramboulidis, The 3+1 SysML view-model in model integrated mechatronics. J. Softw. Eng. Appl. 3, 109–118 (2010)

    Article  Google Scholar 

  13. K. Thramboulidis, D. Soliman, G. Frey, Towards an automated verification process for industrial safety applications, in IEEE Conference on Automation Science and Engineering (2011), pp. 482–487

    Google Scholar 

  14. B. Vogel-Heuser, G. Kegel, K. Bender, K. Wucherer, Global information architecture for industrial automation. Autom.tech. Prax. 1, 108–115 (2009)

    Google Scholar 

  15. A. Wannagat, Entwicklung und Evaluation agentenorientierter Automatisierungssysteme zur Erhöhung der Flexibilität und Zuverlässigkeit von Produktionsanlagen (Development and evaluation of agent oriented automation systems to increase flexibility and reliability of production plants). PhD Thesis, Technische Universität München, Munich, Germany (2010)

    Google Scholar 

  16. A. Wannagat, B. Vogel-Heuser, Agent oriented software-development for networked embedded systems with real time and dependability requirements the domain of automation, in Proc. of 17th IFAC World Congress (2008), pp. 4144–4149

    Google Scholar 

  17. A. Wannagat, B. Vogel-Heuser, Increasing flexibility and availability of manufacturing systems—dynamic reconfiguration of automation software at runtime on sensor faults, in Proc. of the 9th IFAC Workshop on Intelligent Manufacturing Systems (2008)

    Google Scholar 

Additional Literature

  1. J. Bézivin, Model driven engineering: an emerging technical space. Lect. Notes Comput. Sci. 4143, 36–64 (2006)

    Article  Google Scholar 

  2. J. Bézivin, On the unification power of models. Softw. Syst. Model. 4, 171–188 (2005)

    Article  Google Scholar 

  3. G. Chartrand, Directed graphs as mathematical models, in Introductory Graph Theory (Daver, New York, 1985), pp. 16–19

    Google Scholar 

  4. Deutsches Institut für Normung, DIN 25424: Fehlerbaumanalyse (Fault Tree Analysis) (Beuth, Berlin, 1981), Part 1; (1990), Part 2

    Google Scholar 

  5. Deutsches Institut für Normung, DIN EN 60812: Analysetechniken für die Funktionsfähigkeit von Systemen – Verfahren für die Fehlzustandsart- und -auswirkungsanalyse (FMEA) (Analysis for the Functionality of Systems—Method for the Failure Mode and Effects Analysis) (Beuth, Berlin, 2006)

    Google Scholar 

  6. IEEE Std. 610.12-1990, IEEE standard glossary of software engineering terminology. The Institute of Electrical and Electronics Engineers, USA (1990)

    Google Scholar 

  7. ISO/IEC FCD 25010, Systems and software engineering—software product quality requirements and evaluation (SQuaRE)—quality models for software product quality and system quality in use

    Google Scholar 

  8. D. Straub, Engineering risk assessment, in Risk – A Multidisciplinary Introduction, ed. by C. Klüppelberg, D. Straub, I. Welpe (2014)

    Google Scholar 

  9. SysML specification, 06/2012: available at http://www.omg.org/spec/SysML/1.3/PDF/

  10. VDA, Qualitätsmanagement in der Automobilindustrie, Sicherung der Qualität vor Serieneinsatz, System – FMEA (VDA: Quality Management in the Automotive Industry, Securing of Quality Prior to Production. VDA Brochure, vol. 4, 1st edn. (VDA, Frankfurt am Main, 1996), Part 2

    Google Scholar 

  11. VDI/VDE, Guideline 2653: Agents in Industrial Automation, Part I (Beuth, Berlin, 2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Chair of Automation and Information Systems, Department of Mechanical Engineering, Technische Universität München, Boltzmannstr. 15, 85748, Garching bei München, Germany

    Birgit Vogel-Heuser

  2. Automation and Information Systems, Department of Mechanical Engineering, Technische Universität München, Boltzmannstr. 15, 85748, Garching bei München, Germany

    Susanne Rösch

Authors
  1. Birgit Vogel-Heuser
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Susanne Rösch
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Birgit Vogel-Heuser .

Editor information

Editors and Affiliations

  1. Department of Mathematics, Munich University of Technology, Munich, Germany

    Claudia Klüppelberg

  2. Faculty of Civil, Geo and Environmental Engineering, Munich University of Technology, Munich, Germany

    Daniel Straub

  3. TUM School of Management, Munich University of Technology, Munich, Germany

    Isabell M. Welpe

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this chapter

Cite this chapter

Vogel-Heuser, B., Rösch, S. (2014). Integrated Modeling of Complex Production Automation Systems to Increase Dependability. In: Klüppelberg, C., Straub, D., Welpe, I. (eds) Risk - A Multidisciplinary Introduction. Springer, Cham. https://doi.org/10.1007/978-3-319-04486-6_13

Download citation

Publish with us

Policies and ethics

Search

Navigation