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

Hendrik Brinksma, J. Hooman

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
ISBN (Print)1571-5221
StatePublished - Dec 2007

Publication series

Name
PublisherRadboud University
No.7/ICIS-R07030
ISSN (Print)1571-5221

Fingerprint

Consumer electronics
Embedded systems
Costs
Industry

Keywords

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

Cite this

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

Nijmegen : Radboud University, 2007. 6 p.

Research output: ProfessionalReport

@book{40e68bccec9e49a3b4c71c54095b89ae,
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 = "METIS-245969, FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS, EWI-11794, IR-62136",
author = "Hendrik Brinksma and J. Hooman",
year = "2007",
month = "12",
isbn = "1571-5221",
publisher = "Radboud University",
number = "7/ICIS-R07030",

}

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

Nijmegen : Radboud University, 2007. 6 p.

Research output: ProfessionalReport

TY - BOOK

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

AU - Brinksma,Hendrik

AU - Hooman,J.

PY - 2007/12

Y1 - 2007/12

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 - METIS-245969

KW - FMT-IA: INDUSTRIAL APPLICATION OF FORMAL METHODS

KW - EWI-11794

KW - IR-62136

M3 - Report

SN - 1571-5221

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

PB - Radboud University

ER -

Brinksma H, Hooman J. Dependability for high-tech systems: an industry-as-laboratory approach. Nijmegen: Radboud University, 2007. 6 p.