• DocumentCode
    2909588
  • Title

    Transforming continuous into discrete specifications with VDM++

  • Author

    Goldsack, S. ; Lano, K. ; Sanchez, A.

  • Author_Institution
    Imperial Coll., London, UK
  • fYear
    1996
  • fDate
    35405
  • Firstpage
    42430
  • Lastpage
    42432
  • Abstract
    The VDM++ language, developed in the ESPRIT AFRODITE language as an object-oriented, concurrent and real-time extension of VDM, supports the specification of continuous and hybrid behaviour via the concept of time variables. These variables, which can be either inputs or outputs to a class, may vary continuously over time, and without the execution of any method of the class taking place. They can be constrained and related by differential and integral calculus formulae
  • Keywords
    specification languages; ESPRIT AFRODITE language; VDM++ language; continuous specifications; differential calculus; discrete specifications; hybrid behaviour; integral calculus; time variables;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    Hybrid Control for Real-Time Systems (Digest No: 1996/256), IEE Colloquium on
  • Conference_Location
    London
  • Type

    conf

  • DOI
    10.1049/ic:19961365
  • Filename
    640821
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2909588