Certification of Safety-Critical Software Controlled Systems, York, UK

<p><font face=&#8243;Arial&#8243; size=&#8243;2&#8243;> </font></p> <p align=&#8243;justify&#8243;> </p>In many domains like transportation, power generation, medical technology, manufacturing and space exploration, statutory obligations traditionally require a formalized certification for the development of high assurance products&#046; Formal methods are part of the standard recommendations, in particular for the higher safety integrity levels&#046; However, experience shows that certifiable development of high&#8211;assurance software needs a lot more than pure application of formal techniques and tools that are founded on a formal semantics and support in parts automated code generation, formal analysis, verification or error detection&#046; The major question to be addressed in the workshop is how to embed formal methods and tools in a seamless design process which covers several development phases and which includes an efficient construction of a safety case for the product&#046;