Browse Publications Technical Papers 2005-01-0784
2005-04-11

Software Certification for a Time-Triggered Operating System 2005-01-0784

This paper presents the software certification activities carried out on TTP-OS to make this hard real-time, fault-tolerant operating system available for safety-critical applications in the automotive and aerospace industries requiring certification. The steps and measures, while specifically tailored to make an RTOS certifiable, were defined in accordance with the RTCA/DO-178B [1] guideline.
The major single goal of these activities is to achieve traceability of requirements. Requirements are traced from the Software Requirements Document all the way down through the software lifecycle to the test-cases ensure consistency and accuracy of a mature software development approach. The steps and milestones along the lifecycle are described, offering an insight into the software certification efforts required.

SAE MOBILUS

Subscribers can view annotate, and download all of SAE's content. Learn More »

Access SAE MOBILUS »

Members save up to 18% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:
TECHNICAL PAPER

Formal Verification for Model-Based Development

2005-01-0781

View Details

TECHNICAL PAPER

An Adaptable Software Safety Process for Automotive Safety-Critical Systems

2004-01-1666

View Details

STANDARD

JAUS Core Service Set

AS5710A

View Details

X