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

Hendrik Brinksma; J. Hooman

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

Research output: Book/Report › Report › Professional

1 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 language	Undefined
Place of Publication	Nijmegen
Publisher	Radboud University
Number of pages	6
Publication status	Published - Dec 2007

Publication series

Name	Technical 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

@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 = dec,

language = "Undefined",

series = "Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences",

publisher = "Radboud University",

number = "7/ICIS-R07030",

}

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 -