Building a predictable avionics platform in Ada: a case study
- 9 December 2002
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Software architecture for hard real-time applications: Cyclic executives vs. fixed priority executivesReal-Time Systems, 1992
- Real-time scheduling theory and AdaComputer, 1990
- Predictable real-time avionics design using Ada tasks and Rendezvous studyPublished by Association for Computing Machinery (ACM) ,1990
- Priority inversion and its control: An experimental investigationPublished by Association for Computing Machinery (ACM) ,1988
- The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasksPublished by Association for Computing Machinery (ACM) ,1988
- A practical application of the ceiling protocol in a real-time systemPublished by Association for Computing Machinery (ACM) ,1988
- Limitations of Ada for real-time schedulingPublished by Association for Computing Machinery (ACM) ,1987
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentJournal of the ACM, 1973