An integrated technique for developing real-time systems

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.