Esterel Technologies

Esterel SCADE Suite™ and SCADE Display™ for IEC 61508 Industrial Applications

The software development lifecycle for programmable electronic systems in today's complex world of heavy machinery, industrial automation, and industrial protection systems must address safety-critical application development for many types of software control applications under IEC 61508. From a business perspective, this could mean longer development cycles, increased development costs, and missed market windows. Clearly, businesses are under pressure to maintain productivity while addressing these new requirements, and without proven methodologies and techniques, often market windows are lost and projects are cancelled. To alleviate this pressure, software engineering managers are moving to formal model-based development to improve productivity without sacrificing the safety, reliability, and maintainability of today's industrial applications. Formal model-based development offers automation methods for modeling, verification, and implementation, ensuring productivity gains while adhering to the IEC 61508 standard.

SCADE Suite for Safety-Critical Embedded Control Application Development

SCADE Suite has been developed specifically for software developers of safety-critical control applications to enable them to shorten their time-to-certification. With built-in support for formal modeling, verification, requirements traceability, configuration management, certified code generation, and support for coding standards such as MISRA C, SCADE Suite has been proven to dramatically shorten the development cycle by supporting and automating the development workflow, from requirements through deployment, test, and maintenance. As a model-based development environment supporting platform independence, SCADE Suite offers domain specific modeling, verification through simulation and formal verification methods, and certified code generation to critical software application developers. SCADE Suite has been defined with key safety objectives in mind and in close connection with safety-critical application suppliers and OEMs. In fact, the SCADE Suite KCG™ Code Generator has been certified for 61508-3 by TÜV SÜD and it can be used up to SIL 4 for any industrial applications. SCADE Suite has been utilized in the development and deployment of a number of proven large scale industrial applications. No other modeling tool on the market offers such a reference base of certified deployed applications.

SCADE Display for Industrial Embedded Display Development

SCADE Display, as a embedded graphics display development tool, offers benefits similar to SCADE Suite for the embedded display application developer. With inherent support for OpenGL® SC, the safety-critical profile of OpenGL, SCADE Display uniquely provides critical display application developers the ability to generate certifiable 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 display manufacturers offers intuitive graphical design entry and qualified code generation shortening the time-to-certification for critical embedded display applications. Common applications such as application monitoring and control are quickly designed, implemented, and verified with SCADE Display.

Uniquely Integrated - SCADE Suite and SCADE Display

Only Esterel offers a tightly coupled development environment for safety-critical control applications and embedded graphics display applications under IEC 61508. 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 an IEC 61508 Certification Kit 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

Demo's:

• Download SCADE Display Demo
• WebRequest SCADE Suite Demo

View 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
• Developing Safety-Related Railway Applications under EN 50128 with Esterel SCADE Suite™ - An Introduction

Live Webinars

Methodology Handbooks:

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

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:

• IEC 61508 up to SIL 3 for Transportation and Industry Applications
• EN 50128 up to SIL 3/4 for Rail Transportation Applications
• DO-178B up to Level A for Aerospace and Defense 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