Section: Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

RTOS Contract

• Title: Static Analysis of a Fragment of an Operating-System with AstréeA

• Type: Service contract

• Duration: June 2014 - December 2014

• Partners: École Normale Supérieure (France), CNRS (France), Airbus France (France)

• Inria contact: Antoine Miné

• Abstract: The aim of the contract is to study the formal verification of the safety of a fragment of a small real-time multi-task operating system. The verification will be performed using the AstréeA analyzer, by adapting and extending the model of parallel executions developed at École Normale Supérieure.