Dependability for high-tech systems: an industry-as-laboratory approach
Ed Brinksma and Jozef Hooman
Appeared in: Proceedings Design, Automation & Test in
Europe (DATE'08), pages 1226-1231, 2008.
ABSTRACT
The dependability of high-volume embedded systems, such as consumer
electronic devices, is threatened by a combination of quickly
increasing complexity, decreasing time-to-market, and strong cost
constraints. This poses challenging research questions that are
investigated in the Trader project, following the industry-as-lab
approach. We present the main vision of this project, which is based
on a model-based control paradigm, and the current status of the
project results.
pdf