Preface of the special issue on formal methods in industrial critical systems

被引：3

作者：

Gudemann, Matthias ^{[1
]}

Nunez, Manuel ^{[2
]}

机构：

[1] DiffBlue Ltd, King Charles House,Pk End St, Oxford OX1 1JD, England

[2] Univ Complutense Madrid, Dept Sistemas Informat & Comp, Madrid, Spain

来源：

INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER | 2017年 / 19卷 / 04期

关键词：

Safety critical; Formal methods; Industrial systems;

D O I：

10.1007/s10009-017-0455-4

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The use of formal methods in industrial critical systems has a lot of potential to increase the quality and reliability of these systems. Three of the main challenges of the application of formal methods in industrial systems are scalability, their often inherent complexity and the integration into existing development processes. Due to this, their application is limited mainly to where usage is highly recommended by domain-specific standards, e.g., in light rail and avionics. The contributions in this special issue address some of these core problems of using formal methods in industry. The articles are based on papers selected from the 2015 Fmics workshop, an annual forum organized by the Ercim working group dedicated to formal methods for industrial critical systems.

引用

页码：391 / 393

页数：3

共 50 条

[1] Preface of the special issue on formal methods in industrial critical systems
Matthias Güdemann
Manuel Núñez
International Journal on Software Tools for Technology Transfer, 2017, 19 : 391 - 393
[2] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014)
Lang, Frederic
Flammini, Francesco
SCIENCE OF COMPUTER PROGRAMMING, 2016, 118 : 1 - 2
[3] Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008)
Cofer, Darren
Fantechi, Alessandro
Leue, Stefan
Merino, Pedro
SCIENCE OF COMPUTER PROGRAMMING, 2011, 76 (02) : 63 - 64
[4] Special Issue: Formal Methods for Interactive Systems Preface
Reeves, Steve
INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
[5] Special Issue: Formal Methods in Aerospace Preface
Bujorianu, Manuela
Fisher, Michael
Pasareanu, Corina
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2011, 63 (01) : 1 - 3
[6] Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems
Bestavros, Azer
Kfoury, Assaf
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2013, 23 (04) : 675 - 675
[7] Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)
Salauen, Gwen
Schaetz, Bernhard
SCIENCE OF COMPUTER PROGRAMMING, 2014, 80 : 107 - 108
[8] Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009+FMICS 2010)
Alpuente, Maria
SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (07) : 775 - 777
[9] Preface to the special issue on Formal Methods: Foundations and Applications Preface
Massoni, Tiago
Mousavi, Mohammad
SCIENCE OF COMPUTER PROGRAMMING, 2021, 205
[10] Preface for the formal methods in system design special issue on ‘Formal Methods 2021’
Marieke Huisman
Corina S. Păsăreanu
Naijun Zhan
Formal Methods in System Design, 2022, 61 : 1 - 2

← 1 2 3 4 5 →