Runtime Monitoring On Hard Real-Time Operating Systems

This thesis will compare and evaluate different approaches in integrating runtime monitors into processes running on a hard real-time operating system. The host system is a single board computer (SBC) with a VxWorks 653 hard real-time operating system henceforth referred to as a flight control computer (FCC). The FCC is an integrated modular avionics (IMA) system representative of actual flight computers. VxWorks 653 is based on the ARINC 653 standard and provides time and space partitioning for IMA systems