422 search results - page 3 / 85 » Static Timing Analysis of Embedded Software |
SIGSOFT
2011
ACM
14 years 4 months ago
2011
ACM
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
117
click to vote
RTAS
2008
IEEE
15 years 4 months ago
2008
IEEE
Embedded systems are often subject to constraints that require determinism to ensure that task deadlines are met. Such systems are referred to as real-time systems. Schedulability...
ESOP
2011
Springer
14 years 1 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
162
click to vote
CSMR
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—PROGRESS is a project and strategic research centre at M¨alardalen University in Sweden that is funded for 2006– 2010 by the Swedish Foundation for Strategic Research...