RESCUE looks at an important requirement in safety critical systems — that of supporting verifiability of software components. The proposers focus on embedded systems, thereby making the approach more manageable. The also provides a more significant challenge, in that the device in which the verification is being undetaken is resource constrained. The approach is clearly applicable to a variety of different contexts and scenarios. The use of certificates in Proof Carrying Codes provides a useful basis to support such verifiability provides a useful first step for the research being proposed here. The authors advocate the use of: (i) Type-based; (ii) Language-based; and (iii) Logic-based security enforcement mechanisms. A good and interesting proposal, that could impact the use of safety critical applications in embedded and mobile devices.
RESCUE was funded by ERDF – European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by National Funds through the FCT – Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-007237.
The participation of ISEP was led by SoftCPS members, working in the development of runtime verification techniques for real-time systems.
Website: RESCUE – TWiki (uminho.pt)
Budget: 161 K€ (Total), 80 K€ (ISEP)
Period: January 2008 to March 2011
SoftCPS Responsible: Luis Miguel Pinho