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

MULTI-CORE SAFETY was 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.

It was grated in 2017, and lasted from August 2017 to July 2021, with a one year extension because of COVID.

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


Project description

Project number: DFF-7017-00348

Comments are closed.