artificial satellites; statically analysable hard real time Ada systems; fixed priority process based preemptive scheduling; cyclic scheduling; new generation software intensive satellite control systems; preemptive priority based scheduling; mature static analysis techniques; worst case response time analysis models; Ada programming model; worst case response time analysis tools; on-board control systems
(xsd:string)