Modelling Embedded Systems by Non-Monotonic Refinement

Angelika H. Mader; J. Marincic; H. Wupper

Modelling Embedded Systems by Non-Monotonic Refinement

Angelika H. Mader, J. Marincic, H. Wupper

Research output: Book/Report › Report › Professional

75 Downloads (Pure)

Abstract

This paper addresses the process of modelling embedded sys- tems for formal verification. We propose a modelling process built on non-monotonic refinement and a number of guidelines. The outcome of the modelling process is a model, together with a correctness argument that justifies our modelling decisions. After explaining the method, we demonstrate it on a small example.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	15
Publication status	Published - 24 May 2008

Publication series

Name	CTIT Technical Report Series
Publisher	Centre for Telematics and Information Technology, University of Twente
No.	274/TR-CTIT-08-38
ISSN (Print)	1381-3625

Keywords

IR-64771
METIS-250983
EWI-12764

Access to Document

Cite this

@book{467ddb024fca4768a0728f2ac580f045,

title = "Modelling Embedded Systems by Non-Monotonic Refinement",

abstract = "This paper addresses the process of modelling embedded sys- tems for formal verification. We propose a modelling process built on non-monotonic refinement and a number of guidelines. The outcome of the modelling process is a model, together with a correctness argument that justifies our modelling decisions. After explaining the method, we demonstrate it on a small example.",

keywords = "IR-64771, METIS-250983, EWI-12764",

author = "Mader, {Angelika H.} and J. Marincic and H. Wupper",

note = "submitted",

year = "2008",

month = may,

day = "24",

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "274/TR-CTIT-08-38",

address = "Netherlands",

}

TY - BOOK

T1 - Modelling Embedded Systems by Non-Monotonic Refinement

AU - Mader, Angelika H.

AU - Marincic, J.

AU - Wupper, H.

N1 - submitted

PY - 2008/5/24

Y1 - 2008/5/24

N2 - This paper addresses the process of modelling embedded sys- tems for formal verification. We propose a modelling process built on non-monotonic refinement and a number of guidelines. The outcome of the modelling process is a model, together with a correctness argument that justifies our modelling decisions. After explaining the method, we demonstrate it on a small example.

AB - This paper addresses the process of modelling embedded sys- tems for formal verification. We propose a modelling process built on non-monotonic refinement and a number of guidelines. The outcome of the modelling process is a model, together with a correctness argument that justifies our modelling decisions. After explaining the method, we demonstrate it on a small example.

KW - IR-64771

KW - METIS-250983

KW - EWI-12764

M3 - Report

T3 - CTIT Technical Report Series

BT - Modelling Embedded Systems by Non-Monotonic Refinement

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -