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

Hendrik Brinksma, Jozef Hooman

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
    163 Downloads (Pure)

    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
    Title of host publicationDesign, Automation and Test in Europe, 2008. DATE '08
    Place of PublicationPiscataway
    PublisherIEEE
    Pages1226-1231
    Number of pages6
    ISBN (Print)978-3-9810801-4-8
    DOIs
    Publication statusPublished - 14 Mar 2008
    Event2008 Design, Automation and Test in Europe Conference & Exhibition, DATE 2008 - Munich, Germany
    Duration: 10 Mar 200814 Mar 2008

    Publication series

    Name
    PublisherIEEE Computer Society Press
    Number274

    Conference

    Conference2008 Design, Automation and Test in Europe Conference & Exhibition, DATE 2008
    Abbreviated titleDATE
    Country/TerritoryGermany
    CityMunich
    Period10/03/0814/03/08

    Keywords

    • FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS
    • IR-64765
    • METIS-250981
    • EWI-12754

    Cite this