The Construction of Verification Models for Embedded Systems

Research output: Book/ReportReportProfessional

162 Downloads (Pure)

Abstract

The usefulness of verification hinges on the quality of the verification model. Verification is useful if it increases our confidence that an artefact bahaves as expected. As modelling inherently contains non-formal elements, the qualityof models cannot be captured by purely formal means. Still, we argue that modelling is not an act of irrationalism and unpredictable geniality, but follows rational arguments, that often remain implicit. In this paper we try to identify the tacit rationalism in the model construction as performed by most people doing modelling for verification. By explicating the different phases, arguments, and design decisions in the model construction, we try to develop guidelines that help to improve the process of model construction and the quality of models.
Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages13
Publication statusPublished - 29 Jan 2007

Publication series

NameCTIT Technical Report Series
PublisherCentre for Telematics and Information Technology, University of Twente
No.TR-CTIT-07-02
Volume1
ISSN (Print)1381-3625

Keywords

  • METIS-242790
  • EWI-9440
  • IR-66985

Cite this

Mader, A. H., Wupper, H., & Boon, M. (2007). The Construction of Verification Models for Embedded Systems. (CTIT Technical Report Series; Vol. 1, No. TR-CTIT-07-02). Enschede: Centre for Telematics and Information Technology (CTIT).
Mader, Angelika H. ; Wupper, H. ; Boon, Mieke. / The Construction of Verification Models for Embedded Systems. Enschede : Centre for Telematics and Information Technology (CTIT), 2007. 13 p. (CTIT Technical Report Series; TR-CTIT-07-02).
@book{9a3a703af9424280a1d8b7eed59b8249,
title = "The Construction of Verification Models for Embedded Systems",
abstract = "The usefulness of verification hinges on the quality of the verification model. Verification is useful if it increases our confidence that an artefact bahaves as expected. As modelling inherently contains non-formal elements, the qualityof models cannot be captured by purely formal means. Still, we argue that modelling is not an act of irrationalism and unpredictable geniality, but follows rational arguments, that often remain implicit. In this paper we try to identify the tacit rationalism in the model construction as performed by most people doing modelling for verification. By explicating the different phases, arguments, and design decisions in the model construction, we try to develop guidelines that help to improve the process of model construction and the quality of models.",
keywords = "METIS-242790, EWI-9440, IR-66985",
author = "Mader, {Angelika H.} and H. Wupper and Mieke Boon",
year = "2007",
month = "1",
day = "29",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-07-02",
address = "Netherlands",

}

Mader, AH, Wupper, H & Boon, M 2007, The Construction of Verification Models for Embedded Systems. CTIT Technical Report Series, no. TR-CTIT-07-02, vol. 1, Centre for Telematics and Information Technology (CTIT), Enschede.

The Construction of Verification Models for Embedded Systems. / Mader, Angelika H.; Wupper, H.; Boon, Mieke.

Enschede : Centre for Telematics and Information Technology (CTIT), 2007. 13 p. (CTIT Technical Report Series; Vol. 1, No. TR-CTIT-07-02).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - The Construction of Verification Models for Embedded Systems

AU - Mader, Angelika H.

AU - Wupper, H.

AU - Boon, Mieke

PY - 2007/1/29

Y1 - 2007/1/29

N2 - The usefulness of verification hinges on the quality of the verification model. Verification is useful if it increases our confidence that an artefact bahaves as expected. As modelling inherently contains non-formal elements, the qualityof models cannot be captured by purely formal means. Still, we argue that modelling is not an act of irrationalism and unpredictable geniality, but follows rational arguments, that often remain implicit. In this paper we try to identify the tacit rationalism in the model construction as performed by most people doing modelling for verification. By explicating the different phases, arguments, and design decisions in the model construction, we try to develop guidelines that help to improve the process of model construction and the quality of models.

AB - The usefulness of verification hinges on the quality of the verification model. Verification is useful if it increases our confidence that an artefact bahaves as expected. As modelling inherently contains non-formal elements, the qualityof models cannot be captured by purely formal means. Still, we argue that modelling is not an act of irrationalism and unpredictable geniality, but follows rational arguments, that often remain implicit. In this paper we try to identify the tacit rationalism in the model construction as performed by most people doing modelling for verification. By explicating the different phases, arguments, and design decisions in the model construction, we try to develop guidelines that help to improve the process of model construction and the quality of models.

KW - METIS-242790

KW - EWI-9440

KW - IR-66985

M3 - Report

T3 - CTIT Technical Report Series

BT - The Construction of Verification Models for Embedded Systems

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

Mader AH, Wupper H, Boon M. The Construction of Verification Models for Embedded Systems. Enschede: Centre for Telematics and Information Technology (CTIT), 2007. 13 p. (CTIT Technical Report Series; TR-CTIT-07-02).