The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 17
J. Van Katwijk , Delft Univ. of Technol., Netherlands
E. Durr , Delft Univ. of Technol., Netherlands
S. Goldsack , Delft Univ. of Technol., Netherlands
ABSTRACT
VDM/sup ++/ is a formal object oriented specification language, which extends VDM by providing object-orientation as well as real-time and parallel features. The use of the language is supported by an extensive toolset and design guidelines. The former offers graphical representations, syntactic and semantic checking, pretty printing and code generation. The latter aim at presenting guidelines for modelling and subsequent development. We argue that, despite its formal character, VDM/sup ++/ is a practically applicable vehicle for software development for real-time control systems. An outline specification case study is included.
INDEX TERMS
object-oriented programming; hybrid object-oriented real-time software development; VDM++; formal object oriented specification language; VDM; parallel programming; toolset; design guidelines; graphical representations; syntactic checking; semantic checking; printing; code generation; modelling; real-time control systems; specification case study
CITATION

E. Durr, S. Goldsack and J. Van Katwijk, "Hybrid object-oriented real-time software development with VDM/sup ++/," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 17.
doi:10.1109/ICFEM.1997.630393
87 ms
(Ver 3.3 (11022016))