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.


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.