Response-time analysis of mixed criticality systems with pessimistic frequency specification

Sanjoy Baruah, Bipasa Chattopadhyay
2013 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications  
In modern embedded platforms, safety-critical functionalities that must be certified correct to very high levels of assurance may co-exist with less critical software that are not subject to certification requirements. One seeks to satisfy two, sometimes contradictory, goals upon such mixed-criticality platforms: (i) certify the safety-critical functionalities under very conservative assumptions, and (ii) achieve high resource utilization during run-time, when actual behavior does not live up
more » ... does not live up to the pessimistic assumptions under which certification was made. This paper describes efforts at designing fixed-priority scheduling algorithms that balance these two requirements, when scheduling recurrent tasks that are triggered by external events of unknown exact frequency.
doi:10.1109/rtcsa.2013.6732224 dblp:conf/rtcsa/BaruahC13 fatcat:nfs5vbd4o5fl5ps6ay5t65fwx4