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 条
  • [31] Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
    Lect. Notes Comput. Sci., 1600,
  • [32] THE PRACTICE OF FORMAL METHODS IN SAFETY-CRITICAL SYSTEMS
    LIU, SY
    STAVRIDOU, V
    DUTERTRE, B
    JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 28 (01) : 77 - 87
  • [33] SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
    BOWEN, J
    STAVRIDOU, V
    SOFTWARE ENGINEERING JOURNAL, 1993, 8 (04): : 189 - 209
  • [34] Formal Methods in Industrial Dependable Systems Design - The TTTech Example
    Steiner, Wilfried
    PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 8 - 8
  • [35] Towards Cooperation of Formal Methods for the Analysis of Critical Control Systems
    Champion, Adrien
    Delmas, Remi
    Garoche, Pierre-loic
    Roux, Pierre
    SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2011, 4 (02): : 850 - 858
  • [36] Behavioral Analysis Of Safety Critical Systems Using Formal Methods
    Rao, Shreesha P.
    Nanda, Manju
    Jayanthi, J.
    2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 2385 - 2391
  • [37] THE INDUSTRIAL USE OF FORMAL METHODS
    THOMAS, M
    MICROPROCESSORS AND MICROSYSTEMS, 1993, 17 (01) : 31 - 36
  • [38] Formal methods in an industrial environment
    Cuéllar, JR
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 57 - 60
  • [39] Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems
    Cavalcanti, Ana
    Petrucci, Laure
    Seceleanu, Cristina
    ERCIM NEWS, 2018, (112): : 47 - 47
  • [40] A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems
    Sinha, Roopak
    Patil, Sandeep
    Gomes, Luis
    Vyatkin, Valeriy
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (07) : 3772 - 3783
12345