PROGRESS research projects

PG-Dep-ET – Enabling Technologies for Evaluating/Ensuring Dependability

Leader: Henrik Thane, Sasikumar Punnekkat Members: Henrik Thane, Sigrid Eldh, Sasikumar Punnekkat, Radu Dobrin, Hüseyin Aysan Associated: Ivica Crnkovic, Hans Hansson, Christer Norström, Thomas Nolte Research group: Industrial Software Engineering Status: finished , start date: 2007-01-01 , End date: 2010-12-31 Funding: SSF, Progress

Overview This project explores some interesting aspects relevant to verification, validation and predictable execution of CB embedded systems. Wrapping legacy code into dependable components, exploring suitability of testing strategies, code instrumentation for fast fault detection and error containment and ensuring FT properties of communications in distributed environments are currently identified sub-themes of this project.