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

Hendrik Brinksma, Jozef Hooman

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 3 Citations

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.
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
StatePublished - 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
No.274

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. DOI: 10.1109/DATE.2008.4484846
Brinksma, Hendrik ; Hooman, Jozef. / Dependability for high-tech systems: an industry-as-laboratory approach. Design, Automation and Test in Europe, 2008. DATE '08. Piscataway : IEEE Computer Society, 2008. pp. 1226-1231
@inproceedings{a09198dceb114ca5976cc4e47073d7b9,
title = "Dependability for high-tech systems: an industry-as-laboratory approach",
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.",
keywords = "FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, IR-64765, METIS-250981, EWI-12754",
author = "Hendrik Brinksma and Jozef Hooman",
note = "10.1109/DATE.2008.4484846",
year = "2008",
month = "3",
day = "14",
doi = "10.1109/DATE.2008.4484846",
language = "Undefined",
isbn = "978-3-9810801-4-8",
publisher = "IEEE Computer Society",
number = "274",
pages = "1226--1231",
booktitle = "Design, Automation and Test in Europe, 2008. DATE '08",
address = "United States",

}

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. IEEE Computer Society, Piscataway, pp. 1226-1231, 2008 Design, Automation and Test in Europe Conference & Exhibition, DATE 2008, Munich, Germany, 10/03/08. DOI: 10.1109/DATE.2008.4484846

Dependability for high-tech systems: an industry-as-laboratory approach. / Brinksma, Hendrik; Hooman, Jozef.

Design, Automation and Test in Europe, 2008. DATE '08. Piscataway : IEEE Computer Society, 2008. p. 1226-1231.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

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

AU - Brinksma,Hendrik

AU - Hooman,Jozef

N1 - 10.1109/DATE.2008.4484846

PY - 2008/3/14

Y1 - 2008/3/14

N2 - 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.

AB - 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.

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

KW - IR-64765

KW - METIS-250981

KW - EWI-12754

U2 - 10.1109/DATE.2008.4484846

DO - 10.1109/DATE.2008.4484846

M3 - Conference contribution

SN - 978-3-9810801-4-8

SP - 1226

EP - 1231

BT - Design, Automation and Test in Europe, 2008. DATE '08

PB - IEEE Computer Society

CY - Piscataway

ER -

Brinksma H, Hooman J. Dependability for high-tech systems: an industry-as-laboratory approach. In Design, Automation and Test in Europe, 2008. DATE '08. Piscataway: IEEE Computer Society. 2008. p. 1226-1231. Available from, DOI: 10.1109/DATE.2008.4484846