• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

From Requirements Engineering to Safety Assurance: Refinement Approach

Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky, From Requirements Engineering to Safety Assurance: Refinement Approach. In: Li Xuandong, Liu Zhiming, Yi Wang (Eds.), Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing, Lecture Notes in Computer Science 9409, 201–216, Springer, 2015.

http://dx.doi.org/10.1007/978-3-319-25942-0_13

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 sys- tems. However, currently there is no adequate support for using the arte- facts 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 cor- responding fragments of a safety case. The supporting automated tool ensures traceability between requirements, models and safety cases.

BibTeX entry:

@INPROCEEDINGS{inpLaTrPrIlRo15a,
  title = {From Requirements Engineering to Safety Assurance: Refinement Approach},
  booktitle = {Dependable Software Engineering: Theories, Tools, and Applications, First International Symposium, SETTA 2015, Nanjing},
  author = {Laibinis, Linas and Troubitsyna, Elena and Prokhorova, Yuliya and Iliasov, Alexei and Romanovsky, Alexander},
  volume = {9409},
  series = {Lecture Notes in Computer Science},
  editor = {Xuandong, Li and Zhiming, Liu and Wang, Yi},
  publisher = {Springer},
  pages = {201–216},
  year = {2015},
  keywords = {requirements, safety cases, formal modelling, formal verification},
}

Belongs to TUCS Research Unit(s): Embedded Systems Laboratory (ESLAB)

Edit publication