Abstract :
Safety-critical software is playing an ever growing role in everyday´s life. Whether it is in civil or military airplanes, space systems, over-ground or underground railway systems, nuclear power plants, or air traffic management systems, safety-critical software helps us and protects us. The events at the beginning of the century and the growing level of interconnectedness among these systems are also adding security requirements onto these safety- critical software systems.