Developing Safety-Critical Software

20 Real-Time Operating Systems

Acronym

AC	Advisory Circular
AFDX	ARINC 664 avionics full-duplexed switched ethernet
APEX	APplication EXecutive
API	application program interface
BSP	board support package
CAN	controller area network
CEO	chief executive officer
COTS	commercial off-the-shelf
CPU	central processing unit
EAL	evaluation assurance levels
EPROM	erasable programmable read-only memory
FAA	Federal Aviation Administration
IEEE	Institute of Electrical and Electronic Engineers
IMA	integrated modular avionics
I/O	input/output
ISR	interrupt service routine
MMU	memory management unit
MOS	module operating system
POS	partition operating system
POSIX	portable operating system interface
RAM	random access memory
RSC	reusable ...