This survey covers research into mixed criticality systems that has been published since
Vestal's seminal paper in 2007, up until the end of 2016. The survey is organised along the …

This review covers research on the topic of mixed criticality systems that has been published
since Vestal's 2007 paper. It covers the period up to end of 2021. The review is organised …

The L4 microkernel has undergone 20 years of use and evolution. It has an active user and
developer community, and there are commercial versions which are deployed on a large …

Recent years have witnessed two major trends in the development of complex real-time
embedded systems. First, to reduce cost and enhance flexibility, multiple systems are …

The L4 microkernel has undergone 20 years of use and evolution. It has an active user and
developer community, and there are commercial versions that are deployed on a large scale …

With predictions pointing to more than 20 billion Internet-enabled'things' by 2020 and much
more to come, smart sensor nodes are expected to be predominant in the Internet of Things …

Clouds have become appealing platforms for not only general-purpose applications, but
also real-time ones. However, current clouds cannot provide real-time performance to virtual …

As one of the most complex parts in manufacturing systems, scheduling plays an important
role in the efficient allocation of resources to meet individual customization requirements …

Mixed-criticality real-time scheduling has been developed to improve resource utilization
while guaranteeing safe execution of critical applications. These studies use optimistic …

The virtues of security, reliability, and extensibility have made state-of-the-art microkernels
prevalent in embedded and safety-critical scenarios. However, they face performance and …