Title :
A design flow for critical embedded systems
Author :
Lefftz, Vincent ; Bertrand, Jean ; Casse, Hugues ; Clienti, Christophe ; Coussy, Philippe ; Maillet-contoz, Laurent ; Mercier, Philippe ; Moreau, Pierre ; Pierre, Laurence ; Vaumorin, Emmanuel
Author_Institution :
Astrium, Toulouse, France
Abstract :
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.
Keywords :
embedded systems; integrated circuit design; logic design; software engineering; system-on-chip; SoCKET project; design flow; embedded system; integrated circuit; Embedded system; Hardware; Sockets; System-on-a-chip; Time domain analysis; Unified modeling language;
Conference_Titel :
Industrial Embedded Systems (SIES), 2010 International Symposium on
Conference_Location :
Trento
Print_ISBN :
978-1-4244-5839-4
Electronic_ISBN :
978-1-4244-5840-0
DOI :
10.1109/SIES.2010.5551393
