From Requirements Engineering to Safety Assurance: Refinement Approach

被引：4

作者：

Laibinis, Linas ^{[1
]}

Troubitsyna, Elena ^{[1
]}

Prokhorova, Yuliya ^{[2
]}

Iliasov, Alexei ^{[3
]}

Romanovsky, Alexander ^{[3
]}

机构：

[1] Abo Akad Univ, Turku, Finland

[2] Space Syst Finland, Espoo, Finland

[3] Newcastle Univ, Newcastle Upon Tyne NE1 7RU, Tyne & Wear, England

来源：

DEPENDABLE SOFTWARE ENGINEERING: THEORIES, TOOLS, AND APPLICATIONS, SETTA 2015 | 2015年 / 9409卷

基金：

英国工程与自然科学研究理事会;

关键词：

D O I：

10.1007/978-3-319-25942-0_13

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Formal modelling and verification are widely used in the development of safety-critical systems. They aim at providing a mathematically-grounded argument about system safety. In particular, this argument can facilitate construction of a safety case - a structured safety assurance document required for certification of safety-critical systems. However, currently there is no adequate support for using the artefacts created during formal modelling in safety case development. In this paper, we present an approach and the corresponding tool support that tackles this problem in the Event-B modelling framework. Our approach establishes a link between safety requirements, Event-B models and corresponding fragments of a safety case. The supporting automated tool ensures traceability between requirements, models and safety cases.

引用

页码：201 / 216

页数：16

共 50 条

[1] An approach to security requirements engineering for a high assurance system
Irvine C.E.
Levin T.
Wilson J.D.
Shifflett D.
Pereira B.
Requirements Engineering, 2002, 7 (4) : 192 - 206
[2] WM it be safe? - An approach to engineering safety requirements
Simpson, A
Stoker, J
COMPONENTS OF SYSTEM SAFETY, 2002, : 140 - 164
[3] Collaborative Safety Requirements Engineering: An Approach for Modelling and Assessment of Nuclear Safety Requirements in MBSE Context
Roumili, Emir
Bossu, Jean-Francois
Chapurlat, Vincent
Daclin, Nicolas
Plana, Robert
Tixier, Jerome
SMART AND SUSTAINABLE COLLABORATIVE NETWORKS 4.0 (PRO-VE 2021), 2021, 629 : 227 - 236
[4] QUALITY ASSURANCE REQUIREMENTS AND REACTOR SAFETY
DOUGLASS, RM
TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1979, 33 (NOV): : 498 - 498
[5] Requirements Engineering for Safety Critical Systems: An Approach for Avionic Systems
Grant, Emanuel S.
2016 2ND IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATIONS (ICCC), 2016, : 991 - 995
[6] A Goal based Requirements Refinement Approach
Tian Jingbai
He Keqing
Wang Chong
Liu Wei
2008 INTERNATIONAL WORKSHOP ON INFORMATION TECHNOLOGY AND SECURITY, 2008, : 256 - 260
[7] An Approach of Requirements Tracing in Formal Refinement
Jastram, Michael
Hallerstede, Stefan
Leuschel, Michael
Russo, Aryldo C., Jr.
VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2010, 6217 : 97 - +
[8] An approach to refinement checking of SysML requirements
Makartetskiy, Denis
Sisto, Riccardo
2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
[9] SAFETY REQUIREMENTS FOR OFFSHORE ENGINEERING
ABRAHAMSEN, E
MARINE SCIENCE COMMUNICATIONS, 1978, 4 (02): : 71 - 88
[10] The safety requirements engineering dilemma
Berry, DM
NINTH INTERNATIONAL WORKSHOP ON SOFTWARE SPECIFICATION AND DESIGN, PROCEEDINGS, 1998, : 147 - 149

← 1 2 3 4 5 →