A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

被引：23

作者：

Sinha, Roopak ^{[1
]}

Patil, Sandeep ^{[2
]}

Gomes, Luis ^{[3
,4
]}

Vyatkin, Valeriy ^{[2
,5
,6
]}

机构：

[1] Auckland Univ Technol, Dept IT & Software Engn, Auckland 1010, New Zealand

[2] Lulea Univ Technol, Dept Comp Sci Elect & Space Engn, S-97187 Lulea, Sweden

[3] NOVA Univ Lisbon, NOVA Sch Sci & Technol, Elect & Comp Engn Dept, Lisbon, Portugal

[4] Univ Nova Lisboa, Ctr Technol & Syst, P-2829517 Caparica, Portugal

[5] ITMO Univ, Comp Technol Int Lab, St Petersburg 197101, Russia

[6] Aalto Univ, Dept Elect Engn Automat, Aalto 00076, Finland

来源：

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS | 2019年 / 15卷 / 07期

关键词：

Formal methods; formal verification; IEC; 61131; 61499; industrial automation systems (IAS); industrial control; FUNCTION BLOCK DIAGRAMS; VERIFICATION; SPECIFICATION; IMPLEMENTATION; REQUIREMENTS; GENERATION; SECURITY; MODELS; SAFETY; SYSML;

D O I：

10.1109/TII.2019.2908665

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Industrial automation systems (IAS) need to be highly dependable; they should not merely function as expected but also do so in a reliable, safe, and secure manner. Formal methods are mathematical techniques that can greatly aid in developing dependable systems and can be used across all phases of the system development life cycle (SDLC), including requirements engineering, system design and implementation, verification and validation (testing), maintenance, and even documentation. This state-of-theart survey reports existing formal approaches for creating more dependable IAS, focusing on static formal methods that are used before a system is completely implemented. We categorize surveyed works based on the phases of the SDLC, allowing us to identify research gaps and promising future directions for each phase.

引用

页码：3772 / 3783

页数：12

共 50 条

[1] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
Schoitsch, Erwin
[J]. ERCIM NEWS, 2009, (78): : 9 - 9
[2] Formal Methods in Industrial Dependable Systems Design - The TTTech Example
Steiner, Wilfried
[J]. PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 8 - 8
[3] Formal Methods for Industrial Critical Systems: A Survey of Applications
不详
[J]. ERCIM NEWS, 2013, (94): : 42 - 42
[4] Technical Management System for Dependable Building Automation Systems
Burkert, Malte
Krumm, Heiko
Fiehe, Christoph
[J]. PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
[5] Building Petri net scenarios for dependable automation systems
Bernardi, S
Donatelli, S
[J]. 10TH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, PROCEEDINGS, 2003, : 72 - 81
[6] Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Gleirscher, Mario
Marmsoler, Diego
[J]. EMPIRICAL SOFTWARE ENGINEERING, 2020, 25 (06) : 4473 - 4546
[7] Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
Mario Gleirscher
Diego Marmsoler
[J]. Empirical Software Engineering, 2020, 25 : 4473 - 4546
[8] Formal methods for higher reliability of the industrial automation
Zezulka, F
Bradác, Z
Kucera, P
[J]. 2003 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY, VOLS 1 AND 2, PROCEEDINGS, 2003, : 891 - 895
[9] Formal methods integration for the specification of dependable distributed systems
Mazzocca, N
Russo, S
Vittorini, V
[J]. JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (10) : 671 - 685
[10] Formal Methods for Industrial Critical Systems
Jan Friso Groote
Marieke Huisman
[J]. International Journal on Software Tools for Technology Transfer, 2024, 26 : 127 - 129

← 1 2 3 4 5 →