An integrated technique for developing real-time systems

J.J.M. Hooman; J. Vain

doi:10.1109/EMWRTS.1995.514317

An integrated technique for developing real-time systems

J.J.M. Hooman, J. Vain

Algorithms

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

Abstract

The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system

Original language	English
Title of host publication	Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, June 14-16, 1995, Odense, Denmark
Place of Publication	Los Alamitos
Publisher	IEEE Computer Society
Pages	236-243
ISBN (Print)	0-8186-7112-2
DOIs	https://doi.org/10.1109/EMWRTS.1995.514317
Publication status	Published - 1995

Access to Document

10.1109/EMWRTS.1995.514317

Cite this

@inproceedings{42720ec0c48c4f66835eac77609693e8,

title = "An integrated technique for developing real-time systems",

abstract = "The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system",

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

year = "1995",

doi = "10.1109/EMWRTS.1995.514317",

language = "English",

isbn = "0-8186-7112-2",

pages = "236--243",

booktitle = "Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, June 14-16, 1995, Odense, Denmark",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - An integrated technique for developing real-time systems

AU - Hooman, J.J.M.

AU - Vain, J.

PY - 1995

Y1 - 1995

N2 - The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system

AB - The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give rules for compositional refinement steps. The ideas are illustrated by the design of a mine pump control system

U2 - 10.1109/EMWRTS.1995.514317

DO - 10.1109/EMWRTS.1995.514317

M3 - Conference contribution

SN - 0-8186-7112-2

SP - 236

EP - 243

BT - Proceedings of the Seventh Euromicro Workshop on Real-Time Systems, June 14-16, 1995, Odense, Denmark

PB - IEEE Computer Society

CY - Los Alamitos

ER -

An integrated technique for developing real-time systems

Abstract

Access to Document

Fingerprint

Cite this