Description du projet
ICT forever yours
There is growing demand to continuously evolve systems to meet changing business needs, new regulations and policies, novel technologies and computing infrastructures.Unfortunately the pace of required change affects our ability to ascertain and maintain the quality of a system. Our objective is thus to develop techniques and tools that ensure "lifelong" compliance to security, privacy and dependability requirements for a long-running evolving software system. This is challenging because these requirements are not necessarily preserved by system evolution.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.Concrete achievements will include:- Architectural blueprint and integrated security process for lifelong adaptable systems- Methodology for evolutionary requirements with tools for incremental requirements models evaluation and transformation- Security modelling notation for adaptive security with formally founded automated security analysis tools.- IT security risk assessment with tool-support for lifelong adaptable systems- Techniques and tools to verify adaptive security while loading on-device- Model-based testing approach for evolutionThe results are continuously validated jointly with key industry players.
Champ scientifique
Thème(s)
Appel à propositions
FP7-ICT-2007-3
Voir d’autres projets de cet appel
Régime de financement
CP - Collaborative project (generic)Coordinateur
38122 Trento
Italie
Voir sur la carte
Participants (15)
6020 Innsbruck
Voir sur la carte
3000 Leuven
Voir sur la carte
44227 Dortmund
Voir sur la carte
28050 Madrid
Voir sur la carte
25000 BESANCON
Voir sur la carte
78153 Le Chesnay Cedex
Voir sur la carte
92190 Meudon
Voir sur la carte
92190 MEUDON
Voir sur la carte
1111 Budapest
Voir sur la carte
00185 Roma
Voir sur la carte
7034 Trondheim
Voir sur la carte
MK7 6AA Milton Keynes
Voir sur la carte
59655 VILLENEUVE D'ASCQ
Voir sur la carte
92190 MEUDON CEDEX
Voir sur la carte
25000 Besancon
Voir sur la carte