Abstract

We suggest a systematic modelling method for embedded systems. The goal is to derive models (1) that share the relevant properties with the original system, (2) that are suitable for computer aided analysis, and (3) where the modelling process itself is transparent and efficient, which is necessary to detect modelling errors early and to produce model versions (e.g. for product families). Our aim is to find techniques to enhance the quality of the model and of the informal argument that it accurately represents the system. Our approach is to use joint decomposition of the system model and the correctness property, guided by the structure of the physical environment, following, e.g., engineering blueprints. In this short note we describe our approch to combine Jacksons problem frame approach with a stepwise refinement method to arrive at provably correct designs of embedded systems.
Original languageUndefined
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages4
ISBN (Print)1381-3625
StatePublished - Jul 2005

Publication series

NameCTIT-Technical Report
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.05-33

Fingerprint

Embedded systems
Computer aided analysis
Blueprints
Decomposition

Keywords

  • IR-54531
  • EWI-721
  • METIS-228787
  • SCS-Services

Cite this

Brinksma, H., Mader, A. H., Marincic, J., & Wieringa, R. J. (2005). A Modelling Method for Embedded Systems. (CTIT-Technical Report; No. 05-33). Enschede: Centre for Telematics and Information Technology (CTIT).

Brinksma, Hendrik; Mader, Angelika H.; Marincic, J.; Wieringa, Roelf J. / A Modelling Method for Embedded Systems.

Enschede : Centre for Telematics and Information Technology (CTIT), 2005. 4 p. (CTIT-Technical Report; No. 05-33).

Research output: ProfessionalReport

@book{bff0b5fcd7e342408fbf86ad7fba7fac,
title = "A Modelling Method for Embedded Systems",
abstract = "We suggest a systematic modelling method for embedded systems. The goal is to derive models (1) that share the relevant properties with the original system, (2) that are suitable for computer aided analysis, and (3) where the modelling process itself is transparent and efficient, which is necessary to detect modelling errors early and to produce model versions (e.g. for product families). Our aim is to find techniques to enhance the quality of the model and of the informal argument that it accurately represents the system. Our approach is to use joint decomposition of the system model and the correctness property, guided by the structure of the physical environment, following, e.g., engineering blueprints. In this short note we describe our approch to combine Jacksons problem frame approach with a stepwise refinement method to arrive at provably correct designs of embedded systems.",
keywords = "IR-54531, EWI-721, METIS-228787, SCS-Services",
author = "Hendrik Brinksma and Mader, {Angelika H.} and J. Marincic and Wieringa, {Roelf J.}",
note = "Imported from DIES",
year = "2005",
month = "7",
isbn = "1381-3625",
series = "CTIT-Technical Report",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "05-33",
address = "Netherlands",

}

Brinksma, H, Mader, AH, Marincic, J & Wieringa, RJ 2005, A Modelling Method for Embedded Systems. CTIT-Technical Report, no. 05-33, Centre for Telematics and Information Technology (CTIT), Enschede.

A Modelling Method for Embedded Systems. / Brinksma, Hendrik; Mader, Angelika H.; Marincic, J.; Wieringa, Roelf J.

Enschede : Centre for Telematics and Information Technology (CTIT), 2005. 4 p. (CTIT-Technical Report; No. 05-33).

Research output: ProfessionalReport

TY - BOOK

T1 - A Modelling Method for Embedded Systems

AU - Brinksma,Hendrik

AU - Mader,Angelika H.

AU - Marincic,J.

AU - Wieringa,Roelf J.

N1 - Imported from DIES

PY - 2005/7

Y1 - 2005/7

N2 - We suggest a systematic modelling method for embedded systems. The goal is to derive models (1) that share the relevant properties with the original system, (2) that are suitable for computer aided analysis, and (3) where the modelling process itself is transparent and efficient, which is necessary to detect modelling errors early and to produce model versions (e.g. for product families). Our aim is to find techniques to enhance the quality of the model and of the informal argument that it accurately represents the system. Our approach is to use joint decomposition of the system model and the correctness property, guided by the structure of the physical environment, following, e.g., engineering blueprints. In this short note we describe our approch to combine Jacksons problem frame approach with a stepwise refinement method to arrive at provably correct designs of embedded systems.

AB - We suggest a systematic modelling method for embedded systems. The goal is to derive models (1) that share the relevant properties with the original system, (2) that are suitable for computer aided analysis, and (3) where the modelling process itself is transparent and efficient, which is necessary to detect modelling errors early and to produce model versions (e.g. for product families). Our aim is to find techniques to enhance the quality of the model and of the informal argument that it accurately represents the system. Our approach is to use joint decomposition of the system model and the correctness property, guided by the structure of the physical environment, following, e.g., engineering blueprints. In this short note we describe our approch to combine Jacksons problem frame approach with a stepwise refinement method to arrive at provably correct designs of embedded systems.

KW - IR-54531

KW - EWI-721

KW - METIS-228787

KW - SCS-Services

M3 - Report

SN - 1381-3625

T3 - CTIT-Technical Report

BT - A Modelling Method for Embedded Systems

PB - Centre for Telematics and Information Technology (CTIT)

ER -

Brinksma H, Mader AH, Marincic J, Wieringa RJ. A Modelling Method for Embedded Systems. Enschede: Centre for Telematics and Information Technology (CTIT), 2005. 4 p. (CTIT-Technical Report; 05-33).