Protected ceiling changes

IRTAW 2002 - Proceedings of the 11th International Real-Time Ada Workshop

Volumn , Issue , 2002, Pages 66-71

  Real, Jorge ^a   Crespo, Alfons ^a   Wellings, Andy ^b   Burns, Alan ^b  

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

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA CORRUPTION; MODE CHANGES; NEW APPROACHES; REAL TIME;

CEILINGS;

EID: 84958797716     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/584418.584427     Document Type: Conference Paper

References (8)

1. IEEE. Portable Operating System Interface: Amendment 1: Realtime Extensions [C Language]. IEEE 1003.1b, IEEE, 1993.
2. J. Real. Protocolos de Cambio de Modo para Sistemas de Tiempo Real (Mode Change Protocols for Real Time Systems). Ph.D. thesis, Universidad Politécnica de Valencia, 2000. In spanish.
3. J. Real and A. Crespo. Offsets for scheduling mode changes. In Proceedings of the 13th Euromicro Conference on Real-Time Systems. Delft, The Netherlands, pages 3-10. IEEE Computer Society Press, 2001.
4. J. Real, A. Llamosí, and A. Crespo. A semantics for dynamic ceiling priorities in Ada. Ada Letters, XXI(1):91-95, March, 2001.
5. J. Real and A.Wellings. Dynamic ceiling priorities and Ada 95. Ada Letters, XIX(2):41-48, July, 1999.
6. 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/IEC-8652:1995(E), 1995.
7. K. Tindell and A. Alonso. A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Politécnica de Madrid, 1996.
8. J. Tokar. Tasking and object orientation: session report. In Proceedings of IRTAW10, Ada Letters, volume XXI, nr 1, pages 9-10, 2001.