Mixed-Critical Systems

Mixed-criticality systems, which are commonly deployed in the automotive, aerospace and avionic domains, integrate functionalities of different safety and/or time criticality into a common platform in order to reduce size, weight, power and cost of hardware. The integration of functionalities with different safety and time requirements leads to numerous challenges when designing such systems.

Our research focuses on (but is not limited to) the following aspects of mixed-criticality system design:

1. novel specification models for mixed-criticality applications,
2. power and thermal-aware scheduling,
3. certification-cognizant scheduling in resource-sharing multi-core systems ,
4. probabilistic scheduling, as well as
5. implementation aspects of mixed-criticality systems on commercial-off-the-shelf platforms.