nach oben

International Journal on Software Tools for Technology Transfer

Erschienen in:

13.07.2016 | Introduction

The landing gear case study: challenges and experiments

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

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 2/2017

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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

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

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

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)

Titel: The landing gear case study: challenges and experiments
verfasst von: Frédéric Boniol
Virginie Wiels
Yamine Aït-Ameur
Klaus-Dieter Schewe
Publikationsdatum: 13.07.2016
Verlag: Springer Berlin Heidelberg
Erschienen in: International Journal on Software Tools for Technology Transfer / Ausgabe 2/2017
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI: https://doi.org/10.1007/s10009-016-0431-4

Springer Professional

Excerpt

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 2/2017

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

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

Validation of the ABZ landing gear system using ProB

Modeling a landing gear system in Event-B

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

Environment-driven reachability for timed systems

Premium Partner