A Modelling Method for Embedded Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 Jackson¿s problem frame approach [1, 2] with a stepwise refinement method to arrive at provably correct designs of embedded systems.
LanguageUndefined
Title of host publication2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems
PublisherIEEE Computer Society
Pages-
Number of pages4
ISBN (Print)not assigned
StatePublished - Oct 2005

Keywords

  • SCS-Services
  • METIS-229272
  • IR-54783
  • EWI-15450

Cite this

Brinksma, H., Mader, A. H., Marincic, J., & Wieringa, R. J. (2005). A Modelling Method for Embedded Systems. In 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems (pp. -). IEEE Computer Society.
Brinksma, Hendrik ; Mader, Angelika H. ; Marincic, J. ; Wieringa, Roelf J./ A Modelling Method for Embedded Systems. 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems. IEEE Computer Society, 2005. pp. -
@inproceedings{018eb4faab8e48d4a79a3ba7eca8bf01,
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 Jackson¿s problem frame approach [1, 2] with a stepwise refinement method to arrive at provably correct designs of embedded systems.",
keywords = "SCS-Services, METIS-229272, IR-54783, EWI-15450",
author = "Hendrik Brinksma and Mader, {Angelika H.} and J. Marincic and Wieringa, {Roelf J.}",
note = "MoDeVa 05)",
year = "2005",
month = "10",
language = "Undefined",
isbn = "not assigned",
pages = "--",
booktitle = "2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems",
publisher = "IEEE Computer Society",
address = "United States",

}

Brinksma, H, Mader, AH, Marincic, J & Wieringa, RJ 2005, A Modelling Method for Embedded Systems. in 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems. IEEE Computer Society, pp. -.

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

2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems. IEEE Computer Society, 2005. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - A Modelling Method for Embedded Systems

AU - Brinksma,Hendrik

AU - Mader,Angelika H.

AU - Marincic,J.

AU - Wieringa,Roelf J.

N1 - MoDeVa 05)

PY - 2005/10

Y1 - 2005/10

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 Jackson¿s problem frame approach [1, 2] 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 Jackson¿s problem frame approach [1, 2] with a stepwise refinement method to arrive at provably correct designs of embedded systems.

KW - SCS-Services

KW - METIS-229272

KW - IR-54783

KW - EWI-15450

M3 - Conference contribution

SN - not assigned

SP - -

BT - 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems

PB - IEEE Computer Society

ER -

Brinksma H, Mader AH, Marincic J, Wieringa RJ. A Modelling Method for Embedded Systems. In 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems. IEEE Computer Society. 2005. p. -.