The dependability of high-volume embedded systems, such a 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.
|IEEE Computer Society Press
|2008 Design, Automation and Test in Europe Conference & Exhibition, DATE 2008
|10/03/08 → 14/03/08
- FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS