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

Uloženo v:
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!
Popis
Shrnutí: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.Case studies have played an essential role in the history of formal methods. They have allowed to illustrate the application of formal techniques for modelling and verification, to compare different methods in terms of expressivity, performance and easiness of use. They have also permitted to enact the progress made by these methods.Dagstuhl seminar 9523 is about the famous Steam Boiler case study in 1995 had a lot of impact on the formal methods community. This case study allowed the assessment of formal techniques, the comparison of different formal techniques, the identification of areas for future work.
Bibliografie:ObjectType-Case Study-2
SourceType-Scholarly Journals-1
content type line 14
ObjectType-Editorial-4
ObjectType-Commentary-3
ObjectType-Report-1
ISSN:1433-2779
1433-2787
DOI:10.1007/s10009-016-0431-4