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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call