Section: Other Grants and Activities
ARC INRIA - Triade
Partners: Aoste, DaRT, Espresso.
The goal of this project is to use formal models with structuring programmatic constructs as means to translate programs and descriptions written in formalisms widely used in Embedded System and SoC design (http://www.irisa.fr/espresso/Triade ). Triade also aims to provide a seamless flow of increasingly time-defined and time-accurate models, so as to progressively obtain the final mapped implementation through provably correct steps from the early description elements.