In this paper, we consider a scheduling problem for a set of agile Earth observation satellites for

scanning different parts of the Earth’s surface. We assume that preemption is allowed to prevent repetitive

images and develop four...

There are many vital real-time systems such as avionics, mission-critical, industrial

control, and space-mission, which cannot tolerate any request overruns. Safeness analysis of such

systems is directly ...