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.

Provided by: Cornell University Topic: Software Date Added: Feb 2012 Format: PDF

Download Now

Find By Topic