A design flow for critical embedded systems

The SoCKET project (SoC
¹
toolKit for critical Embedded sysTems)
²
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.