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 条

[31] Risk Analysis, Safety Assurance Requirements, and Safety Evaluation Test for Robotic Agricultural Machinery
Konya, Hideyuki
Kikuchi, Yutaka
JARQ-JAPAN AGRICULTURAL RESEARCH QUARTERLY, 2024, 58 (03): : 141 - 150
[32] Security Assurance Requirements Engineering (STARE) for Trustworthy Service Level Agreements
Nugraha, Yudhistira
2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2015, : 398 - 399
[33] Assurance Case Driven Case Study Design for Requirements Engineering Research
Gandhi, Robin A.
Lee, Seok-Won
REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2009, 5512 : 190 - +
[34] How assurance case development and requirements engineering interplay: a study with practitioners
Camilo Almendra
Carla Silva
Luiz Eduardo G. Martins
Johnny Marques
Requirements Engineering, 2022, 27 : 273 - 292
[35] How assurance case development and requirements engineering interplay: a study with practitioners
Almendra, Camilo
Silva, Carla
Martins, Luiz Eduardo G.
Marques, Johnny
REQUIREMENTS ENGINEERING, 2022, 27 (02) : 273 - 292
[36] An Architecture Centric Approach to Safety and Security Assurance
Cohen, Sholom
Hudak, John J.
McGregor, John
2021 IEEE/AIAA 40TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2021,
[37] An approach to engineering the requirements of data warehouses
Prakash, Naveen
Gosain, Anjana
REQUIREMENTS ENGINEERING, 2008, 13 (01) : 49 - 72
[38] A technique combination approach to requirements engineering
Sutcliffe, A
RE '97 - PROCEEDINGS OF THE THIRD IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, 1997, : 65 - 74
[39] A rules base approach to requirements engineering
Sandy, GA
ASSOCIATION FOR INFORMATION SYSTEMS PROCEEDINGS OF THE AMERICAS CONFERENCE ON INFORMATION SYSTEMS, 1998, : 920 - 922
[40] THE ENTITY RELATIONSHIP APPROACH IN THE REQUIREMENTS ENGINEERING
OSTERLE, H
ANGEWANDTE INFORMATIK, 1982, (08): : 413 - 420

← 1 2 3 4 5 →