Formal Analysis of Control Software for Cyber-Physical Systems

被引：0

作者：

Herrmann, Peter ^{[1
]}

Blech, Jan Olaf ^{[2
]}

机构：

[1] Norwegian Univ Sci & Technol NTNU, Trondheim, Norway

[2] RMIT Univ, Melbourne, Vic, Australia

来源：

2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C) | 2017年

关键词：

D O I：

10.1109/QRS-C.2017.130

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Modern Cyber-Physical Systems are often driven by a plethora of controllers that are connected with each other and their environment. To guarantee a safe and robust execution of the systems, their control units have to strictly fulfill certain properties which calls for the use of formal analysis methods in the software development process. We present the combination of the model-based engineering technique Reactive Blocks and the spatiotemporal analysis tool BeSpaceD facilitating the formal verification of controller software.

引用

页码：563 / 564

页数：2

共 50 条

[1] Using Formal Concept Analysis for Control in Cyber-Physical Systems
Klimes, Jiri
[J]. 24TH DAAAM INTERNATIONAL SYMPOSIUM ON INTELLIGENT MANUFACTURING AND AUTOMATION, 2013, 2014, 69 : 1518 - 1522
[2] Visualisation of Control Software for Cyber-Physical Systems
Melatti, Igor
Mari, Federico
Salvo, Ivano
Tronci, Enrico
[J]. INFORMATION, 2021, 12 (05)
[3] Formal Modeling of Testing Software for Cyber-Physical Automation Systems
Buzhinsky, Igor
Pang, Cheng
Vyatkin, Valeriy
[J]. 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, 2015, : 301 - 306
[4] Formal Verification of Control Modules in Cyber-Physical Systems
Grobelna, Iwona
[J]. SENSORS, 2020, 20 (18) : 1 - 23
[5] Formal modeling and control of cyber-physical manufacturing systems
Yu, Zhenhua
Ouyang, Jie
Li, Sisi
Peng, Xia
[J]. ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (10)
[6] Formal Probabilistic Analysis of Cyber-Physical Transportation Systems
Mashkoor, Atif
Hasan, Osman
[J]. COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT III, 2012, 7335 : 419 - 434
[7] Predictive Formal Analysis of Resilience in Cyber-Physical Systems
Mouelhi, Sebti
Laarouchi, Mohamed-Emine
Cancila, Daniela
Chaouchi, Hakima
[J]. IEEE ACCESS, 2019, 7 : 33741 - 33758
[8] The analysis of traffic control cyber-physical systems
Shi Jianjun
Wu Xu
Guan Jizhen
Chen Yangzhou
[J]. INTELLIGENT AND INTEGRATED SUSTAINABLE MULTIMODAL TRANSPORTATION SYSTEMS PROCEEDINGS FROM THE 13TH COTA INTERNATIONAL CONFERENCE OF TRANSPORTATION PROFESSIONALS (CICTP2013), 2013, 96 : 2487 - 2496
[9] Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification
Panahi, Vahid
Kargahi, Mehdi
Faghih, Fathiyeh
[J]. ACM TRANSACTIONS ON CYBER-PHYSICAL SYSTEMS, 2024, 8 (02)
[10] Software control and intellectual property protection in cyber-physical systems
Machado, Raphael C. S.
Boccardo, Davidson R.
Pereira de Sa, Vinicius G.
Szwarcfiter, Jayme L.
[J]. EURASIP JOURNAL ON INFORMATION SECURITY, 2016,

← 1 2 3 4 5 →