Team aoste

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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.


previous
next

Logo Inria