Sciweavers

50 search results - page 5 / 10
» rts 2006
Sort
View
RTS
2008
131views more  RTS 2008»
14 years 9 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
RTS
2010
90views more  RTS 2010»
14 years 7 months ago
A timeband framework for modelling real-time systems
Abstract Complex real-time systems, must integrate physical processes with digital control, human operation and organizational structures. New scientific foundations are required ...
Alan Burns, Ian J. Hayes
RTS
2010
79views more  RTS 2010»
14 years 7 months ago
Spin-based reader-writer synchronization for multiprocessor real-time systems
Reader preference, writer preference, and task-fair reader-writer locks are shown to cause undue blocking in multiprocessor real-time systems. Phase-fair reader writer locks, a ne...
Björn B. Brandenburg, James H. Anderson
RTS
2010
121views more  RTS 2010»
14 years 7 months ago
A compiler framework for the reduction of worst-case execution times
The current practice to design software for real-time systems is tedious. There is almost no tool support that assists the designer in automatically deriving safe bounds of the wor...
Heiko Falk, Paul Lokuciejewski
RTS
2006
121views more  RTS 2006»
14 years 9 months ago
Group-Based Pfair Scheduling
We consider the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a...
Philip Holman, James H. Anderson