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á bibliografie

Vydáno v:	International journal on software tools for technology transfer Ročník 19; číslo 2; s. 133 - 140
Hlavní autoři:	Boniol, Frédéric, Wiels, Virginie, Aït-Ameur, Yamine, Schewe, Klaus-Dieter
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2017 Springer Nature B.V Springer Verlag
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!