Formal assessment techniques for embedded safety critical system

 

This presentation gives first an introduction to formal verification techniques for safety critical embedded systems. Some concrete example taken from the aeronautic field will be reported. Then, after analysing some traditional development and assesment process, one will discuss their possible extension thanks to a wider use of formal techniques.