Model-Based Testing of Safety Critical Real-Time Control Logic Software
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 settings and discusses technical details of usage of UniTESK model based testing technology in these settings. Finally, the authors discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it. Role of safety critical systems in their life is increasing at a rapid pace. The distinctive characteristic of such systems is that their failure can be very dangerous for people or environment.