FORMAL METHODS IN DEVELOPMENT OF SAFETY CRITICAL SYSTEM SOFTWARE

Abstract

This article focuses on using formal methods in development of safety critical system software in transport. Such system has an increasing complexity and has to meetcertain quality requirements. Formal methods are set in the software development process. The use of formal method Event-B is demonstrated on a railway level crossing protection equipment specification.