Skip to main content
Top
Published in: International Journal on Software Tools for Technology Transfer 3/2022

04-04-2022 | Introduction

Formal methods and tools for industrial critical systems

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

Published in: International Journal on Software Tools for Technology Transfer | Issue 3/2022

Log in

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

search-config
loading …

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

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!

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!

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!

Literature
1.
5.
go back to reference Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons Inc, Hoboken (2013) Gnesi, S., Margaria, T. (eds.): Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons Inc, Hoboken (2013)
7.
go back to reference 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 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
9.
go back to reference 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 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
19.
go back to reference 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 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.
go back to reference 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]] 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]]
25.
go back to reference 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) 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.
go back to reference Nielson, F., Nielson, H.R.: Formal Methods: An Appetizer. Springer, Berlin (2019)CrossRef Nielson, F., Nielson, H.R.: Formal Methods: An Appetizer. Springer, Berlin (2019)CrossRef
27.
go back to reference Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, Amsterdam (2001)MATH Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, Amsterdam (2001)MATH
29.
go back to reference Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)MATH Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)MATH
Metadata
Title
Formal methods and tools for industrial critical systems
Authors
Maurice H. ter Beek
Kim G. Larsen
Dejan Ničković
Tim A. C. Willemse
Publication date
04-04-2022
Publisher
Springer Berlin Heidelberg
Published in
International Journal on Software Tools for Technology Transfer / Issue 3/2022
Print ISSN: 1433-2779
Electronic ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-022-00660-4

Other articles of this Issue 3/2022

International Journal on Software Tools for Technology Transfer 3/2022 Go to the issue

Premium Partner