Verification of the legOS scheduler using uppaal

Electronic Notes in Theoretical Computer Science

Volumn 39, Issue 3, 2000, Pages 273-292

  Halkjaer, Lone ^a   Haervi, Karen ^a   Ingolfsdottir, Anna ^a  

^a AALBORG UNIVERSITY   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; MICROCONTROLLERS; PROBLEM SOLVING; SCHEDULING;

MEMORY MANAGEMENT; PROGRAM ROBOTS; SCHEDULERS; SEMAPHORES;

PROGRAM PROCESSORS;

EID: 19144366029     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80752-2     Document Type: Conference Paper

References (7)

1. Noga Markus L. "Designing the legOS Multitasking Operating System," http://www.noga.de/legOS/. 1999
2. Bengtson Johan, Larsen Kim G., Fredrik Larsson, Paul Petterson, Wang Yi, Carsten Weise. "New Generation of Uppaal," http://www.docs.uu.se/docs/ rtmv/uppaal/documentation.html. 1995
3. Larsen Kim G., Paul Petterson, Wang Yi. "UPPAAL in a Nutshell," http://www.docs.uu.se/docs/rtmv/uppaal/documentation.html. 1995
4. Abraham Silberschatz, Peter Galvin, Galvin Baer. "Operating System Concepts," ISBN: 0471364142. 1998
5. Iversen Torsten K., Kristoffersen Kre J., Larsen Kim G., Morten Laursen, Madsen Rune G., Mortensen Steffen K., Paul Petterson, Thomasen Chris B. "Model-Checking Real-Time Control Programs," http://www.docs.uu.se/ docs/rtmv/uppaal/documentation.html. 1999
6. William Starlings. "Operating Systems" ISBN: 0131809776. 1995
7. Tanenbaum Andrew S. "Modern Operating Systems," ISBN: 0135881870. 1992