Formal analysis of a real-time kernel specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1135, Issue , 1996, Pages 440-458

  Fowler, Simon ^a   Wellings, Andy ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FAULT TOLERANCE; SPECIFICATIONS;

ABSTRACT MODELING; FORMAL ANALYSIS; MINIMAL MODEL; MUTUAL EXCLUSIONS; REAL-TIME KERNEL; SYSTEM MODELING; TIMING REQUIREMENTS; UNIPROCESSOR SYSTEMS;

REAL TIME SYSTEMS;

EID: 84947716878     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61648-9_55     Document Type: Conference Paper

References (16)

1. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. J. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, pages 284-292, September 1993.
2. Ada 95 Language Reference Manual. Intermetrics Inc., 1995. ISO/IEC 8652:1995.
3. W. R. Bevier. Kit: A study in operating system verification. Technical Report 28, Computational Logic Inc., 1988.
4. A. Burns and A. J. Wellings. Specifying an Ada tasking run-time support system. Ada User, 12(4):160-186, December 1991.
5. A. Burns and A. J. Wellings. Concurrency in Ada. Cambridge University Press, 1995.
6. J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas. A tutorial introduction to PVS. In WIFT '95: Workshop on Industrial-strength Formal Specification Techniques, Boca Raton, Florida, April 1995.
7. C. Fidge, P. Kearney, and M. Utting. Formal specification and interactive proof of a simple real-time scheduler. Technical Report 94-11, Department of Computer Science, University of Queensland, April 1994.
8. S. Fowler. Formal analysis of a real-time kernel specification. Technical Report YCS 265, Department of Computer Science, University of York, 1996.
9. J. Gorski and A. Wardzinski. Formal specification and verification of a realtime kernel. In Proceedings of the 6th Euromicro Workshop on Real-Time Systems, pages 205-211, 1994.
10. F. Jahanian and A. K. Mok. Safety analysis of timing properties in realtime systems. IEEE Transactions on Software Engineering, 12(9):890-904, September 1986.
11. C. B. Jones. Systematic Software Development using VDM. Prentice-Hall Int'l, 1990.
12. C. L. Liu and J. W. Layland. Scheduling algorithms for multiprogramming in a hard real-time environment. Jounral of the ACM, 20(1):46-61, 1973.
13. J. M. Spivey. The Z Notation: A Reference Manual. Prentice-HM1 Int'l, 1989.
14. J. M. Spivey. Specifying a real-time kernel. IEEE Software, 7(5):21-28, September 1990.
15. L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: an approach to real-time synchronisation. In IEEE Transactions on Computers, volume 39, pages 1175-1185. 1990.
16. R. M. Tol. Formal Design of a Real-Time Operating System Kernel. PhD thesis, University of Groningen, 1995.