hanks to the combination of TTPTools and SCADE, we have achieved an advanced project”, says David Poiret, design engineer at Messier-Bugatti. “The result is a partitioned, safe and fault-tolerant architecture that enables an optimized certification of software application and middleware”.
The SCADE TTA-Extension, delivered by Esterel Technologies, enables the modeling of a fault-tolerant, communication-based, distributed system. The architecture, the functional behavior and the data exchange requirements are specified at SCADE model level to generate the whole embedded distributed software.
TTPSCADElink, provided by TTTech, enables the use of TTPTools for the automatic scheduling of communication and tasks. High-level communication requirements, time budget and task schedule are automatically computed to generate the dedicated, time-triggered middleware.
The TTPTools and SCADE Suite create a comprehensive development environment that enables cost-effective engineering, formal verification and safe mapping on to the distributed hardware of complex integrated aircraft systems; importantly systems that are certified to DO-178B up to level A. The complete qualification package compromises the SCADE KCG qualification kit and the TTTech qualification data for software components and communication controller.
Time-Triggered Protocol (TTP) is an aerospace control system platform technology that has been selected for electric systems in Boeing 787, environmental control systems in Airbus A380, and Honeywell’s Modular Aerospace Control (MAC) platform.
“The TTP technology allows software designers to overcome the exponential complexity growth of aircraft embedded systems,” says Eric Bantégnie, president and CEO of Esterel Technologies. The SCADE and TTPTools integration reduces the burden of certification, including late changes to the embedded code, wherever it is dispatched”.
SCADE Suite and SCADE Display aligned in the SCADE Certified Software Factory form the only integrated and industrialized tool suite to span algorithm, logic and displays design and to merge formal verification and certified code generation.
SCADE is a unique model-based development environment that satisfies the safety objectives of the DO-178B standard, states Dr. Stefan Poledna, CEO of TTTech. “The combination of TTTech’s tools and Esterel Technologies’ SCADE enables significant improvements in the development, formal verification and integration of distributed embedded software applications for modern aerospace.”