Abstract
Recently the Royal Australian Air Force (RAAF) has been considering an upgrade to the F/A-18 aircraft in Australia. This upgrade may well involve the modification of Mission Computer (MC) systems. Maintaining correct functionality for the upgraded F/A-18 is therefore a major concern for the RAAF. This particular problem received interest from CSIRO and DSTO to support a joint Research Fellowship to investigate specification of hard real-time characteristics by formal method approaches.
Chapter PDF
Similar content being viewed by others
Keywords
- Correct Functionality
- Industrial Research Organisation
- Requirement Documentation
- Communicate Object
- Object Abstraction
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
J.S. Dong, N. Fulton, L. Zucconi, and J. Colton. Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM’97, November 1997. IEEE Press.
J.S. Dong and B. Mahony. Active Objects in TCOZ. ICFEM’98, IEEE Press, December 1998.
B. Mahony and J.S. Dong. Network Topology and a Case Study in TCOZ. ZUM’98, LNCS, September 1998. Springer-Verlag.
B. P.Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An introduction to TCOZ. ICSE’98, April 1998. IEEE Press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dong, J.S., Mahony, B.P., Fulton, N. (1999). Modeling aircraft mission computer task rates. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_49
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_49
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive