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

Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review

1 Citaat (Scopus)

Samenvatting

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.

Originele taal-2	Engels
Pagina's (van-tot)	489-502
Tijdschrift	Journal of Systems Architecture
Volume	42
Nummer van het tijdschrift	6-7
DOI's	https://doi.org/10.1016/S1383-7621(96)00036-7
Status	Gepubliceerd - 1996

Toegang tot document

10.1016/S1383-7621(96)00036-7

Citeer dit

@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

Samenvatting

Toegang tot document

Vingerafdruk

Citeer dit