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.
|Place of Publication||Nijmegen|
|Number of pages||6|
|Publication status||Published - Dec 2007|
|Name||Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences|
- FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
Brinksma, H., & Hooman, J. (2007). Dependability for high-tech systems: an industry-as-laboratory approach. (Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences; No. 7/ICIS-R07030). Nijmegen: Radboud University.