DocumentCode
3055942
Title
Formal verification and implementation of real time operating system based applications
Author
Zaharia, Tudor ; Haller, Piroska
Author_Institution
Petru Maior Univ., Targu Mures
fYear
2008
fDate
28-30 Aug. 2008
Firstpage
299
Lastpage
302
Abstract
This paper presents a framework for modeling and verification of mini real-time applications running under a multitasking kernel. The model described as networks of timed automata is mapped to real time operating systemspsila tasks. We focus on cooperative scheduling tasks with different priorities. For the tasks to be as simple as possible, a unified resource access interface is necessary.
Keywords
formal verification; operating system kernels; cooperative scheduling tasks; formal verification; multitasking kernel; real time operating system; timed automata networks; unified resource access interface; Automata; Design automation; Embedded computing; Formal verification; Job shop scheduling; Kernel; Microcontrollers; Multitasking; Operating systems; Real time systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Computer Communication and Processing, 2008. ICCP 2008. 4th International Conference on
Conference_Location
Cluj-Napoca
Print_ISBN
978-1-4244-2673-7
Type
conf
DOI
10.1109/ICCP.2008.4648391
Filename
4648391
Link To Document