A formal model of the ada ravensear tasking profile; protected objects

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

Volumn 1622, Issue , 1999, Pages 12-25

  Lundqvist, Kristina ^a   Asplund, Lars ^a   Michell, Stephen ^b  

^a UPPSALA UNIVERSITY   (Sweden)

^b Maurya Software   (Canada)

Author keywords

Ada tasking; Formal methods; Protected objects; Ravensear; Run time system; Uppaal

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ADA TASKING; PROTECTED OBJECT; RAVENSEAR; RUN TIME SYSTEMS; UPPAAL;

FORMAL METHODS;

EID: 0013097398     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48753-0_2     Document Type: Conference Paper

References (18)

1. R. Alur, and D. Dill, “Automata for Modeling Real-Time Systems”, Proceedings of the 17th International Colloquium on Automata, Languages and Programming, vol. 443, Springer-Verlag, 1990.
2. J. Barnes, “High Integrity Ada - The SPARK Approach”, Addison Wesley, ISBN 0-201-17517-7, 1997.
3. L. Björnfot, “Ada and Timed Automata”, In proc. Ada Europe, Frankfurt, Germany, LNCS 1031, pp. 389-405, Springer-Verlag, Oct 1995.
4. Pierre Chapront, “Ada+B The Formula for Safety Critical Software Development”, Ada Europe, Uppsala, Sweden, LNCS 1411, pp. 14-18, Springer-Verlag, June 1998.
5. J. Crow, S. Owre, J. Rushby, N. Shankar, and M. Srivas, “A tutorial introduction to PVS”, WIFT’95: Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, Florida, April 1995.
6. B. Dobbing and A. Burns, “The Ravenscar Tasking Profile for High Integrity Real-Time Programs”, SIGAda’98, Nov 8-12, 1998.
7. S. Fowler and A. Wellings, “Formal Analysis of a Real-Time Kernel Specification”, FTRTFT’96, 1996
8. S. Fowler and A. Wellings, “Formal Development of a Real-Time Kernel”, 19th IEEE Real-Time Systems Symposium, Dec 1997.
9. David Guaspari, Carla Marceau, and Wolfgang Polak. Formal Verification of Ada Programs. IEEE Transactions on Software Engineering, vol. 16, no. 9, September 1990, pp. 1058-1075.
10. ISO/IEC PDTR 15942, Guidance on the Use of the Ada Programming Language in High Integrity Systems
11. J.E. Hopcroft and J.D. Ullman, “Introduction to Automata Theory, Languages and Computation”, ISBN 0-201-02988-X, Addison-Wesley, 1979.
12. A. Hutcheon, “Safe Nucleus Formal Specification”, Project Reference CI/GNSR/27: The Design and Development of Safety Kernel, Aug 1994.
13. To be published in Ada letters, spring 1999.
14. F. Jahanian and A. K. Mok, “Safety analysis of timing properties in real-time systems”, IEEE Transactions on Software Engineering, 12(9):890-904, Sept. 1986.
15. K.G. Larsen, P. Pettersson, and W. Yi, “Uppaal in a Nutshell”, Int. Journal on Software Tools for Technology Transfer, Springer-Verlag, vol 1, number 1-2, pp. 134-152, Oct 1997.
16. M.K. Smith, The AVA Reference Manual: Derived from ANSI/MIL-STD- 1815A-1983, Computational Logic Inc., Feb. 1992
17. R.M. Tol, “Formal Design of a Real-Time Operating System Kernel”, Ph.D. thesis, University of Groningen, 1995.
18. A. Wellings and A. Burns, “Workshop Report”, The Eighth International Real-Time Ada Workshop (IRTAW8), Ada User Journal, vol 18, number 2, June 1997.