Text

Industriell programvaruteknik

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

This project explores some interesting aspects relevant to verification, validation and predictable execution of CB embedded systems.

Avslutat

Start

2007-01-01

Avslut

2010-12-31

Forskningsområde

Projektansvarig vid MDH

Professor i pålitliga programvarusystem

Sasikumar Punnekkat

021-10 73 24

sasikumar.punnekkat@mdh.se

No partial template found

Description of the project

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.

Till toppen