One of the main problems with safety analysis is that it takes lot of time and is tedious since there is a lot of details to cater to. Thus, computer support is important. The introduction of boilerplates and ontologies with component failure modes is an important step in the right direction.
However, we still miss the ability of describing and identifying the effect on the system's environment. Our current research focuses on three issues:
- What is the effect of the assistance we already get from tools - DODT and GNLQ?
- How can we describe hazards in the system's environment?
- How can we reason about the cause - consequence chains of an equipment or control system failure from initiating event to the accident?
The presentation will summarize the current status and our thoughts about the road ahead.
Tor Stålhane completed the degree of Master of Science in 1969 - Implementation of debugging aids in an Algol compiler Worked at SINTEF with compiler construction and maintenance from 1969 to 1986. He finished a PhD in applied statistics 1986 - 1988. The topic was reliability estimation for software systems. He worked at SINTEF with reliability and safety assessment for systems offshore, road and aviation from 1988 to 2000. Tor Stålhane is a Professor of software engineering at NTNU from 2000 till now. The main responsibilities are process improvement, empirical software engineering and safety analysis and assessment.
This talk is organized by the Compilers and Languages Group at the Institute of Computer Languages.
Tea at the library of E185/1, Argentinierstr. 8, 4th floor (central) at 16:45.