A Compositional Safety Specification Using a Contract-Based Design Methodology

BIB
Oertel, Markus and Battram, Peter and Kacimi, Omar and Gerwinn, Sebastian and Rettberg, Achim
International Conference on Performance, Safety and Robustness in Complex Systems and Applications
2015
inproceedings
1-7
SPES_XT
Software Platform Embedded Systems 2020_XT (sorry - only available in German)
MBAT
Combined Model-based Analysis and Testing of Embedded Systems
SAFE
Safe Automotive soFtware architEcture