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.<\/p>\n\n\n\n
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\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-007237.<\/p>\n\n\n\n
The participation of ISEP was led by SoftCPS members, working in the development of runtime verification techniques for real-time systems.<\/p>\n\n\n\n