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.
% BibTex
@Article{Boniol2017,
author="Boniol, Fr{\'e}d{\'e}ric
and Wiels, Virginie
and A{\"i}t-Ameur, Yamine
and Schewe, Klaus-Dieter",
title="The landing gear case study: challenges and experiments",
journal="International Journal on Software Tools for Technology Transfer",
year="2017",
month="Apr",
day="01",
volume="19",
number="2",
pages="133--140",
issn="1433-2787",
doi="10.1007/s10009-016-0431-4",
url="https://doi.org/10.1007/s10009-016-0431-4"
}
Model Archive : Not available Presentation : Not available Used formal method : Event-B Resources and tools : Rodin, ProB Required OS : Linux, Mac, Windows Website : Not available Remarks and recommendation : No