Software intensive systems are becoming critical assets in our society, fundamental for business operation and a major item in leisure. Criticality has therefore move beyond the traditional infrastructure concept to address safety, mission, security and business criticality. This extension in scope coupled with the evolution of such complex systems present clear challenges in terms of security, trust & dependability.
Future critical systems will be characterised by increased software ubiquity, increased software criticality, people-in-the-loop, large scale software dependability and increased evolution tempo. The fundamental research question is how do we design, implement, and maintain secure critical software systems that are highly reliable while retaining this reliability as they evolve, without incurring prohibitive costs. To address this research question, the Innovalia Association is engaged in the following research: