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.
|Publisher||IEEE Computer Society Press|
|Conference||2008 Design, Automation and Test in Europe Conference & Exhibition, DATE 2008|
|Period||10/03/08 → 14/03/08|
- FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS