KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Cha, Suhyun; Weigl, Alexander ORCID iD icon 1; Ulbrich, Mattias ORCID iD icon 1; Beckert, Bernhard ORCID iD icon 1; Vogel-Heuser, Birgit
1 Karlsruher Institut für Technologie (KIT)

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, die sowohl nachvollziehbar als auch ausreichend aussagekräftig sind. ... 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 expressive. ... mehr


Originalveröffentlichung
DOI: 10.1515/auto-2018-0028
Scopus
Zitationen: 6
Web of Science
Zitationen: 6
Dimensions
Zitationen: 7
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Zeitschriftenaufsatz
Publikationsjahr 2018
Sprache Englisch
Identifikator ISSN: 0178-2312, 0271-4442, 0340-434x, 0360-5949, 1533-0699, 2196-677X, 2196-677X, 2325-923X
urn:nbn:de:swb:90-869643
KITopen-ID: 1000086964
Erschienen in Automatisierungstechnik
Verlag De Gruyter
Band 66
Heft 10
Seiten 834–848
Projektinformation SPP 1593 (DFG, DFG KOORD, BE 2334/7-2)
SPP 1593 (DFG, DFG KOORD, UL 433/1-2)
KASTEL_SVI (BMBF, 16KIS0521)
Vorab online veröffentlicht am 17.10.2018
Schlagwörter formal verification; formal specification; functional specification; software engineering; manufacturing system engineering
Nachgewiesen in Web of Science
Dimensions
Scopus
Relationen in KITopen
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page