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)
    64 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 Computer Society
    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
    CountryGermany
    CityMunich
    Period10/03/0814/03/08

    Keywords

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

    Cite this

    Brinksma, H., & Hooman, J. (2008). Dependability for high-tech systems: an industry-as-laboratory approach. In Design, Automation and Test in Europe, 2008. DATE '08 (pp. 1226-1231). Piscataway: IEEE Computer Society. https://doi.org/10.1109/DATE.2008.4484846