Abstract:
Most critical applications today depend on computers, so a computer failure can cause financial disaster, serious injury, or even death. In this context, railways are considered a critical application, so they must meet the highest standards of availability and safety. Availability ensures continuous operation of the system, while a safe system must behave correctly in all operating and environmental conditions.