•The High-Integrity Profile is designed to support development of DO-178B certified (and similar) safety-critical systems
•
•
•
•Safe subset of the Real-Time Core Specification
•Isolated run-time does not allow mixing of firm real-time and safety-critical components
•Leverages same development tools as real-time core: compilers, debuggers, profilers, code coverage analyzers, etc.