422 search results - page 16 / 85 » Static Timing Analysis of Embedded Software |
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
109
click to vote
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
The presence of vulnerable statements in the source code is a crucial problem for maintainers: properly monitoring and, if necessary, removing them is highly desirable to ensure h...
103
click to vote
CSMR
2002
IEEE
15 years 2 months ago
2002
IEEE
Static analysis aims at recovering the structure of a software system, while dynamic analysis focuses on its run time behaviour. We propose a technique for combining the analysis ...
SIGSOFT
2004
ACM
15 years 10 months ago
2004
ACM
In this paper, we describe PSE (Postmortem Symbolic Evaluation), a static analysis algorithm that can be used by programmers to diagnose software failures. The algorithm requires ...