This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Software Certification for a Time-Triggered Operating System
Technical Paper
2005-01-0784
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
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.
Recommended Content
Technical Paper | Formal Verification for Model-Based Development |
Aerospace Standard | JAUS Core Service Set |
Technical Paper | Defect Identification With Model-Based Test Automation |
Citation
Groessinger, P., "Software Certification for a Time-Triggered Operating System," SAE Technical Paper 2005-01-0784, 2005, https://doi.org/10.4271/2005-01-0784.Also In
Occupant Safety, Safety-Critical Systems, and Crashworthiness
Number: SP-1923; Published: 2005-04-11
Number: SP-1923; Published: 2005-04-11
SAE 2005 Transactions Journal of Passenger Cars: Electronic and Electrical Systems
Number: V114-7; Published: 2006-02-01
Number: V114-7; Published: 2006-02-01
References
- RTCA DO-178B - Software Considerations in Airborne Systems and Equipment Certification 1992
- Bender, Richard The Bender Ambiguity Review Process Bender RBT Inc. 2003
- Lamport, Leslie LaTeX: A Document Preparation System. Addison-Wesley Professional 2nd 1994
- OSEK group OSEK/VDX Time-Triggered Operating System 2001