Skip to main content
Erschienen in:

28.10.2022 | General

Formal methods and tools for industrial critical systems

verfasst von: Alberto Lluch Lafuente, Anastasia Mavridou

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

Einloggen

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

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 four properly revised and extended versions of papers that were selected from the 26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021).

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!

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!

Literatur
4.
Zurück zum Zitat 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: Furia, C.A., Winter, K. (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: Furia, C.A., Winter, K. (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
5.
Zurück zum Zitat Belo Lourenço, C., Cousineau, D., Faissole, F., Marché, C., Mentré, D., Inoue, H.: Automated formal analysis of temporal properties of ladder programs. Int. J. Softw. Tools Technol. Transf. (in this issue)(2022) Belo Lourenço, C., Cousineau, D., Faissole, F., Marché, C., Mentré, D., Inoue, H.: Automated formal analysis of temporal properties of ladder programs. Int. J. Softw. Tools Technol. Transf. (in this issue)(2022)
7.
Zurück zum Zitat Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T.F., Diaz-Herrera, J., Tucker, A. (eds.) Computing Handbook, chap 71, pp. 71–75. CRC Press, Cambridge (2014) Bowen, J.P., Hinchey, M.G.: Formal methods. In: Gonzalez, T.F., Diaz-Herrera, J., Tucker, A. (eds.) Computing Handbook, chap 71, pp. 71–75. CRC Press, Cambridge (2014)
15.
Zurück zum Zitat Garavel, H., ter Beek, M.H., van de Pol, J.: The 2020 expert survey on formal methods. In: ter Beek, M.H., Ničković, D. (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 (2020). https://doi.org/10.1007/978-3-030-58298-2_1 Garavel, H., ter Beek, M.H., van de Pol, J.: The 2020 expert survey on formal methods. In: ter Beek, M.H., Ničković, D. (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 (2020). https://​doi.​org/​10.​1007/​978-3-030-58298-2_​1
19.
Zurück zum Zitat Hansen, S.T., Thule, C., Gomes, C., Pol, J.v.d., Palmieri, M., Oguz, I.E., Madsen, F., Alfonso, J., Castellanos, J.A., Rodriguez, J.M.: Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. (in this issue) (2022) Hansen, S.T., Thule, C., Gomes, C., Pol, J.v.d., Palmieri, M., Oguz, I.E., Madsen, F., Alfonso, J., Castellanos, J.A., Rodriguez, J.M.: Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps. Int. J. Softw. Tools Technol. Transf. (in this issue) (2022)
22.
Zurück zum Zitat Kiviriga, A., Larsen, K.G., Nyman, U.: Randomized reachability analysis in Uppaal: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. (In this issue) (2022) Kiviriga, A., Larsen, K.G., Nyman, U.: Randomized reachability analysis in Uppaal: fast error detection in timed systems. Int. J. Softw. Tools Technol. Transf. (In this issue) (2022)
26.
Zurück zum Zitat 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]
30.
Zurück zum Zitat Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, New York (2001)MATH Robinson, J.A., Voronkov, A. (eds.): Handbook of Automated Reasoning. Elsevier, New York (2001)MATH
31.
Zurück zum Zitat Schmidt, J., Leuschel, M.: SMT solving for the validation of B and event-B models. Int. J. Softw. Tools Technol. Transf. (in this issue) (2022) Schmidt, J., Leuschel, M.: SMT solving for the validation of B and event-B models. Int. J. Softw. Tools Technol. Transf. (in this issue) (2022)
Metadaten
Titel
Formal methods and tools for industrial critical systems
verfasst von
Alberto Lluch Lafuente
Anastasia Mavridou
Publikationsdatum
28.10.2022
Verlag
Springer Berlin Heidelberg
Erschienen in
International Journal on Software Tools for Technology Transfer / Ausgabe 6/2022
Print ISSN: 1433-2779
Elektronische ISSN: 1433-2787
DOI
https://doi.org/10.1007/s10009-022-00687-7

Weitere Artikel der Ausgabe 6/2022

International Journal on Software Tools for Technology Transfer 6/2022 Zur Ausgabe

Premium Partner