151 search results - page 3 / 31 » SaveCCM - A Component Model for Safety-Critical Real-Time Sy... |
113
click to vote
APSEC
2007
IEEE
15 years 7 months ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
134
click to vote
ICDCS
1999
IEEE
15 years 5 months ago
1999
IEEE
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
139
click to vote
ATVA
2008
Springer
15 years 3 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
119
click to vote
EUROMICRO
2009
IEEE
15 years 8 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
139
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...