Get started
Keyword

flight control software

Description: Software that processes flight-control inputs and sensor data to command aircraft actuators and manage flight behavior.
OpenAlex ID: keywords/flight-control-software
Achieving software quality with testing coverage measures
1994 · J.R. Horgan, S. London, et al. · Computer · 160
The Boeing 737 MAX: Lessons for Engineering Ethics
2020 · Joseph Herkert, Jason Borenstein, et al. · Science and Engineering Ethics · 138
PDF
A Survey on Open-Source Flight Control Platforms of Unmanned Aerial Vehicle
2017 · Emad Ebeid, Martin Skriver, et al. · Euromicro Conference on Digital System Design (DSD) · 98
An abstract interpretation-based timing validation of hard real-time avionics software
2004 · S. Thesing, J. Souyris, et al. · IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) · 90
In search of effective diversity: a six-language study of fault-tolerant flight control software
1988 · A. Avizienis, M.R. Lyu, et al. · 78
Compositional semantics for real-time distributed computing
1988 · R. Koymans, R.K. Shyamasundar, et al. · Information and Computation · 64
Development of a Real-time Onboard and Ground Station Software System for a UAV Helicopter
2007 · Miaobo Dong, Ben M. Chen, et al. · Journal of Aerospace Computing Information and Communication · 61
The embedded machine
2007 · Thomas A. Henzinger, Christoph M. Kirsch · ACM Transactions on Programming Languages and Systems · 56
PDF
Compositional semantics for real-time distributed computing
1985 · R. Koymans, R. K. Shyamasundar, et al. · Lecture notes in computer science · 49
Attitude and articulation control for the Cassini spacecraft: a fault tolerance overview
2002 · G.M. Brown, D.E. Bernard, et al. · 48
ROSflight: A lightweight, inexpensive MAV research and development tool
2016 · James Jackson, Gary Ellingson, et al. · International Conference on Unmanned Aircraft Systems (ICUAS) · 47
Development and Conversion Flight Test of a Small Tiltrotor Unmanned Aerial Vehicle
2010 · Seongwook Choi, Youngshin Kang, et al. · Journal of Aircraft · 44
Formal Verification of Flight Critical Software
2005 · Steven Miller, Elise Anderson, et al. · AIAA Guidance, Navigation, and Control Conference and Exhibit · 44
An empirical study of the correlation between code coverage and reliability estimation
2002 · Mei-Hwa Chen, M.R. Lyu, et al. · IEEE International Software Metrics Symposium (METRICS) · 43
Runtime Assurance Framework Development for Highly Adaptive Flight Control Systems
2015 · John D. Schierman, Michael D. DeVore, et al. · 36
PDF
Developing high assurance avionics systems with the SCR requirements method
2002 · R. Bharadwaj, C. Heitmeyer · AIAA/IEEE Digital Avionics Systems Conference (DASC) · 32
Verification and validation of neural networks for safety-critical applications
2002 · J. Hull, D. Ward, et al. · Proceedings of the ... American Control Conference/Proceedings of the American Control Conference · 27
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment
2009 · Olivier Bouissou, Eric Goubault, et al. · Lecture notes in computer science · 26
PDF
Validation & verification of intelligent and adaptive control systems
2005 · V.W. Crum, J.M. Buffington, et al. · Proceedings - IEEE Aerospace Conference · 22
Production support flight control computers: research capability for F/A-18 aircraft at Dryden Flight Research Center
2002 · J. Carter · AIAA/IEEE Digital Avionics Systems Conference (DASC) · 22
Vehicle Upset Detection and Recovery for Onboard Guidance and Control
2016 · Nathan D. Richards, Neha Gandhi, et al. · Journal of Guidance Control and Dynamics · 20
Primary flight computers for the Boeing 777
1997 · J.D. Aplin · Microprocessors and Microsystems · 20
V&V of flight and mission-critical software
1989 · E.L. Duke · IEEE Software · 20
Towards Scalable Verification of Commercial Avionics Software
2010 · Devesh Bhatt, Gabor Madl, et al. · AIAA Infotech@Aerospace Conference · 19
Towards Formally Verified Optimizing Compilation in Flight Control Software
2011 · França, Ricardo Bedin, Favre-Felix, Denis, et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 18
PDF
Works count: 902
Citation count: 2,291
Year
Topic
Type