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.
|Journal||Journal of Systems Architecture|
|Publication status||Published - 1996|