Project Descritpion
System evolution has captured centre stage in software engineering research and practice for good reasons. There is growing demand to continuously evolve systems to meet changing business needs, new  regulations and policies, novel technologies and computing  infrastructures. The main objective of SecureChange is to develop techniques and tools that ensure “lifelong” compliance to security, privacy and dependability requirements for an evolving software system. This is particularly challenging because these requirements are not necessarily preserved by system evolution.
The project will focus on the challenging, long term objective of rethinking processes and tools that support design techniques for evolution, testing, verification, re-configuration and –time deployment analysis of evolving software. The practical relevance of this research will be validated against three challenging domains on smart-cards, digital homes and Air Traffic Management that offer most research challenges and greatest long-term business opportunities.

Deep Blue Role
Deep Blue will be leader of the ‘Case Studies’ workpackage and responsible  of the Validation of  the SecureChange final results. Moreover, Deep Blue will be in charge of defining and implementing The Air Traffic Management use case in order  to support the project activities by checking specification, modeling and validation workpackages on a real industrial scenario.