Friday 27 October, 12:00-13:30
Session 9: Safety Assessment II
Chair: O. Nordland, SINTEF Telecom and Informatics, N
- Risk Ordering of States in Safecharts - N. Nissanke and H. Dammag (University
of Reading, UK)
- Dependability Evaluation: Model and Method based on Activity Theory - M.A.
Sujan (University of Karlsruhe, D), A. Rizzo (University of Siena, I) and A. Pasquini
(ENEA, I)
- Forensic Software Engineering and the Need for new Approaches to Accident
Investigation - C. Johnson (University of Glasgow, UK)