Runtime Monitoring On Hard Real-Time Operating Systems
Loading...
Date
2015
Authors
Darafsheh, Kaveh
Journal Title
Journal ISSN
Volume Title
Publisher
East Carolina University
Abstract
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.