Skip to main content
SpringerLink
Log in

The olympus attitude and orbital control system A case study in hard real-time system design and implementation

  • Conference paper
  • First Online:
Ada - Europe '93 (Ada-Europe 1993)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 688))

Included in the following conference series:

Abstract

This paper describes the details of, and the experiences gained from, a case study undertaken by the authors on the design and reimplementation of the Olympus Satellite's Attitude and Orbital Control Systems (AOCS). The goal of the study was to demonstrate that real-time systems can be implemented using Ada and its tasking facilities. The system was designed using HRT-HOOD, analysed using Deadline Monotonic Scheduling Analysis, and implemented on a M68020-based system using a modified York compiler and run-time support system (the modifications are compatible with those proposed for Ada 9X). Our results indicate that systems can be designed to have the flexibility given by multi-tasking solutions, and yet still obtain the same levels of guarantees as those given by cyclic executives.

The work has been supported by the European Space Agency (ESTEC Contract 9198/90/NL/SF).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. York Ada Compiler Environment (York ACE) Reference Guide, York Software Engineering Limited (1991). (Release 5.1)

    Google Scholar 

  2. European Space Agency, “HOOD Reference Manual Issue 3.0”, WME/89-173/JB (September 1989).

    Google Scholar 

  3. C. Bailey, “Survey of Typical Space Applications”, Task 6 Deliverable on ESTEC Contract 9198/90/NL/SF, British Aerospace Space Systems Ltd. (September 1991).

    Google Scholar 

  4. C. Bailey, “Software Requirements Document for the Olympus AOCS”, Task 10 Deliverable on ESTEC Contract 9198/90/NL/SF, British Aerospace Space Systems Ltd. (March 1992).

    Google Scholar 

  5. A. Burns and A.J. Wellings, “Definition of Tools”, Task 4 Deliverable on ESTEC Contract 9198/90/NL/SF, Department of Computer Science, University of York (September 1991).

    Google Scholar 

  6. A. Burns and A.J. Wellings, Hard Real-time HOOD: A Design Method for Hard Real-time Ada 9X Systems, Towards Ada 9X, Proceedings of 1991 Ada UK International Conference, IOS Press (1992).

    Google Scholar 

  7. A. Burns and A.J. Wellings, “Designing Hard Real-time Systems”, pp. 116–127 in Ada: Moving Towards 2000, Proceeedings of the 11th Ada-Europe Conference, Lecture Notes in Computer Science Vol 603, Springer-Verlag (1992).

    Google Scholar 

  8. A. Burns, A.J. Wellings, C.M. Bailey and E. Fyfe, “The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-time System Design and Implementation”, YCS 190, Department of Computer Science, University of York (1993).

    Google Scholar 

  9. A. Burns, A.J. Wellings and A.D. Hutcheon, “The Impact of an Ada Run-time System's Performance Characteristics on Scheduling Models”, in Ada sans frontieres Proceeedings of the 12th Ada-Europe Conference, Lecture Notes in Computer Science, Springer-Verlag (to appear).

    Google Scholar 

  10. C.H. Forsyth, “Implementation of the Worst-Case Execution Time Analysier”, Task 8 Volume E, Deliverable on ESTEC Contract 9198/90/NL/SF, York Software Engineering Limited, University of York (June 1992).

    Google Scholar 

  11. Intermetrics, “Draft Ada 9X Mapping Document, Volume II, Mapping Specification”, Ada 9X Project Report (December 1991).

    Google Scholar 

  12. J.Y.T. Leung and J. Whitehead, “On the Complexity of Fixed-Priority Scheduling of Periodic, Real-Time Tasks”, Performance Evaluation (Netherlands) 2(4), pp. 237–250 (December 1982).

    Article  Google Scholar 

  13. C.L. Liu and J.W. Layland, “Scheduling Algorithms for Multiprogramming in a Hard Real-Time Environment”, JACM 20(1), pp. 46–61 (1973).

    Article  Google Scholar 

  14. C.D. Locke, “Software architecture for hard real-time applications: cyclic executives vs. fixed priority executives”, Real-Time Systems 4(1), pp. 37–53, Real-Time Syst. (Netherlands) (March 1992).

    Article  Google Scholar 

  15. L. Sha and J. B. Goodenough, “Real-Time Scheduling Theory and Ada”, IEEE Computer (April 1990).

    Google Scholar 

  16. K. Tindell, “Using Ofset Information to Analyse Static Pre-emptive Scheduled Task Sets”, YCS 182, Department of Computer Science, University of York (September 1992).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Real-time and Distributed Systems Research Group, Department of Computer Science, University of York, UK

    A. Burns & A. J. Wellings

  2. Communication Satellites Division, British Aerospace Space Systems Ltd, Stevenage, UK

    C. M. Bailey & E. Fyfe

Authors
  1. A. Burns
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. J. Wellings
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. C. M. Bailey
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. E. Fyfe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Michel Gauthier

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Burns, A., Wellings, A.J., Bailey, C.M., Fyfe, E. (1993). The olympus attitude and orbital control system A case study in hard real-time system design and implementation. In: Gauthier, M. (eds) Ada - Europe '93. Ada-Europe 1993. Lecture Notes in Computer Science, vol 688. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56802-6_3

Download citation

  • DOI: https://doi.org/10.1007/3-540-56802-6_3

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-56802-5

  • Online ISBN: 978-3-540-47748-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation