104 search results - page 2 / 21 » Worst Case Execution Time Analysis for Petri Net Models of E... |
TACAS
2009
Springer
14 years 4 months ago
2009
Springer
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency in...
IWIA
2006
IEEE
14 years 3 months ago
2006
IEEE
The commonly used flaw hypothesis model (FHM) for performing penetration tests provides only limited, highlevel guidance for the derivation of actual penetration attempts. In thi...
ECRTS
2009
IEEE
13 years 7 months ago
2009
IEEE
This paper explores timing anomalies in WCET analysis. Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify ...
RTSS
2000
IEEE
14 years 2 months ago
2000
IEEE
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...