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

Full description

Bibliographic Details

Published in:	International journal on software tools for technology transfer Vol. 19; no. 2; pp. 133 - 140
Main Authors:	Boniol, Frédéric, Wiels, Virginie, Aït-Ameur, Yamine, Schewe, Klaus-Dieter
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer Berlin Heidelberg 01.04.2017 Springer Nature B.V Springer Verlag
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!