Over the last years, an increasing number of safety-critical tasks have been demanded to
computer systems. In this paper, a software-based approach for developing safety-critical
applications is analyzed.