Abstract
This paper identifies ways in which formal real-time notations (VDM++) real-time design methods (HRT-HOOD) and simulation tools (gPROMS) can be combined in practical developments. The benefits of such a combination include that a precise semantics can be attached to specifications in HRT-HOOD using the VDM++notation and that HRT-HOOD guidelines on structuring and decomposition can be used for VDM++specifications and designs. Abstract real-time specifications can also be animated at an early development stage to validate them against requirements.
Cite
CITATION STYLE
Lano, K., & Goldsack, S. (1998). Formalising real-time system design. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1357, pp. 436–445). Springer Verlag. https://doi.org/10.1007/3-540-69687-3_81
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
