Bernard Dion, Esterel Technologies
Name: Bernard Dion
Title: The SCADE Qualification Kit
Abstract:
SCADE is a toolsuite that is used for the model-based development of mission and safety-critical applications software in various industrial domains such as aeronautics, railways, automotive, and nuclear energy. The SCADE automatic code generator has been qualified/certified for the corresponding safety standards (DO-178B/C, EN 50128:20011, ISO 26262, and IEC 60880) at the highest levels of safety. In addition, model-level verification tools such as model-coverage analysis have been qualified for the same standards.
This presentation briefly presents the development and verification flow that is followed by Esterel Technologies and the tools qualification/certification kits that are delivered to its customers so that interaction can happen during the audits between the application developer and the relevant certification authority. The roles of all stakeholders regarding tools (tool provider, tool user, and certification authority) will be highlighted and examples will provided.
Finally the benefits of the overall approach will be presented in terms of certification credits, reduction of time-to-certification, and reduction of time-to-market.
Click here to see the slides
Back to the agenda