Modelling and Verification of Survivability Requirements for Critical Systems

被引：1

作者：

Bernardi, Simona ^{[1
]}

Dranca, Lacramioara ^{[1
]}

Merseguer, Jose ^{[2
]}

机构：

[1] Acad Gen Militar, Ctr Univ Defensa, Zaragoza, Spain

[2] Univ Zaragoza, Dept Informat & Ingn Sistemas, Zaragoza, Spain

来源：

SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2014 | 2015年 / 8938卷

关键词：

Safety assessment; Survivable services; Petri Nets;

D O I：

10.1007/978-3-319-15201-1_6

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Survivability is a property of systems that guarantees services which operate safe and timely. Safety-critical services must survive despite the presence of faults or attacks. The contribution of the paper is twofold: construction of a survivability assessment model (SAM) and its transformation to a model checking problem. Our SAM is automatically obtained from an improved specification of misuse cases, which encompasses essential services, threats and survivability strategies. The SAM is automatically converted, using model-driven techniques, into a Petri Net model for verifying survivability properties through model checking. The method has been applied to a military command-and-control information system.

引用

页码：86 / 100

页数：15

共 50 条

[21] On Design-time Modelling and Verification of Safety-critical Component-based Systems
Kajtazovic, Nermin
Preschern, Christopher
Hoeller, Andrea
Kreiner, Christian
INTERNATIONAL JOURNAL OF NETWORKED AND DISTRIBUTED COMPUTING, 2014, 2 (03) : 175 - 188
[22] Runtime Verification of Typical Requirements for a Space Critical SoC Platform
Ferro, Luca
Pierre, Laurence
Amor, Zeineb Bel Hadj
Lachaize, Jerome
Lefftz, Vincent
FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2011, 6959 : 21 - +
[23] FORMAL VERIFICATION OF ALGORITHMS FOR CRITICAL SYSTEMS
RUSHBY, JM
VONHENKE, F
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 13 - 23
[24] Analysis of requirements for critical control systems
Alcaraz, Cristina
Lopez, Javier
INTERNATIONAL JOURNAL OF CRITICAL INFRASTRUCTURE PROTECTION, 2012, 5 (3-4) : 137 - 145
[25] Safety Requirements Specification and Verification for Railway Interlocking Systems
Han, Li
Liu, Jing
Zhou, Tingliang
Sun, Junfeng
Chen, Xiaohong
PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 335 - 340
[26] Run-time requirements verification for reconfigurable systems
Chatzikonstantinou, George
Kontogiannis, Kostas
INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 75 : 105 - 121
[27] Exploiting model profiles in requirements verification of cloud systems
Moscato, Francesco
International Journal of High Performance Computing and Networking, 2015, 8 (03) : 259 - 274
[28] Requirements Authoring and Verification for SMEs' Information Systems Engineering
Amokrane, N.
Chapurlat, V.
Courbis, A. L.
Lambolais, T.
Rahhou, M.
IFAC PAPERSONLINE, 2015, 48 (03): : 2238 - 2243
[29] Automated analysis and validation for survivability of distributed mission-critical systems
College of Computer Science and Technology, Harbin Engineer University, Harbin 150001, China
不详
Gaojishu Tongxin, 2009, 6 (572-579): : 572 - 579
[30] A model-driven approach to survivability requirement assessment for critical systems
Bernardi, Simona
Dranca, Lacramioara
Merseguer, Jose
PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART O-JOURNAL OF RISK AND RELIABILITY, 2016, 230 (05) : 485 - 501

← 1 2 3 4 5 →