Browsing by Author "Yilmazer, Y."
Now showing items 1-1 of 1
-
Design for ARINC 653 conformance: architecting independent validation of a safety-critical RTOS
Alptekin, A.; Yilmazer, Y.; Usug, U.; Koca, F.; İnçki, Koray (IEEE, 2014)The ARINC 653 specification not only provides a standard application programming interface for an RTOS, but also specifies how to validate an ARINC 653 based RTOS. ARINC 653 Part 3 Conformity Test Specification specifies ...
Share this page