Experts in embedded RTOS, with a specialisation in safety certified software
WITTENSTEIN high integrity systems (WHIS) has the benefit of years of experience working in the aerospace sector to draw on when providing RTOS solutions for safety critical applications. SAFERTOS provides developers with a responsive, robust, and deterministic embedded RTOS, containing features supporting the development of safety critical devices, coupled with an Aerospace Design Assurance Pack that provides an easy route to achieving certification of SAFERTOS once integrated within an aerospace product.
The WITTENSTEIN Group developed the electromechanical and sensing elements of the T‑50 Golden Eagle's active sidestick - a family of supersonic advanced trainer and multirole fighters. WITTENSTEIN high integrity systems (WHIS) provided the systems and software engineering team for this development. Today, WHIS focuses on developing embedded Real Time Operating Systems and Software Components for use in safety critical applications.
MC/DC is used in avionics software development to ensure adequate testing of the most critical DAL A software, which is defined as that software which could provide, or prevent failure of, continued safe flight and landing of an aircraft.
Each SAFERTOS version achieves 100% MC/DC coverage when tested against the SAFERTOS requirements set. This not only ensures that the compiler’s output is correct, it also ensures all requirements have been fully tested and that there is no unused or undocumented code within SAFERTOS.
The SAFERTOS Aerospace Design Assurance Pack supports full tracing; from the user requirements, into the software requirements and design, across the comprehensive verification documentation and into the verification test logs. This tracing information can either be supplied as a DOORS® database, or exported into a spreadsheet. 100% traceability across the full design life cycle clearly demonstrates the completeness of each SAFERTOS port.
SAFERTOS supports Bidirectional tracing between the aerospace Design Assurance Pack and the SAFERTOS source code to comply with the rigorous requirements of DO178 B/C DAL A. This is achieved by annotating the SAFERTOS source code with tracing information at a function level.
WHIS will supply clear and concise information for the inclusion of SAFERTOS into an aerospace project. This information can be included within the RTOS section of your PSAC.
WHIS uses a high integrity lifecycle to develop, maintain and support SAFERTOS and its Design Assurance Packs that’s supported by a deeply institutionalised Quality Management System (QMS). Work started on the QMS in 1999, when WHIS was developing flight control systems. Over the subsequent years WHIS has developed its QMS to encompass the range of applications and standards it supports today, as demand for its services and products from its customers have broadened and deepened.
Lloyds Register LRQA UK independently certifies the WHIS QMS to ISO 9001, with the applicable scope:
Lloyds Register LRQA UK