1997 | ReviewPaper | Buchkapitel
Specification and refinement of continuous real-time systems
verfasst von : Stephen Goldsack, Kevin Lano, Eugene Durr
Erschienen in: Transformation-Based Reactive Systems Development
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
This paper describes techniques for the specification and refinement of control and simulation software for systems involving continuous and discrete data. We give a formal concept of refinement suitable for this domain, which generalises conventional refinement in VDM-SL.We also show how VDM++ can be used in conjunction with classical discrete controller synthesis techniques.