Selected Projects
Location: Home -> Research -> Selected Projects -> Content

Situation-Aware Construction Methods and Operational Mechanism for Safety-Critical Software System

Date: 2020-03-07   Click:

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.

Copyright © Software Engineering Institute, Peking University

Room 1541, Science Building 1, No.5 Yiheyuan Road, Haidian District, Beijing, P.R.China 100871