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 :
بازگشت