From Requirements Engineering to Safety Assurance: Refinement Approach

Linas Laibinis; Elena Troubitsyna; Yuliya Prokhorova; Alexei Iliasov; Alexander Romanovsky

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

From Requirements Engineering to Safety Assurance: Refinement Approach

Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

4 Citations (Scopus)

Abstract

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.

Original language	Undefined/Unknown
Title of host publication	Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Editors	Li Xuandong, Zhiming Liu, Yi Wang
Publisher	Springer
Pages	201–216
ISBN (Electronic)	978-3-319-25942-0
ISBN (Print)	978-3-319-25941-3
DOIs	https://doi.org/10.1007/978-3-319-25942-0_13
Publication status	Published - 2015
MoE publication type	A4 Article in a conference publication
Event	Dependable Software Engineering: Theories, Tools, and Applications (SETTA) - Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015) Duration: 4 Nov 2015 → 6 Nov 2015

Conference

Conference	Dependable Software Engineering: Theories, Tools, and Applications (SETTA)
Period	04/11/15 → 06/11/15

Access to Document

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

Cite this

Laibinis, L., Troubitsyna, E., Prokhorova, Y., Iliasov, A., & Romanovsky, A. (2015). From Requirements Engineering to Safety Assurance: Refinement Approach. In L. Xuandong, Z. Liu, & Y. Wang (Eds.), Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (pp. 201–216). Springer. https://doi.org/10.1007/978-3-319-25942-0_13

Laibinis, Linas ; Troubitsyna, Elena ; Prokhorova, Yuliya et al. / From Requirements Engineering to Safety Assurance: Refinement Approach. Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. editor / Li Xuandong ; Zhiming Liu ; Yi Wang. Springer, 2015. pp. 201–216

@inproceedings{8dc951cd01e248269e638dad33e88f93,

title = "From Requirements Engineering to Safety Assurance: Refinement Approach",

abstract = "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.",

author = "Linas Laibinis and Elena Troubitsyna and Yuliya Prokhorova and Alexei Iliasov and Alexander Romanovsky",

year = "2015",

doi = "10.1007/978-3-319-25942-0_13",

language = "Odefinierat/ok{\"a}nt",

isbn = "978-3-319-25941-3",

pages = "201–216",

editor = "Li Xuandong and Zhiming Liu and Yi Wang",

booktitle = "Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings",

publisher = "Springer",

note = "Dependable Software Engineering: Theories, Tools, and Applications (SETTA) ; Conference date: 04-11-2015 Through 06-11-2015",

}

Laibinis, L, Troubitsyna, E, Prokhorova, Y, Iliasov, A & Romanovsky, A 2015, From Requirements Engineering to Safety Assurance: Refinement Approach. in L Xuandong, Z Liu & Y Wang (eds), Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Springer, pp. 201–216, Dependable Software Engineering: Theories, Tools, and Applications (SETTA), 04/11/15. https://doi.org/10.1007/978-3-319-25942-0_13

From Requirements Engineering to Safety Assurance: Refinement Approach. / Laibinis, Linas; Troubitsyna, Elena; Prokhorova, Yuliya et al.
Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. ed. / Li Xuandong; Zhiming Liu; Yi Wang. Springer, 2015. p. 201–216.

Research output: Chapter in Book/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - From Requirements Engineering to Safety Assurance: Refinement Approach

AU - Laibinis, Linas

AU - Troubitsyna, Elena

AU - Prokhorova, Yuliya

AU - Iliasov, Alexei

AU - Romanovsky, Alexander

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

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

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

M3 - Konferensbidrag

SN - 978-3-319-25941-3

SP - 201

EP - 216

BT - Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings

A2 - Xuandong, Li

A2 - Liu, Zhiming

A2 - Wang, Yi

PB - Springer

T2 - Dependable Software Engineering: Theories, Tools, and Applications (SETTA)

Y2 - 4 November 2015 through 6 November 2015

ER -

Laibinis L, Troubitsyna E, Prokhorova Y, Iliasov A, Romanovsky A. From Requirements Engineering to Safety Assurance: Refinement Approach. In Xuandong L, Liu Z, Wang Y, editors, Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Springer. 2015. p. 201–216 doi: 10.1007/978-3-319-25942-0_13