Compositional Verification of Real-time MULTI-CORE SAFETY Critical Systems

MULTI-CORE SAFETY is a three year research project granted by the Danish Council for Independent Research.

The goal of MULTI-CORE-SAFETY can be stated as:
To take a giant leap forward in schedulability analysis for multi-core architectures; analyzing industrial sized systems with more accuracy and flexibility through the use of compositional model checking techniques.

The project involves  researchers from Aalborg University (Denmark),  University of Pennsylvania (USA) and INRIA (France).

Project description


Comments are closed.