Probabilistically Analysable Real-Time Systems

Partners

Barcelona Supercomputing Center – Centro Nacional de Supercomputación (Coordinator)

Team Members:

Francisco J. Cazorla - Technical Manager

Gina Alioto - Project Manager

Eduardo Quiñones

Leonidas Kosmidis

Rapita Systems Ltd., UK

Team Members:

Michael Houston

University of Padua, Italy

Team Members:

Enrico Mezzetti

Tullio Vardanega

Institut National de Recherche en Informatique et Automatique, France (INRIA)

Team Members:

Airbus France (AFS)

Team Members:

Benoît Triquet