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...

Celý popis

Podrobná bibliografia

Vydané v:	International journal on software tools for technology transfer Ročník 19; číslo 2; s. 133 - 140
Hlavní autori:	Boniol, Frédéric, Wiels, Virginie, Aït-Ameur, Yamine, Schewe, Klaus-Dieter
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2017 Springer Nature B.V Springer Verlag
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!