Sciweavers

20126 search results - page 153 / 4026
» Timed Transition Systems
Sort
View
99
Voted
RSP
2002
IEEE
15 years 8 months ago
Validating Objected-Oriented Prototype of Real-Time Systems with Timed Automata
Guoqiang Shu, Chao Li, Qing Wang, Mingshu Li
RTSS
1992
IEEE
15 years 7 months ago
Monitoring Timing Constraints in Distributed Real-Time Systems
Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Ja...
106
Voted
SRDS
1995
IEEE
15 years 7 months ago
A Synchronization Strategy for a Time-Triggered Multicluster Real-Time System
Hermann Kopetz, Andreas Krüger, Dietmar Milli...
DSRT
2008
IEEE
15 years 10 months ago
Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines
Security and reliability are of paramount importance in designing and building real-time systems because any security failure can put the public and the environment at risk. In th...
Wissam Mallouli, Amel Mammar, Ana R. Cavalli
114
Voted
WCET
2008
15 years 5 months ago
On Composable System Timing, Task Timing, and WCET Analysis
The complexity of hardware and software architectures used in today's embedded systems make a hierarchical, composable timing analysis impossible. This paper describes the so...
Peter P. Puschner, Martin Schoeberl