![Real time operating system](https://kumkoniak.com/113.png)
LynxOS-178 satisfies the 100 percent MCDC structural coverage requirement out-of-the-box, allowing systems developers to concentrate on their applications rather than trying to get those last lines of system code exercised for system certification.
![real time operating system real time operating system](https://image.slidesharecdn.com/realtimeoperatingsystem-161213113926/95/real-time-operating-system-4-638.jpg)
For DO-178C level A, the code is required to be verified with Modified Condition/Decision Coverage (MCDC), which means that every point of entry and exit in a program must have been invoked at least once in testing, every decision in the program must have taken all possible outcomes at least once, and each condition in a decision must have been shown to independently affect that decision's outcome.
![real time operating system real time operating system](https://image.slidesharecdn.com/rtos-141107200820-conversion-gate01/95/real-time-operating-systems-33-638.jpg)
One of the more costly efforts of DO-178C DAL A certification is the requirements-based testing, also known as the Structural Coverage requirement. The documentation set includes a detailed partitioning and interface analysis that focuses on time, space and resource partitioning as well as timing margin analysis so developers can allocate budgets to use operating system services.įULL REQUIREMENTS-BASED TESTING (STRUCTURAL COVERAGE) ON 100% OF CODE LynxOS-178 RSC is more than just a set of DO-178C artifacts.
![real time operating system real time operating system](https://static.javatpoint.com/operating-system/images/time-sharing-vs-real-time-operating-system.png)
LynxOS-178 certified software provides full DO-178C traceability through requirements, design, code, test, and test results. LynxOS-178 is a FAA-recognized Reusable Software Component (RSC) and provides previously certified software and artifacts so that developers can speed their safety-critical systems to market. LynxOS-178 has been deployed in certified commercial and military avionics systems that have flown hundreds of millions hours. The certification process is so time- and labor-intensive that Testing of complex code could quickly add up to millions of dollars. LynxOS-178 provides previously certified software and artifacts in order to fully satisfy, right out of the box, the DO-178C DAL A requirement that every line of software in the system be verified with Modified Condition/Decision Coverage.
![real time operating system real time operating system](https://i2.wp.com/microcontrollerslab.com/wp-content/uploads/2017/05/REAL-TIME-OPERATING-SYSTEMS.jpg)
RTOS FOR DO-178C CERTIFICATION OF SECURE MULTITHREAD, MULTIPROCESS APPLICATIONS
![Real time operating system](https://kumkoniak.com/113.png)