Integrating VDM++ and Real-Time System Design

ePubs

The open archive for STFC research publications

Persistent URL	http://purl.org/net/epubs/work/28918
Record Status	Checked
Record Id	28918
Title	Integrating VDM++ and Real-Time System Design
Contributors	K Lano, S Goldsack, J Bicarregui, S Kent
Abstract	This paper presents work performed in the EPSRC "Object-oriented Specification of Reactive and Real-time Systems" project. It aims to provide formal design methods for real-time systems, using a combination of the VDM++ formal method and the HRT-HOOD method. We identify refinement steps for hand real-time systems in VDM++, together with a case study of a mine-pump control system, involving a combination of VDM++ and HRT-HOOD. We also consider the representation of hybrid systems in VDM++.
Organisation	CCLRC , BITD
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language	English (EN)

Type	Details	URI(s)	Local file(s)	Year
Journal Article	Lecture Notes in Computer Science 1212 (1997): 188-219. Is in proceedings of: The Z Formal Specification Notation. ISBN 978-3-540-68490-0 (ZUM '97), ., ..		Integrating VDM++.pdf	1997