A model of the F18 mission computer software for pre-run-time scheduling

The development of pre-run-time schedulers for certain hard real-time applications is investigated. This scheduling scheme requires the modeling of the program as a set of processes with corresponding timing specifications, such as release times, computation times, and deadlines. The models must specify precedence and exclusion constraints between pairs of processes. It is processed by an offline pre-run-time scheduling algorithm that computes a schedule for use at run time, ensuring that all static timing constraints of the system are observed. The technique works best in cases in which most processes are periodic, which is true for the F-18. A modeling process for the M18 Mission Computer software that is designed to lead the application of pre-run-time scheduling to the software and is applicable to other such hard systems is described