Section: Contracts and Grants with Industry
AVANTSSAR — Automated validation of trust and security of service-oriented architectures . STREP Project funded under 7th FP (Seventh Framework Programme) Research area: ICT-2007.1.4 Secure, dependable and trusted infrastructures. The coordinator is the University of Verona (Italy) and the Cassis project is one of the 10 partners. AVANTSSAR aims to propose a rigorous technology for the formal specification and "Automated VAlidatioN of Trust and Security of Service-oriented ARchitectures". This technology will be automated into an integrated toolset, the AVANTSSAR Validation Platform, tuned on relevant industrial case studies.
SEES — Software Engineering for lifelong Evolvable Systems . SEES is funded under the 7th FP (Seventh Framework Programme) Research area: ICT-2007.8.6: ICT forever yours. The project will develop processes and tools that support design techniques for evolution, testing, verification, re-configuration and local analysis of evolving software. Our focus is on mobile devices and homes, which offer both great research challenges and long-term business opportunities. The project is leaded by Fabio Massacci (University of Trento, Italy) and it is expected to start at the beginning of 2009 for a period of 36 months.