Top

International Journal on Software Tools for Technology Transfer

Published in:

13-07-2016 | Introduction

The landing gear case study: challenges and experiments

Authors: Frédéric Boniol, Virginie Wiels, Yamine Aït-Ameur, Klaus-Dieter Schewe

Published in: International Journal on Software Tools for Technology Transfer | Issue 2/2017

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Excerpt

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

next article Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Abrial, J.: Modeling in Event-B—system and software engineering. Cambridge University Press, Cambridge (2010)CrossRefMATH

Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science, vol. 1165. Springer, London (1996)

Abrial, J., Börger, E., Langmaack, H.: The steam boiler control specification problem. http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html (1996)

Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from asm models to java code. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0394-x (2016)

Banach, R.: The landing gear system in multi-machine hybrid event-b. International J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0409-7 (2016)

Boniol, F., Wiels, V.: The landing gear system case study. In: ABZ case study, Communications in Computer information science, vol. 433. Springer, Switzerland (2014)

Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D.: ABZ 2014: the landing gear case study. Proceedings of case study track, held at the 4th international conference on abstract state machines, alloy, B, TLA, VDM, and Z, Toulouse, June 2–6, 2014. Communications in Computer Information Science, vol. 433. Springer, Switzerland (2014)

Börger, E., Stärk, R.F.: Abstract state machines: A method for high-level system design and analysis. Springer, New York (2003)

Teodorov, C., Dhaussy, P., Le Roux, L.: Environment-driven reachability for timed systems. Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0401-2 (2016)

10.

Farail, P., Gaufillet, P., Peres, F., Bodeveix, J.P., Filali, M., Berthomieu, B., Rodrigo, S., Vernadat, F., Garavel, H., Lang, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: European congress on embedded real-time software (ERTS), SEE, Toulouse (2008)

11.

Hansen, D., Ladenberger, L., Wiegard, H., Bendisposto, J., Leuschel, M.: Validation of the abz landing gear system using prob. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0395-9 (2016)

12.

Mammar, A., Laleau, R.: Modelling a landing gear system in event-b. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0391-0 (2016)

13.

Su, W., Abrial, J.R.: Aircraft landing gear system: approaches with event-b to the modelling of an industrial system. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0400-3 (2016)

Title: The landing gear case study: challenges and experiments
Authors: Frédéric Boniol
Virginie Wiels
Yamine Aït-Ameur
Klaus-Dieter Schewe
Publication date: 13-07-2016
Publisher: Springer Berlin Heidelberg
Published in: International Journal on Software Tools for Technology Transfer / Issue 2/2017
Print ISSN: 1433-2779
Electronic ISSN: 1433-2787
DOI: https://doi.org/10.1007/s10009-016-0431-4

Springer Professional

Excerpt

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Other articles of this Issue 2/2017

Rigorous development process of a safety-critical system: from ASM models to Java code

Environment-driven reachability for timed systems

The landing gear system in multi-machine Hybrid Event-B

Modeling a landing gear system in Event-B

Aircraft landing gear system: approaches with Event-B to the modeling of an industrial system

Validation of the ABZ landing gear system using ProB

Premium Partner