Integrating methods for the design of real-time systems

J.J.M. Hooman; J. Vain

doi:10.1016/S1383-7621(96)00036-7

Integrating methods for the design of real-time systems

J.J.M. Hooman, J. Vain

Algorithms, Geometry and Applications

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Scopus)

Abstract

With the aim of designing complex real-time systems, we investigate the integration of conceptual modeling techniques, formal specification, and compositional verification. A constructive transformation is defined from a conceptual meta-model to a real-time specification language. Refinement steps can be verified formally by means of compositional proof rules. The approach is illustrated by the design of a mine pump control system.

Original language	English
Pages (from-to)	489-502
Journal	Journal of Systems Architecture
Volume	42
Issue number	6-7
DOIs	https://doi.org/10.1016/S1383-7621(96)00036-7
Publication status	Published - 1996

Access to Document

10.1016/S1383-7621(96)00036-7

Cite this

@article{26524bddb9244eae92141d90302fcfb3,

title = "Integrating methods for the design of real-time systems",

abstract = "With the aim of designing complex real-time systems, we investigate the integration of conceptual modeling techniques, formal specification, and compositional verification. A constructive transformation is defined from a conceptual meta-model to a real-time specification language. Refinement steps can be verified formally by means of compositional proof rules. The approach is illustrated by the design of a mine pump control system.",

author = "J.J.M. Hooman and J. Vain",

year = "1996",

doi = "10.1016/S1383-7621(96)00036-7",

language = "English",

volume = "42",

pages = "489--502",

journal = "Journal of Systems Architecture",

issn = "1383-7621",

publisher = "Elsevier",

number = "6-7",

}

TY - JOUR

T1 - Integrating methods for the design of real-time systems

AU - Hooman, J.J.M.

AU - Vain, J.

PY - 1996

Y1 - 1996

N2 - With the aim of designing complex real-time systems, we investigate the integration of conceptual modeling techniques, formal specification, and compositional verification. A constructive transformation is defined from a conceptual meta-model to a real-time specification language. Refinement steps can be verified formally by means of compositional proof rules. The approach is illustrated by the design of a mine pump control system.

AB - With the aim of designing complex real-time systems, we investigate the integration of conceptual modeling techniques, formal specification, and compositional verification. A constructive transformation is defined from a conceptual meta-model to a real-time specification language. Refinement steps can be verified formally by means of compositional proof rules. The approach is illustrated by the design of a mine pump control system.

U2 - 10.1016/S1383-7621(96)00036-7

DO - 10.1016/S1383-7621(96)00036-7

M3 - Article

SN - 1383-7621

VL - 42

SP - 489

EP - 502

JO - Journal of Systems Architecture

JF - Journal of Systems Architecture

IS - 6-7

ER -

Integrating methods for the design of real-time systems

Abstract

Access to Document

Fingerprint

Cite this