Requirements Analysis of a Quad-Redundant Flight Control System

@inproceedings{Backes2015RequirementsAO,
  title={Requirements Analysis of a Quad-Redundant Flight Control System},
  author={John D. Backes and Darren D. Cofer and Steven P. Miller and Mike Whalen},
  booktitle={NFM},
  year={2015}
}
In this paper we detail our effort to formalize and prove requirements for the Quad-redundant Flight Control System (QFCS) within NASA’s Transport Class Model (TCM). We use a compositional approach with assume-guarantee contracts that correspond to the requirements for software components embedded in an AADL system architecture model. This approach is designed to exploit the verification effort and artifacts that are already part of typical software verification processes in the avionics domain… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-10 OF 16 CITATIONS

Similar Papers

Loading similar papers…