DocumentCode
2352897
Title
An integrated technique for developing real-time systems
Author
Hooman, J. ; Vain, J.
Author_Institution
Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
fYear
1995
fDate
14-16 Jun 1995
Firstpage
236
Lastpage
243
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
Keywords
formal specification; knowledge based systems; program verification; real-time systems; specification languages; compositional refinement steps; compositional verification; conceptual meta model; conceptual modeling techniques; constructive transformations; formal specification; integrated technique; knowledge engineering context; mine pump control system; real time specification language; real time systems; real-time systems development; Context modeling; Control systems; Delay; Design engineering; Formal specifications; Formal verification; Knowledge engineering; Real time systems; Specification languages; System software;
fLanguage
English
Publisher
ieee
Conference_Titel
Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on
Conference_Location
Odense
ISSN
1068-3070
Print_ISBN
0-8186-7112-2
Type
conf
DOI
10.1109/EMWRTS.1995.514317
Filename
514317
Link To Document