7820 search results - page 141 / 1564 » Formalization of Time and Space |
186
click to vote
DSRT
2008
IEEE
16 years 1 months ago
2008
IEEE
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...
197
Voted
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
173
Voted
VLSID
2003
IEEE
16 years 7 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
190
click to vote
ACSD
2006
IEEE
16 years 1 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
172
click to vote
FMCAD
2007
Springer
16 years 1 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...