Safety Critical Development Tools
Designed for Safety
GL Studio is recognized as an industry standard for rapid prototyping of safety critical Human Machine Interfaces (HMI). Users who are developing safety critical systems should use GL Studio’s Safety Critical Embedded Code Generator, which has been developed to meet the RTCA DO-178B and JAA’s ED-12B Level A certification standard; the highest level of safety certification applying to any aviation software system where failure could cause catastrophic loss of an aircraft.
The GL Studio Safety Critical Embedded C++ Code Generator is designed to generate code in a consistent and reliable way, eliminating the need for manual coding. The generated code is highly optimized and ready for use on embedded systems. The same generated code can also be used as desktop executables for design reviews and prototyping purposes. This allows design testing without the need for expensive hardware or software.
The GL Studio Safety Critical development tools are suitable for use in any application where safety is critical, including FDA certified medical devices, man-rated space systems, avionics displays, industrial control systems, and automotive applications. The GL Studio Safety Critical development system includes the GL Studio Safety Critical Embedded C++ Code Generator, the GL Studio Safety Critical Runtime Library, and the GL Studio DO-178B Certification Kit.
Figure 1. Flow chart for safety critical development processes.
Safety Critical Embedded C++ Code Generator
The GL Studio Embedded C++ Code Generator generates Embedded C++ that conforms to the WP-AM-003 standard. This standard is published by the Association for Computing Machinery (ACM) Special Interest Group on Programming Languages (SIGPLAN) and specifies the subset of the C++ language for use in embedded and safety critical systems.
GL Studio Safety Critical Runtime Library
The GL Studio Safety Critical Runtime Library is an EC++ library that has been designed from the ground up to meet DO-178B Level A certification. The GL Studio Safety Critical Runtime Library is exceptionally compact, efficient, portable, and requires only an OpenGL library on the target system. No other third party operating system specific libraries are required, making this library exceptionally portable. The library has been fully tested to DO-178B Level A standards, including 100% testing of the library to the Modified Condition Decision Coverage (MC/DC) standard.
GL Studio DO-178B Certification Kit
GL Studio DO-178B Certification Kit (“Cert Kit”) includes the source code to the GL Studio Safety Critical Runtime Library and full software life cycle documentation for the library. Documentation provided with the Cert Kit includes:
- Plan for Software Aspects of Certification (PSAC)
- Requirements Traceability Matrices
- Telelogic DOORS Database
- Software Requirement Document
- Software Accomplishment Summary (SAS)
- Software Design Document
- Structural Code Coverage Analysis
- Test Procedures/Reports
- Quality Assurance Records
