V-SIS
Sistema de Validação de Sistemas Críticos
QREN - SI I&DT Nr. 38923 18 months (Jan 2014 to Jun 2015) | |
Summary: | The technological and scientific evolution is not linear. Like a river that forms during a storm the evolution droplets accumulate up until when they gather sufficient momentum to create a torrent or change the course of a river. This landscape of change is taking place these days in the development and validation of critical systems in the automotive and aeronautics sectors. The effects of this change also propagate to sectors like medical equipment and railway. The competence to validate highly optimized and high-value critical systems is essential for an economy like Portugal that has to compete with economies that build their strength in “brute force” with cheap labour. The V-SIS project proposes addressing this challenge with the creation of a critical systems validation competence centre, leveraging our capability to compete worldwide. The project seeks to take advantage from the landscape of change, the doubts and needs triggered by normative evolutions like the ISO26262 inception (automotive) and the upgrade to DO-178C (avionics). The V-SIS project proposes working two elemental vectors (1) functional safety and (2) critical systems validation. The work will be arranged in (i) processes innovation (RAMS techniques, model based V&V, multi-criticality systems, security fault injection) and (ii) validation laboratory development. |
Funding: | Global: 768KEUR, CISTER: 53KEUR |
Sponsors: | |
Partners: | |
Contact Person at CISTER: | Luis Miguel Pinho |
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Conference or Workshop Papers/Talks
How realistic is the mixed-criticality real-time system model? CISTER-TR-151004
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Outstanding Paper Award
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Outstanding Paper Award