A Design Flow for Critical Embedded Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

A Design Flow for Critical Embedded Systems

Résumé

The 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.
Fichier non déposé

Dates et versions

hal-00517392 , version 1 (14-09-2010)

Identifiants

Citer

Vincent Lefftz, Jean Bertrand, Hugues Cassé, Christophe Clienti, Philippe Coussy, et al.. A Design Flow for Critical Embedded Systems. 5th IEEE Symposium on Industrial Embedded Systems (SIES 2010), Jul 2010, Trento, Italy. pp.229 - 233, ⟨10.1109/SIES.2010.5551393⟩. ⟨hal-00517392⟩
474 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More