Abstract
The avionics systems of modern aircraft must manage a complex array of continuous and discrete dynamics that govern aircraft operations. Producing the software that implements such systems and provably satisfies stringent safety requirements is a difficult problem. Expanded cockpit automation, addition of data links to bring more information into the cockpit, and planned upgrades to the air traffic management system will increase the system complexity and the magnitude of this problem. This paper describes avionics automation from a hybrid systems perspective and presents initial results of our research in providing methods for reliable implementation of these systems.
This work was supported in part by NASA contract NAS 2-14291
Honeywell Technology Center, Minneapolis, MN 55418
Preview
Unable to display preview. Download preview PDF.
References
S. B. Akers, “Binary Decision Diagrams,” IEEE Trans. on Computers, Vol. C-27, No. 6, pp. 509–516, June 1978.
D. Harel, “Statecharts: A visual formalism for complex systems,” Science of Computer Programming, Vol. 8, pp. 231–274, 1987.
M. P.E. Heimdahl, Static Analysis of State-Based Requirements: Analysis for Completeness and Consistency, PhD thesis, University of California, Irvine, 1994.
M. P.E. Heimdahl, N. G. Leveson, “Completeness and consistency analysis of state-based requirements,” In Proceedings of the 17th Int'l Conf. on Software Engineering, April 1995.
C. L. Heitmeyer, B. L. Labaw, D. Kiskis, “Consistency checking of SCR-style requirements specifications,” In Proceedings of the Int'l Symposium on Requirements Engineering, March 1995.
D. Hughes, M. A. Dornheim, “Accidents direct focus on cockpit automation,” Aviation Week and Space Technology, Jan. 30, 1995.
T. King, Jon Krueger, J. Ward, B. Hughes, M. Michaels, L. Sherry, Generating software from a hierarchy of operational procedure tables, Honeywell Technology Center technical report SST-R94-009, 1994.
N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, J. D. Reese, “Requirements specification for process-control systems,” IEEE Trans. on Software Engineering, vol. 20, no. 9, Sept. 1994.
G. J. Pappas, C. Tomlin, S. Sastry, “Conflict resolution for multi-agent hybrid systems,” In Proceedings of the 35th IEEE Conf. on Decision and Control, December 1996.
S. Sastry, G. Meyer, C. Tomlin, J. Lygeros, D. Godbole, G. Pappas, “Hybrid control in air traffic management systems,” In Proceedings of the 34th IEEE Conf. on Decision and Control, December 1995.
L. Sherry, P. Polson, M. Feary, C. S. Hynes, “Design of an Intentional Vertical Flightpath Management Function for the HSCT Cooperative Cockpit,” Honeywell Air Transport Systems publication C69-5370-002 under NASA Langley Research Center contract NASl-20219, October 1995 (NASA contractor report number pending).
L. Sherry, D. Youssefi, C. S. Hynes, “A formalism for the specification of operationally embedded reactive avionic systems,” Honeywell publication C69-5370-001 under NASA Langley Research Center contract NAS1-20219, October 1995 (NASA contractor report number pending).
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
(1997). Reliable implementation of hybrid control systems for advanced avionics. In: Antsaklis, P., Kohn, W., Nerode, A., Sastry, S. (eds) Hybrid Systems IV. HS 1996. Lecture Notes in Computer Science, vol 1273. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0031557
Download citation
DOI: https://doi.org/10.1007/BFb0031557
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63358-7
Online ISBN: 978-3-540-69523-3
eBook Packages: Springer Book Archive