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.
access_time
Concluded
Start
2007-01-01
Conclusion
2010-12-31
Research area
Project manager at MDU
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.