A semantics for dynamic ceiling priorities in Ada

Proceedings of the 10th International Real-Time Ada Workshop, IRTAW 2000

Volumn , Issue , 2001, Pages 91-95

  Real, Jorge ^a   Llamosí, Albert ^b   Crespo, Alfons ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

^b UNIVERSITAT DE LES ILLES BALEARS   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; CEILINGS; SEMANTICS;

LANGUAGE SEMANTICS; MULTI-MODED; NEW APPLICATIONS; PROTECTED OBJECT; RUN TIME SYSTEMS;

ADA (PROGRAMMING LANGUAGE);

EID: 85012909751     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/374370.374388     Document Type: Conference Paper

References (10)

1. A Bums. A. J. Wellings, C. Bailey, and E. Fyfe. The Olympus Attitude und Orbital Control System: A Case Study in Hard Real-Tim: System Design and Implementation. In Ada sans frontiera. Proceedings of the J 2 th Ada-Europe Conference, Lecture Notes in Computer Science 688, pages 19-35. Springer-Verlag. 1993.
2. J. A. de la Puente. Session summary: New language features and other language issues. In Proceedings qflRTAW9, Ada Letters, volume XIX, nr 2, pages 19-20, 1999.
3. IEEE. Portable operating system interface: Amendment 2: Threads extension [Clanguage]. IEEE/1003.lc IEEE, 1995.
4. C. Locke, D. Vogel, and T. Mesler. Building a Predictable Avionics Platform in Ada: A Case Study. Proceedings of the IEEE 12th Real Time Systems Symposium, 1991.
5. O. Pazy and M. Kamrad. Session summary: Outstanding issues. In Proceedings qflRTAWS, Ada Letters, volume XVII, nr 5, pages 11-15, 1997.
6. J. Real. Protocolos de Cambio de Modo para Sistemai de Hempo Real (Mode Change Protocols for Real Time Systems). Ph.D. thesis, Universidad Politecnica de Valencia, 2000 In Spanish.
7. J. Real and A. Wellings. The ceiling protocol in multi-moded real-time systems. Reliable Software Technologies - Ada Europe 99, Lecture Notes in Computer Science, 1622:275-286,1999.
8. J. Real and A. Wellings. Dynamic ceiling priorities and Ada 95. Ada Leiters, XIX(2):41-48. July, 1999.
9. S. Tucker Taft and Robert A. Duff (eds.). Ada 95 Reference Manual. Language and Standard Libraries. Springer, Lecture Notes on Computer Science, vol 1246, International Standard ISO/I EC-B652:1995(E), 1995.
10. K. Tindell and A. Alonso. A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politecnica de Madrid, 1996.