Integrating methods for the design of real-time systems

J.J.M. Hooman, J. Vain

Research output: Contribution to journalArticleAcademicpeer-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 languageEnglish
Pages (from-to)489-502
JournalJournal of Systems Architecture
Volume42
Issue number6-7
DOIs
Publication statusPublished - 1996

Fingerprint Dive into the research topics of 'Integrating methods for the design of real-time systems'. Together they form a unique fingerprint.

Cite this