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
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;
Conference_Titel :
Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on
Conference_Location :
Odense
Print_ISBN :
0-8186-7112-2
DOI :
10.1109/EMWRTS.1995.514317