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

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › Peer review

4 Citeringar (Scopus)

Sammanfattning

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.

Originalspråk	Odefinierat/okänt
Titel på värdpublikation	Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings
Redaktörer	Li Xuandong, Zhiming Liu, Yi Wang
Förlag	Springer
Sidor	201–216
ISBN (elektroniskt)	978-3-319-25942-0
ISBN (tryckt)	978-3-319-25941-3
DOI	https://doi.org/10.1007/978-3-319-25942-0_13
Status	Publicerad - 2015
MoE-publikationstyp	A4 Artikel i en konferenspublikation
Evenemang	Dependable Software Engineering: Theories, Tools, and Applications (SETTA) - Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015) Varaktighet: 4 nov. 2015 → 6 nov. 2015

Konferens

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

Åtkomst av dokument

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

Citera det här

Laibinis, L., Troubitsyna, E., Prokhorova, Y., Iliasov, A., & Romanovsky, A. (2015). From Requirements Engineering to Safety Assurance: Refinement Approach. I L. Xuandong, Z. Liu, & Y. Wang (Red.), Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings (s. 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. redaktör / Li Xuandong ; Zhiming Liu ; Yi Wang. Springer, 2015. s. 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. i L Xuandong, Z Liu & Y Wang (red), Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Springer, s. 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. red. / Li Xuandong; Zhiming Liu; Yi Wang. Springer, 2015. s. 201–216.

Forskningsoutput: Kapitel i bok/konferenshandling › Konferensbidrag › Vetenskaplig › 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. I Xuandong L, Liu Z, Wang Y, redaktörer, Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Springer. 2015. s. 201–216 doi: 10.1007/978-3-319-25942-0_13