SoCKET: A HW/SW Co-Design Flow: Presentation & feedbacks from aeronautic and space application domains

International audienceThe SoCKET project (SoC 1 toolKit for critical Embedded sysTems) 2 gathered industrial and academic partners to address the issue of design methodologies for critical embedded systems. They worked 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 details the industrial experimentations on this flow and associated tools in the aeronautic and space application domains