The gurkh project: A framework for verification and execution of mission critical applications

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 2, Issue , 2003, Pages

  Asplund, Lars ^a   Lundqvist, Kristina ^b  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b Massachusetts Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FAULT TOLERANT COMPUTER SYSTEMS; PROGRAM DEBUGGING; REAL TIME SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

GURKH SYSTEM MODEL; MISSION CRITICAL APPLICATIONS; RUN TIME CONTROL;

COMPUTER CONTROL SYSTEMS;

EID: 0344551271     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Amnell, T., E. Fersman, L. Mokrushin, P. Pettersson, and W. Yi, 2002, TIMES - A Tool for Modelling and Implementation of Embedded Systems, 8th International Conference, TACAS 2002, part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, LNCS 2280, pp. 460-464
2. Alur, R., D. L. Dill, 1994, A theory of timed automata, Theoretical Computer Science, 126:183-235
3. Asplund, L., B. Johnson, K. Lundqvist, A. Burns, 1999, Session summary: The Ravenscar profile and implementation issues, The 9th International Real-Time Ada Workshop (IRTAW9), Ada Letters XIX(2): 12-14.
4. Baker, T. P., A. Shaw, The Cyclic Executive Model and Ada, 1989, Kluwer Academic Publishers, Real-Time Systems, Volume 1, Number 1, pp. 7-25.
5. Bengtsson, J., K. G. Larsen, F. Larsson, P. Pettersson, W. Yi, 1995, UPPAAL - A Tool Suit for Automatic Verification of Real-Time Systems, Workshop on verification and Control of Hybrid Systems III, LNCS 1066, Springer Verlag, pp. 232-243.
6. Burns, A., B. Dobbing, T. Vardanega, 2003, Guide for the use of the Ada Ravenscaar Profile in high integrity systems, University of York Technical Report YCS-2003-348.
7. Fruchterman, T., and E. Reingold, 1991, Graph drawing by force-directed placement, Softw. Pract. Exp., 21(11):1129-1164.
8. Knight, J. C., N. G. Leveson, 1986, An Experimental Evaluation of the Assumption of Independence in Multi-Version Programming, IEEE Transactions on Software Engineering, SE-12, pp. 96-109.
9. Lundqvist, K., L. Asplund, 2003, A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems, Kluwer Academic Publishers, Real-Time Systems, 24, pp. 29-54.
10. Littlewood, B., P. Popov, L. Strigini, Modelling software design diversity - a review, 2001, ACM Computing Surveys.
11. Yovine, S., 1997, Kronos: A verification tool for real-time systems, Springer International Journal on Software Tools for Technology Transfer, pp. 134-152.
12. www.robocup.org
13. Naeser, G. et al., Translation of Ada-95 into an UML based formal notation. To be published.