Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > Linking Modelling in Event-B w...

Linking Modelling in Event-B with Safety Cases

Yuliya Prokhorova, Elena Troubitsyna, Linking Modelling in Event-B with Safety Cases. In: Paris Avgeriou (Ed.), Proceedings of the 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012), Lecture Notes in Computer Science 7527, 47–62, Springer-Verlag Berlin Heidelberg, 2012.

Abstract:

Safety cases are adopted in the certification process of many safety-critical systems. They justify why a system is safe and whether the design adequately incorporates safety requirements defined in a system requirement specification. The use of formal methods facilitates modelling and verification of safety-critical systems. In our work, we aim at establishing a link between formal modelling in Event-B and constructing a safety case. We propose an approach to incorporating safety requirements in a formal specification in such a way that it allows the developers to derive a safety case sufficient to demonstrate safety. We present a small case study illustrating the proposed approach.

BibTeX entry:

@INPROCEEDINGS{inpPrTr12a,
  title = {Linking Modelling in Event-B with Safety Cases},
  booktitle = {Proceedings of the 4th International Workshop on Software Engineering for Resilient Systems (SERENE 2012)},
  author = {Prokhorova, Yuliya and Troubitsyna, Elena},
  volume = {7527},
  series = {Lecture Notes in Computer Science},
  editor = {Avgeriou, Paris},
  publisher = {Springer-Verlag Berlin Heidelberg},
  pages = {47–62},
  year = {2012},
  keywords = {Event-B, formal specification, safety case, safety requirements, safety-critical systems},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication