132
Voted
HASE
15 years 7 months ago
2005 IEEE 
Aspect-oriented modeling is proposed to design the architecture of fault tolerant systems. Notations are introduced that support the separate and modularized design of functional ...
101
Voted
HASE
15 years 7 months ago
2005 IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
HASE
15 years 7 months ago
2005 IEEE 116
click to vote
HASE
15 years 7 months ago
2005 IEEE
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
91
Voted
HASE
15 years 7 months ago
2005 IEEE  |
Control Systems