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

TL;DR

This paper discusses the application of model-based testing, specifically UniTESK, in testing safety-critical real-time control software within industrial environments, highlighting technical details and future directions.

Contribution

It provides an in-depth case study of applying UniTESK model-based testing to safety-critical real-time control software in industrial settings.

Findings

Successful application of UniTESK in safety-critical testing

Insights into industrial testing practices for real-time control software

Discussion of future safety-critical software development processes

Abstract

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, we discuss possible future directions of safety critical software development processes and a place of model based testing techniques in it.