Fault-Adaptive Control Technology (FACT). A Toolsuit for performance management of embedded systems.

Time Failure Propagation Graph (TFPG) diagnosis tool. An efficient real-time model-based diagnosis system.

Distributed Real-time Embedded Analysis Method (Dream).

Online Limited Lookahead Supervisory Control (LLC). A tool for adaptive control of embedded systems.