PG-Dep-ET Enabling Technologies for Evaluating/Ensuring Dependability
Status:
finished
Start date:
2007-01-01
End date:
2010-12-31
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.
| First Name | Last Name | Title |
|---|---|---|
| Sasikumar | Punnekkat | Professor |
| Radu | Dobrin | Associate Professor |
| Henrik | Thane | Adjunct Professor |
| Sigrid | Eldh | Lecturer,Senior Lecturer |
| Hüseyin | Aysan | Post Doc |
| Boyko | Iliev | |
| F. | Orava | |
| Joakim | Lindgren | |
| Martin | Törngren |
Apr 2014