Dependability for high-tech systems: an industry-as-laboratory approach

Hendrik Brinksma, J. Hooman

    Research output: Book/ReportReportProfessional

    Abstract

    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.
    Original languageUndefined
    Place of PublicationNijmegen
    PublisherRadboud University
    Number of pages6
    Publication statusPublished - Dec 2007

    Publication series

    NameTechnical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences
    No.7/ICIS-R07030
    ISSN (Print)1571-5221

    Keywords

    • METIS-245969
    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
    • EWI-11794
    • IR-62136

    Cite this

    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.