Concepedia

Flight control system failure modeling and verification based on SPIN

Qianxin Wei, Jian Jiao, Tingdi Zhao

Engineering Failure Analysis · 2017 · 14 citations · 2 references

On this page

Concepts

References

Concepts

EngineeringAerospace EngineeringSystems EngineeringFault-tolerant ComputingFault-tolerant SystemsFlight MechanicsAircraft ControlControl SystemsFault ModelingFault-tolerant ControlReliability ModelingReliable System DesignControl System Failure AnalysisFault Diagnosis In Control SystemsSafety-critical Flight Control

References

2

The FSAP/NuSMV-SA Safety Analysis Platform

Marco Bozzano, Adolfo Villafiorita · International Journal on Software Tools for Technology Transfer · 2006 · 118 citations

Engineering, Systems Engineering, Safety Engineering +9

Towards a High Assurance Secure Computing Platform

Michael D. DiRossi · 2007 · 27 citations

Computing, Computer Science, Computer Systems +13