Formal Methods for Industrial Critical Systems

被引：0
|
作者：
Groote, Jan Friso [1 ]
Huisman, Marieke [2 ]
机构：
[1] Eindhoven Univ Technol, POB 513, NL-5600 MB Eindhoven, Netherlands
[2] Univ Twente, POB 217, NL-7500 AE Enschede, Netherlands
来源：
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 2024年 / 26卷 / 02期
关键词：
Deductive verification; Smart contracts; Interactive validation; Spatio-temporal logics; Autonomous driving; Avionic software; Monotony analysis stochastic specifications; Real-time operating systems;
D O I：
10.1007/s10009-024-00744-3
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
To stimulate the development and application of formal methods in industry, we need to promote research and development for the improvement of formal methods and tools for industrial applications, and we need to exchange experiences of the industrial usage of these methods and tools. This special issue of Software Tools for Technology Transfer presents various tools and experience reports that are targeting the use of formal methods in industry. The papers in this special issue are extended versions of selected conference papers from the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022).
引用
收藏
页码：127 / 129
页数：3
相关论文
共 50 条
  • [41] Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems
    Teige, Tino
    Eggers, Andreas
    Scheibler, Karsten
    Stasch, Matthias
    Brockmeyer, Udo
    Holberg, Hans J.
    Bienmueller, Tom
    FORMAL METHODS, FM 2021, 2021, 13047 : 725 - 729
  • [42] Second International Workshop on Formal Methods for Industrial Critical Systems, Cesena, Italy, 4-5 July 1997
    Bull Eur Assoc Theor Comput Sci, 60 (256):
  • [43] Developing and assessing safety critical systems with formal methods: the SafeFM way
    Stavridou, Victoria
    Boothroyd, Andrew
    Boyce, Timothy
    Bradley, Peter
    Draper, Jonathan
    Dutertre, Bruno
    Smith, Robert
    High integrity systems, 1996, 1 (06): : 541 - 545
  • [44] FORMAL METHODS - USE AND RELEVANCE FOR THE DEVELOPMENT OF SAFETY-CRITICAL SYSTEMS
    BARROCA, LM
    MCDERMID, JA
    COMPUTER JOURNAL, 1992, 35 (06): : 579 - 599
  • [45] Formal systems, not methods
    Loomes, M
    Christianson, B
    Davey, N
    TEACHING FORMAL METHODS, PROCEEDINGS, 2004, 3294 : 47 - 64
  • [46] Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria
    Andrew Butterfield
    Juan C. Bicarregui
    Alvaro Arenas
    Formal Methods in System Design, 2007, 30 : 177 - 178
  • [47] Third International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Amsterdam, The Netherlands, 25-26 May 1998
    Bulletin of the European Association for Theoretical Computer Science, (64):
  • [48] Foreword: Selected papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria
    Butterfield, Andrew
    Bicarregui, Juan C.
    Arenas, Alvaro
    FORMAL METHODS IN SYSTEM DESIGN, 2007, 30 (03) : 177 - 178
  • [49] Formal Methods for Industrial Interlocking Verification
    Chadwick, Simon
    James, Phillip
    Roggenbach, Markus
    Werner, Tom
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [50] Industrial Practice in Formal Methods: A Review
    Bicarregui, J. C.
    Fitzgerald, J. S.
    Larsen, P. G.
    Woodcock, J. C. P.
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 810 - +
12345