Model-Based Testing of Safety Critical Real-Time Control Logic Software

Yevgeny Gerlits, Alexey Khoroshilov

The paper presents the experience of the authors in model based testing of safety critical real-time control logic software. It describes specifics of the corresponding industrial…