Dependable embedded systems are an indispensable technology in todays information society and used in more and more safety-critical applications. One of the main challenges of this wide spread usage is the increasing complexity which makes it very difficult to reach the necessary dependability. Integrated architectures, building execution platforms from a set of pre-validated hardware and software components, promise a solution for the stated problem. A core technology of such an architecture are partitioning OSs (Operating Systems) which are able to execute multiple software components on a...
Dependable embedded systems are an indispensable technology in todays information society and used in more and more safety-critical applications. One ...