Boniol, Frédéric and Wiels, Virginie and Aït-Ameur, Yamine
and Schewe, Klaus-Dieter
The landing gear case study: challenges and experiments.
(2016)
International Journal on Software Tools for Technology Transfer, 19 (2). 133-140. ISSN 1433-2779
|
(Document in English)
PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 740kB |
Official URL: https://doi.org/10.1007/s10009-016-0431-4
Abstract
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 significant reduction of test phases. However, for these techniques to be used in practice, one issue to consider is their efficiency and scalability on complex industrial systems.
Repository Staff Only: item control page
