KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Specification and Verification for Automated Production Systems

Weigl, Alexander Sebastian ORCID iD icon

Abstract (englisch):

Complex industrial control software often drives safety- and mission-critical
systems, like automated production plants or control units embedded into devices in automotive systems. Such controllers have in common that they are reactive systems, i.e., that they periodically read sensor stimuli and cyclically execute the same program to produce actuator signals.

The correctness of software for automated production is rarely verified using
formal techniques. Although, due to the Industrial Revolution 4.0 (IR4.0), the
impact and importance of software have become an important role in industrial automation.

What is used instead in industrial practice today is testing and simulation,
where individual test cases are used to validate an automated production system.
Three reasons why formal methods are not popular are: (a) It is difficult to
adequately formulate the desired temporal properties. (b) There is a lack of
specification languages for reactive systems that are both sufficiently
expressive and comprehensible for practitioners. (c) Due to the lack of an
environment model the obtained results are imprecise. Nonetheless, formal
... mehr

Volltext §
DOI: 10.5445/IR/1000140942
Veröffentlicht am 09.12.2021
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsdatum 09.12.2021
Sprache Englisch
Identifikator KITopen-ID: 1000140942
Verlag Karlsruher Institut für Technologie (KIT)
Umfang xi, 262 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Prüfungsdatum 27.04.2021
Projektinformation SPP 1593 (DFG, DFG KOORD, BE 2334/7-2)
SPP 1593 (DFG, DFG KOORD, UL 433/1-2)
Relationen in KITopen
Referent/Betreuer Beckert, B.
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page