KIT | KIT-Bibliothek | Impressum | Datenschutz

Table-based formal specification approaches for control engineers—empirical studies of usability

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

Abstract:
The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements. Formal methods are researched to be applied to automation system engineering to obtain a more effective and efficient quality assurance. One of the approaches, a formal specification language named Generalised Test Tables has been developed with the aim of intuitiveness and accessibility for automation application developers. The result of the experiments conducted to assess the usability of this language is presented here. Focussing on evaluating effectiveness and user satisfaction, three paper-based experiments have been conducted with students at the bachelor and master level. The evaluation results point to positive usability in both comparative effectiveness to conventional language, that is, Petri Nets, and subjective perception of user satisfaction.


Verlagsausgabe §
DOI: 10.5445/IR/1000133867
Veröffentlicht am 14.06.2021
Originalveröffentlichung
DOI: 10.1049/cps2.12017
Dimensions
Zitationen: 1
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Zeitschriftenaufsatz
Publikationsmonat/-jahr 12.2021
Sprache Englisch
Identifikator ISSN: 2398-3396
KITopen-ID: 1000133867
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in IET Cyber-Physical Systems: Theory and Applications
Verlag IET, the Institution of Engineering and Technology
Band 64
Seiten 193-207
Vorab online veröffentlicht am 26.05.2021
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page