The landing gear case study: challenges and experiments
| Autor: | Virginie Wiels, Klaus-Dieter Schewe, Frédéric Boniol, Yamine Ait-Ameur |
|---|---|
| Přispěvatelé: | ONERA / DTIS, Université de Toulouse [Toulouse], ONERA-PRES Université de Toulouse, Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE), Institut de recherche en informatique de Toulouse (IRIT), Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National Polytechnique (Toulouse) (Toulouse INP), Software Competence Center Hagenberg (SCCH), Johannes Kepler Universität Linz (JKU), Centre National de la Recherche Scientifique - CNRS (FRANCE), Institut National Polytechnique de Toulouse - Toulouse INP (FRANCE), Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE), Université Toulouse III - Paul Sabatier - UT3 (FRANCE), Université Toulouse - Jean Jaurès - UT2J (FRANCE), Université Toulouse 1 Capitole - UT1 (FRANCE), Software Competence Center Hagenberg - SCCH (AUSTRIA), Institut de Recherche en Informatique de Toulouse - IRIT (Toulouse, France), Institut National Polytechnique de Toulouse - INPT (FRANCE) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
FAILURE MODE
Computer science REQUIREMENT 02 engineering and technology COMBINATORIAL EXPLOSION 020204 information systems Formal specification 0202 electrical engineering electronic engineering information engineering FAILURE Complement (set theory) Landing gear business.industry 020207 software engineering Formal methods Systèmes embarqués Test (assessment) TIME Identification (information) Scalability Theory of computation [INFO.INFO-ES]Computer Science [cs]/Embedded Systems Software engineering business Software Combinatorial explosion Information Systems |
| Zdroj: | International Journal on Software Tools for Technology Transfer International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, 19 (2), pp.133-140. ⟨10.1007/s10009-016-0431-4⟩ |
| ISSN: | 1433-2779 1433-2787 |
| DOI: | 10.1007/s10009-016-0431-4⟩ |
| Popis: | International audience; 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink