• Citations Per Year
Learn More
Timing guarantees and predictive early analysis are essential considerations for the design of reliable and verified real-time avionics systems. In this paper, we consider an environmental monitoring avionic system, which allows physical circumstances to be visually monitored continuously in real-time. We analyze timing aspects on the partitions of(More)
  • 1