Modelling and scheduling hard real-time biomedical systems with timing and energy constraints

Several biomedical systems are considered time-critical in the sense that, if timing constraints are not met, catastrophic issues may occur, such as loss of human lives. Besides, some of these systems have to rely on constrained energy sources (e.g. a battery) for operating in remote locations. In this case, energy saving becomes of utmost importance in order to prolong equipment operation. Presented is a method for hard real-time systems scheduling considering dynamic voltage scaling, precedence and exclusion relations. The proposed approach adopts a formal model based on time Petri nets in order to find a feasible schedule using a pre-runtime approach that satisfies timing and energy constraints.