Sciweavers

1640 search results - page 27 / 328
» Transistor-Level Timing Analysis Using Embedded Simulation
Sort
View
103
Voted
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 2 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
134
Voted
RTAS
2008
IEEE
15 years 8 months ago
Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures
Instruction scratchpads have been previously suggested as a way to reduce the worst case execution time (WCET) of hard real-time programs without introducing the analysis issues p...
Jack Whitham, Neil C. Audsley
193
Voted
TII
2011
206views Education» more  TII 2011»
14 years 9 months ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
118
Voted
ECRTS
2002
IEEE
15 years 7 months ago
Weakly Hard Real-time Constraints on Controller Area Network
For priority based buses such as CAN, worst case response time analysis is able to determine whether messages always meet their deadlines. This can include system models with boun...
Ian Broster, Guillem Bernat, Alan Burns
143
Voted
RTAS
2006
IEEE
15 years 8 months ago
Reliability-Aware Dynamic Energy Management in Dependable Embedded Real-Time Systems
Recent studies show that, voltage scaling, which is an efficient energy management technique, has a direct and negative effect on system reliability because of the increased rate...
Dakai Zhu