Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations

Speaker: Lars Grunske

When: 10:00, Friday, 29 April 2005

Venue: 78-420

Over the past years, the paradigm of component-based software engineering has been established in the construction of complex mission-critical systems. Due to this trend, there is a practical need for techniques that evaluate critical properties (such as safety, reliability, availability or performance) of these systems. This talk reviews several high-level techniques for the evaluation of safety properties for component-based systems. Based on these evaluation techniques a new evaluation model (State Event Fault Trees) is proposed, that extends safety analysis towards a lower abstraction level. This model possesses a state-event semantics and strong encapsulation, which is especially useful for the evaluation of component-based software systems.

Hospitality: Ian Hayes

Contact: Phil Cook (SSE seminar co-ordinator) (philc@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html