Benutzer: Gast  Login
Titel:

Model-Based Availability Analysis for Automated Production Systems: A Case Study

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Mund, Jakob; Junker, Maximilian; Bougouffa, Safa; Cha, Suhyun; Vogel-Heuser, Birgit
Abstract:
Availability is among the most important characteristics of manufacturing systems since it directly affects throughput, and, therefore, productivity of the system. Yet, we argue that current availability analyses are insufficient for thoroughly analyzing availability of such systems. In this paper, we present a novel approach for analyzing availability of automated production systems. This approach extends the system's normative specification with deviation models which represent fault occurrenc...     »
Kongress- / Buchtitel:
15th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017)
Verlagsort:
Vienna, Austria
Jahr:
2017
Nachgewiesen in:
Scopus; Web of Science
Reviewed:
ja
Volltext / DOI:
doi:10.1145/3127041.3127051
 BibTeX