Thierry Le Sergent, Esterel Technologies
Avionics systems are complex systems that integrate hardware, communication media, have many interactions with other subsystems within or outside of the aircraft, and, for the system discussed in this presentation, integrate software that must be developed according to DO-178B guidelines. System engineering and software engineering are two engineering disciplines that are historically handled by teams with different cultures, and when their engineering processes are supported by tools, use different, incompatible, tools. This very often leads to difficult collaboration, with at some point redundant information, and inconsistencies.
SCADE Suite Timing and Stack Verifiers enable developers to detect timing and stack problems and repair them early when they are less costly to fix and the most efficient modeling variant can be chosen.