KIT | KIT-Bibliothek | Impressum | Datenschutz

Formal Verification of Industrial Software and Neural Networks

Kleine Büning, Marko 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)

Abstract:

Software ist ein wichtiger Bestandteil unsere heutige Gesellschaft. Da Software vermehrt
in sicherheitskritischen Bereichen angewandt wird, müssen wir uns auf eine korrekte und
sichere Ausführung verlassen können. Besonders eingebettete Software, zum Beispiel in
medizinischen Geräten, Autos oder Flugzeugen, muss gründlich und formal geprüft werden.
Die Software solcher eingebetteten Systeme kann man in zwei Komponenten aufgeteilt.
In klassische (deterministische) Steuerungssoftware und maschinelle Lernverfahren
zum Beispiel für die Bilderkennung oder Kollisionsvermeidung angewandt werden.
... mehr

Abstract (englisch):

Software has become an integral part of today’s society. As software is increasingly
applied in safety-critical areas, we must be able to rely on its correct and safe execution.
Especially embedded software, for example in medical devices, cars or airplanes, must
be thoroughly and formally verified. The software of such embedded systems can be
divided into two kind of components. Traditionally engineered control software and
machine learning methods as applied for image recognition or collision avoidance.
This dissertations aims to improve the state-of-the-art for the verification of two main
... mehr


Volltext §
DOI: 10.5445/IR/1000146737
Veröffentlicht am 09.06.2022
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsdatum 09.06.2022
Sprache Englisch
Identifikator KITopen-ID: 1000146737
Verlag Karlsruher Institut für Technologie (KIT)
Umfang vii, 162 S.
Art der Arbeit Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdatum 29.04.2022
Schlagwörter Software Verification, Formal Methods, Neural Networks
Referent/Betreuer Sinz, Carsten
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page