Esterel Technologies>DO-178B

Esterel SCADE Suite™ and SCADE Display™ for DO-178B Control Application and Embedded Display Development

Developing mission and safety-critical application software under DO-178B requires a formal, well-documented, and traceable process. Given the stringent requirements put on the development team, software development projects under DO-178B are typically much longer in duration and as a result, more costly. To remain competitive in this rigorous environment, software teams must continually improve their productivity while maintaining the highest levels of quality in their deployed applications. To achieve these productivity gains while maintaining or improving quality, software development managers look to formal automation methods for modeling, verification, and implementation.

SCADE Suite for DO-178B Embedded Control Application Development

The SCADE Suite code generator, KCG™ has been qualified by the FAA, Transport Canada, and EASA for the development of mission and safety-critical applications up to and including DO-178B Level A. As a formal model-based development environment, SCADE Suite offers domain specific modeling, verification through simulation and formal methods, and certified code generation to critical software application developers. SCADE Suite has been formally defined with key safety objectives in mind and in close connection with airframe manufacturers and certification authorities. More than 25 aircraft and engine projects using SCADE Suite have been certified to level A. No other modeling tool on the market offers such a reference base of certified deployed applications.

SCADE Display for DO-178B Avionics and Embedded Display Development

The SCADE Display code generator, KCG™ has been qualified by EASA to DO-178B Level A. SCADE Display, with inherent support for OpenGL® SC, the safety-critical profile of OpenGL, uniquely gives critical display application developers the ability to generate qualifiable applications faster, while at the same time improving the portability and maintainability of the systems that are delivered. SCADE Display, developed in conjunction with leading airframe and cockpit display manufacturers offers intuitive graphical design entry and qualified code generation shortening the time-to-certification for critical avionics and embedded display applications.

Uniquely Integrated - SCADE Suite and SCADE Display

Only Esterel offers a tightly coupled development environment for mission and safety-critical control applications and embedded graphics display applications under DO-178B. With this integration both the behavioral logic and display application can be seamlessly developed and verified. This integrated development environment includes intuitive graphical design entry and modeling, links to requirements traceability and configuration management tools, automatic design documentation, and DO-178B Qualification Kits to expedite the time-to-certification.

If your team struggles with:

• Lack of specification quality and accuracy
• Software implementation, testing, and verification costs

Additional Information:

Brochures:

• SCADE Suite
• SCADE Display

Whitepaper:

• Methodology and Benefits of Timing Verification for Safety-Critical Embedded Software
• How to meet EUROCAE ED-12B / RTCA DO-178B international Software safety regulation for airborne systems while reducing development cost

Methodology Handbooks:

• DO-178B for Avionics Handbook
• DO-178B for Embedded Displays Handbook
• EN 50128 Handbook
• IEC 61508 Handbook

Live Webinars

On-Demand Webinars:

• Model-based Development for Mission and Safety-Critical Applications
• Developing Mission and Safety-Critical Applications under DO-178B with Esterel SCADE Suite™ - An Introduction
• Develop Certifiable Safety-Critical Embedded Graphics Display Applications Faster with Esterel SCADE Display™ - An Introduction

About Esterel Technologies

Founded in 1999, Esterel Technologies is the leading provider of Mission and Safety-Critical software development tools and related services. The solutions provided by Esterel Technologies are used by embedded software engineers to graphically design, simulate, develop, verify, and automatically generate mission and safety-critical applications. These environments have no tolerance for defects and the Esterel products SCADE Suite™ and SCADE Display™ are certified for critical application development. SCADE Automatic Code Generators have been certified/qualified according to the following standards by FAA/EASA and TUV SUD:

• DO-178B up to Level A for Aerospace and Defense Applications
• IEC 61508 up to SIL 3 for Transportation and Industry Applications
• EN 50128 up to SIL 3/4 for Rail Transportation Applications

With direct presence in USA, Canada, UK, Germany, France and China, and distributors in Italy, India, Israel, Korea, Russia, Japan, Spain and Turkey, Esterel continues to drive advances in mission and safety-critical application development.

Visit us at: http://www.esterel-technologies.com