2615 search results - page 40 / 523 » Analysis of Real Time Operating System Based Applications |
135
click to vote
DSRT
2005
IEEE
15 years 8 months ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
133
Voted
EUC
2004
Springer
15 years 8 months ago
2004
Springer
This paper presents an experimental evaluation of our scenario-based multithreading for real-time object-oriented models by the use of a case study of a Private Branch eXchange (PB...
137
Voted
ECRTS
2004
IEEE
15 years 6 months ago
2004
IEEE
We present an approach to partitioning and mapping for multicluster embedded systems consisting of time-triggered and eventtriggered clusters, interconnected via gateways. We have...
109
click to vote
RTAS
2007
IEEE
15 years 9 months ago
2007
IEEE
Stochastic analysis techniques for real-time systems model the execution time of tasks as random variables. These techniques constitute a very powerful tool to study the behaviour...
114
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
: Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour despite the appearance of errors. In ...