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

Hendrik Brinksma, J. Hooman

Research output: Book/ReportReport

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
Place of PublicationNijmegen
PublisherRadboud University
Number of pages6
StatePublished - 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.
Brinksma, Hendrik ; Hooman, J./ Dependability for high-tech systems: an industry-as-laboratory approach. Nijmegen : Radboud University, 2007. 6 p. (Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences; 7/ICIS-R07030).
@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",
language = "Undefined",
series = "Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences",
publisher = "Radboud University",
number = "7/ICIS-R07030",

}

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, Radboud University, Nijmegen.

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

Nijmegen : Radboud University, 2007. 6 p. (Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences; No. 7/ICIS-R07030).

Research output: Book/ReportReport

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

T3 - Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences

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

PB - Radboud University

CY - Nijmegen

ER -

Brinksma H, Hooman J. Dependability for high-tech systems: an industry-as-laboratory approach. Nijmegen: Radboud University, 2007. 6 p. (Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences; 7/ICIS-R07030).