45 search results - page 4 / 9 » Safety Analysis for the Extended Schematic Protection Model |
104
Voted
CAV
2008
Springer
15 years 1 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. ...
102
click to vote
SIGCOMM
2010
ACM
14 years 12 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
ISOLA
2004
Springer
15 years 5 months ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...