KIT | KIT-Bibliothek | Impressum | Datenschutz
Originalveröffentlichung
DOI: 10.1515/auto-2018-0028

Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU

Cha, Suhyun; Weigl, Alexander; Ulbrich, Mattias; Beckert, Bernhard; Vogel-Heuser, Birgit

Abstract:
Steigende Kunden- und Marktanfordungen in der Fertigungsautomatisierung erfordern komplexere Steuerungssoftware und kürzere Entwicklungszyklen. Um zukünftig Korrektheit und Zuverlässigkeit sicherstellen zu können, ist eine Anpassung an der Qualitätssicherung erforderlich. Formale Methoden können hierfür nachprüfbare Garantien bieten, aber obwohl Automatisierungstechnik in unternehmenskritischen Bereichen eingesetzt wird, werden formale Methoden dort selten verwendet. Einer der Gründe ist der Mangel an geeigneten Spezifikationssprachen für die Automatisierungsdomäne, di ... mehr

Abstract (englisch):
With recent trends in manufacturing automation, control software in automated production systems becomes more complex and has more variability to keep pace with customer and market requirements. Quality assurance also becomes more and more important to ensure that the systems live up to expectations. However, correctness of automation software is rarely verified using formal techniques in spite of their high coverage. One of the main reasons is the lack of specification languages suitable for this application area that are both comprehensible and sufficiently expressiv ... mehr


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Jahr 2018
Sprache Englisch
Identifikator ISSN: 0178-2312, 0271-4442, 0340-434x, 0360-5949, 1533-0699, 2196-677X, 2196-677X, 2325-923X
URN: urn:nbn:de:swb:90-869643
KITopen ID: 1000086964
Erschienen in Automatisierungstechnik
Band 66
Heft 10
Seiten 834–848
Vorab online veröffentlicht am 17.10.2018
Schlagworte formal verification; formal specification; functional specification; software engineering; manufacturing system engineering
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page