A Compositional Safety Specification Using a Contract-Based Design Methodology
A Compositional Safety Specification Using a Contract-Based Design Methodology
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 MBAT Combined Model-based Analysis and Testing of Embedded Systems SAFE Safe Automotive soFtware architEcture