Team aoste

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Contracts and Grants with Industry

ST MIcroelectronics

Participants : Julien Boucaron, Robert de Simone.

This collaboration takes place with the team of Marc Benveniste, from ST Smart Card division located at the Rousset site. The goal is to study abstraction/refinement techniques for SoC specification, in a way inspired from the B Method, but using synchronous languages concepts instead. Julien Boucaron PhD thesis is largely funded on this contract. Clearsy is another partner in the project,and they are using the B method for similar aims. We are currently investigating a common case study around interrupt handling in embedded processors, with USB protocol support.


Logo Inria