29 search results - page 5 / 6 » Combining Real-Time Model-Checking and Fault Tree Analysis |
SOFSEM
2007
Springer
13 years 11 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
One time-consuming task in the development of software is debugging. Recent work in fault localization crosschecks traces of correct and failing execution traces, it implicitly se...
RTCSA
2006
IEEE
13 years 11 months ago
2006
IEEE
We propose a new execution time prediction method that combines measurement-based execution time analysis and simulation-based memory access analysis. In measurement-based executi...
DSD
2011
IEEE
12 years 5 months ago
2011
IEEE
—This paper presents an approach for the reliability-aware design optimization of real-time systems on multi-processor platforms. The optimization is based on an extension of wel...
POPL
2006
ACM
14 years 5 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...