nach oben

International Journal on Software Tools for Technology Transfer

Erschienen in:

04.04.2022 | Introduction

Formal methods and tools for industrial critical systems

verfasst von: Maurice H. ter Beek, Kim G. Larsen, Dejan Ničković, Tim A. C. Willemse

Erschienen in: International Journal on Software Tools for Technology Transfer | Ausgabe 3/2022

Einloggen

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

search-config

KI-gestützte Suche

Aus

Abstract

Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of industrial critical systems in domains like railways, avionics and automotive. In this Introduction to the special issue, we outline a number of recent achievements concerning the use of formal methods and tools for the specification and verification of critical systems from a variety of industrial domains. These achievements are represented by eight properly revised and extended versions of papers that were selected from the 24th and 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019 and FMICS 2020).

Nächster Artikel DFT modeling approach for operational risk assessment of railway infrastructure

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

https://fmics.inria.fr/.

https://shift2rail.org/.

https://www.stormchecker.org/.

https://uppaal.org/.

https://coq.inria.fr/.

https://www.mcrl2.org/.

https://divine.fi.muni.cz/.

Craigen, D., Gerhart, S., Ralston, T.: Industrial applications of formal methods to model. An international survey. Advanced Computing and Telecommunication Series, William Andrew, Design and Analyze Computer Systems (1995). https://doi.org/10.1016/C2009-0-20452-1

Clarke, E.M., Wing, J.M., et al.: Formal methods: State of the art and future directions. ACM Comput. Surv. 28(4), 626–643 (1996). https://doi.org/10.1145/242223.242257CrossRef

Hinchey, M.G., Bowen, J.P. (eds.): : Industrial-strength formal methods in practice. Formal Approaches to Computing Information Technology, Springer, (1999). https://doi.org/10.1007/978-1-4471-0523-7

Woodcock, J., Larsen, P.G., Bicarregui, J., Fitzgerald, J.S.: Formal methods: Practice and experience. ACM Computing Surveys 41(4):19:1–19:36, (2009) https://doi.org/10.1145/1592434.1592436

Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons Inc, Hoboken (2013)

Güdemann, M., Núñez, M.: Preface of the special issue on formal methods in industrial critical systems. Int. J. Softw. Tools Technol. Transfer 19(4), 391–393 (2017). https://doi.org/10.1007/s10009-017-0455-4CrossRef

Basile, D., ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F., Piattino, A., Trentini, D., Ferrari, A.: On the industrial uptake of formal methods in the railway domain. In: C.A. Furia, K. Winter (eds) Proceedings of the 14th International Conference on Integrated Formal Methods (iFM 2018), Springer, Lecture Notes in Computer Science, vol 11023, pp. 20–29, (2018) https://doi.org/10.1007/978-3-319-98938-9_2

ter Beek, M.H., Gnesi, S., Knapp, A.: Formal methods for transport systems. Int. J. Softw. Tools Technol. Transfer 20(3), 237–241 (2018). https://doi.org/10.1007/s10009-018-0487-4CrossRef

Garavel H, ter Beek MH, van de Pol J (2020) The 2020 expert survey on formal methods. In: M.H. ter Beek, D. Ničković (eds) Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2020), Springer, Lecture Notes in Computer Science, vol. 12327, pp. 3–69, https://doi.org/10.1007/978-3-030-58298-2_1

10.

Gleirscher, M., Marmsoler, D.: Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. Empir. Softw. Eng. 25(6), 4473–4546 (2020). https://doi.org/10.1007/s10664-020-09836-5CrossRef

11.

Margaria, T., Kiniry, J.: Welcome to formal methods in industry. IT Professional 22(1), 9–12 (2020). https://doi.org/10.1109/MITP.2020.2968715CrossRef

12.

Ferrari, A., ter Beek, M.H.: Formal methods in railways: a systematic mapping study. ACM Comput. Surv. (2022). https://doi.org/10.1145/3520480CrossRef

13.

Campos, J., Seatzu, C., Xie, X. (eds.): : Formal Methods in Manufacturing. CRC (2014). https://doi.org/10.1201/9781315216140

14.

ter Beek, M.H., Clarke, D., Schaefer, I.: Editorial preface for the JLAMP special issue on Formal Methods for Software Product Line Engineering. J. Logic. Algebraic Methods Program. 85(1), 123–124 (2016). https://doi.org/10.1016/j.jlamp.2015.09.006CrossRefMATH

15.

Voas, J.M., Schaffer, K.: Insights on formal methods in cybersecurity. IEEE Comput. 49(5), 102–105 (2016). https://doi.org/10.1109/MC.2016.131CrossRef

16.

Ozay, N., Tabuada, P.: Guest editorial: special issue on formal methods in control. Discrete Event Dyn. Syst. 27(2), 205–208 (2017). https://doi.org/10.1007/s10626-017-0246-9MathSciNetCrossRefMATH

17.

Weyers, B., Bowen, J., Dix, A., Palanque, P. (eds.): The Handbook of Formal Methods in Human-Computer Interaction. Human-Computer Interaction Series, Springer, (2017). https://doi.org/10.1007/978-3-319-51838-1

18.

ter Beek, M.H., Loreti, M.: Guest editorial for the special issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Trans. Model. Comput. Simul. 28(2), 8:1-8:4 (2018). https://doi.org/10.1145/3177772MathSciNetCrossRef

19.

Bonfanti, S., Gargantini, A., Mashkoor, A.: A systematic literature review of the use of formal methods in medical software systems. Journal of Software: Evolution and Process 30(5):e1943:1–e1943:18 (2018) https://doi.org/10.1002/smr.1943

20.

Marko, N., Möhlmann, E., Ničković, D., Niehaus, J., Priller, P., Rooker, M.: Challenges of engineering safe and secure highly automated vehicles: Whitepaper. (2020) [arXiv:2103.03544 [cs.AI]]

21.

Michael, J.B., Drusinsky, D., Wijesekera, D.: Formal methods in cyberphysical systems. IEEE Comput. 54(9), 25–29 (2021). https://doi.org/10.1109/MC.2021.3089267CrossRef

22.

Wing, J.M.: A specifier’s introduction to formal methods. IEEE Comput. 23(9), 8–24 (1990). https://doi.org/10.1109/2.58215CrossRef

23.

Hinchey, M., Bowen, J.P., Vassev, E.: Formal methods. In: Laplante PA (ed) Encyclopedia of Software Engineering, Taylor & Francis, pp. 308–320, (2010) http://www.crcnetbase.com/doi/abs/10.1081/E-ESE-120044313

24.

Almeida, J.B., Frade, M.J., Pinto, J.S.., Melo de Sousa, S.: An overview of formal methods tools and techniques. In: Rigorous Software Development: An Introduction to Program Verification, Springer, pp. 15–44 (2011) https://doi.org/10.1007/978-0-85729-018-2_2

25.

Bowen, J.P., Hinchey, M.G.: Formal methods. In: T.F. Gonzalez, J. Diaz-Herrera, A. Tucker (eds) Computing Handbook. CRC Press, Chap 71, pp. 71–25 (2014)

26.

Nielson, F., Nielson, H.R.: Formal Methods: An Appetizer. Springer, Berlin (2019)CrossRef

27.

Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, Amsterdam (2001)MATH

28.

Clarke, E.M., Henzinger, T.A., Veith, H., Bloem, R. (eds.): : Handbook of Model Checking. Springer (2018). https://doi.org/10.1007/978-3-319-10575-8

29.

Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)MATH

30.

Agha, G., Palmskog, K.: A survey of statistical model checking. ACM Trans. Model. Comput. Simul. 28(1), 6:1-6:39 (2018). https://doi.org/10.1145/3158668MathSciNetCrossRef

31.

Larsen, K.G., Willemse, T. (eds) Proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2019), Lecture Notes in Computer Science, vol 11687, Springer, (2019) https://doi.org/10.1007/978-3-030-27008-7

32.

ter Beek, M.H., Ničković, D. (eds) Proceedings of the 25th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2020), Lecture Notes in Computer Science, vol 12327, Springer, (2020) https://doi.org/10.1007/978-3-030-58298-2

33.

Weik, N., Volk, M., Katoen, J.P., Nießen, N.: DFT modeling approach for operational risk assessment of railway infrastructure. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00652-4

34.

Basile, D., ter Beek, M.H., Ferrari, A., Legay, A.: Exploring the ERTMS/ETCS full moving block specification: An experience with formal methods. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00653-3

35.

Kouskoulas, Y., Machado, T.J., Genin, D., Schmidt, A., Papusha, I., Brulé, J.: Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00654-2

36.

Gu, R., Jensen, P.G., Poulsen, D.B., Seceleanu, C., Enoiu, E., Lundqvist, K.: Verifiable strategy synthesis for multiple autonomous agents: A scalable approach. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00657-z

37.

Binder, B., Asavoae, M., Brandner, F., Ben Hedia, B., Jan, M.: Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00655-1

38.

Bunte, O., van Gool, L.C.M., Willemse, T.A.C.: Formal verification of OIL component specifications using mCRL2. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00658-y

39.

Huang, S., Cleaveland, R.: Temporal-logic query checking over finite data streams. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00656-0

40.

Ročkai, P., Barnat, J.: DivSIM, an interactive simulator for LLVM bitcode. Int. J. Softw. Tools Technol. Transfer (2022). https://doi.org/10.1007/s10009-022-00659-x

Titel: Formal methods and tools for industrial critical systems
verfasst von: Maurice H. ter Beek
Kim G. Larsen
Dejan Ničković
Tim A. C. Willemse
Publikationsdatum: 04.04.2022
Verlag: Springer Berlin Heidelberg
Erschienen in: International Journal on Software Tools for Technology Transfer / Ausgabe 3/2022
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI: https://doi.org/10.1007/s10009-022-00660-4

Springer Professional

Abstract

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 3/2022

Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods

DivSIM , an interactive simulator for LLVM bitcode

Formal modeling and verification for amplification timing anomalies in the superscalar TriCore architecture

DFT modeling approach for operational risk assessment of railway infrastructure

Verifiable strategy synthesis for multiple autonomous agents: a scalable approach

Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turns

Premium Partner