Duration: 2014--2018

Abstract: Safety-critical systems are those that, when contain faults, may cause human injury or critical capital loss. Existing studies have shown that most failures of safety-critical systems are not caused by the internal of the software systems, but by their interactions with the environment, i.e., situational issues. This project aims to study "how to deal with situational issues in the development and maintenance of safety-critical software systems", in the hope of developing a set of methodologies and techniques for dealing with situational issues of critical software systems, publishing a set of tool and platform prototypes, and educating a group of young researchers.