A Design Flow for Critical Embedded Systems
- Lefftz, Vincent
- Bertrand, Jean
- Cassé, Hugues
- Clienti, Christophe
- Coussy, Philippe
- Maillet-Contoz, Laurent
- Mercier, Philippe
- Moreau, Pierre
- Pierre, Laurence
- Vaumorin, Emmanuel
Publication date
July 2010
DOI Publisher
Institute of Electrical and Electronics Engineers (IEEE)Abstract
International audienceThe SoCKET project (SoC1 toolKit for critical Embedded sysTems)2 gathers industrial and academic partners to address the issue of design methodologies for critical embedded systems. They work towards the definition of a “seamless” design flow which integrates qualification and certification, from the system level to integrated circuits and to software. This paper sketches such a design flow and the associated methodologies, and briefly describes its application to industrial case studies
Add to ORKG