We wrote a certified operating system. That is the reference.
Any supplier can list integrity levels. Fewer can point at a SIL 4 certified real-time environment they developed, certified and maintain themselves.

NEAT / TECHNICAL ENGINEERING
SCOPE
What we write.
- Embedded and real-time software
- Safety-related application software
- Drivers and board support packages
- Protocol implementations
- Engineering tools and test infrastructure
PROCESS
How it is controlled.
- Lifecycle model and requirements management
- Traceability to requirements
- Coding standards and static analysis
- Unit and integration testing
- Configuration management
- The deliverable set, evidence included
