The landing gear case study: challenges and experiments

Embedded critical systems need to be validated very thoroughly; it usually results in very long and onerous test phases. Formal techniques, in particular formal specification languages and associated proof tools, could be an advantageous alternative, or at least a good complement and allow a signifi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal on software tools for technology transfer Jg. 19; H. 2; S. 133 - 140
Hauptverfasser:	Boniol, Frédéric, Wiels, Virginie, Aït-Ameur, Yamine, Schewe, Klaus-Dieter
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2017 Springer Nature B.V Springer Verlag
Schlagworte:	Computer Science Embedded Systems Introduction Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation TIME COMBINATORIAL EXPLOSION FAILURE Landing gear FAILURE MODE REQUIREMENT
ISSN:	1433-2779, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!