Flight Guidance and Control System Modeling and Design Based on AADL

[1]  Radha Poovendran,et al.  Aviation Cyber–Physical Systems: Foundations for Future Aircraft and Air Transport , 2013, Proceedings of the IEEE.

[2]  Jérôme Hugues,et al.  Expressing and Enforcing User-Defined Constraints of AADL Models , 2010, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems.