Probabilistically Analysable Real-Time Systems

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

The Barcelona Supercomputing Center – Centro Nacional de Supercomputación (BSC), established in 2005, serves as the National Supercomputing Facility for Spain. The Center hosts the MareNostrum supercomputer. The mission of the BSC is to research, develop and manage information technologies in order to facilitate scientific progress. The BSC not only strives to become a first-class research center in supercomputing, but also in scientific fields that demand high performance computing resources such as the Life and Earth Sciences. The BSC-CNS has been particularly active in the 6th Framework Programme of the European Commission and currently participates in FP6 projects: DEISA, eDEISA, HPC-EUROPA (Infrastructures), SARC, BREIN, BEINGRID, XTREEMOS and SORMA (IST) and also in FP7 projects VELOX and MERASA.

Main tasks attributed in the project.

BSC will be the overall PROARTIS project coordinator. The scientific tasks concern the randomisation at the PROARTIS multicore processor with several levels of cache hierarchy, compiler support of randomisation of stack and heap, adaptation of the architecture simulator to accomplish with PROARTIS objective and leading Work Package 1.

Activities of the team related to the planned project include.

From BSC Gina Alioto will take the responsibility on the management coordination of the project. She has more than 10-year experience in project coordination. On the technical part, BSC has been investigating embedded processor architecture concepts with respect to static WCET analysability for deployment in hard real-time embedded systems for several years, mainly as a part of the HiPEAC and MERASA projects. In cooperation with RAPITA, BSC has integrated its current hard-real time simulator with RapiTime. BSC has also researched on randomisation with RAPITA on the limits of the effect of randomisation on hard real time systems.