Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have