Specification and Validation of Dynamic Systems Using Temporal Logic

Cited 0 time in webofscience Cited 0 time in scopus
  • Hit : 548
  • Download : 107
DC FieldValueLanguage
dc.contributor.authorCho, Seung Mo-
dc.contributor.authorKim, Hyung Ho-
dc.contributor.authorCha, Sung Deok-
dc.contributor.authorBae, Doo Hwan-
dc.date.accessioned2010-05-18T07:10:41Z-
dc.date.available2010-05-18T07:10:41Z-
dc.date.issued2001-08-
dc.identifier.citationIEE Proceedings - Software, Vol.148, No.4, pp.135-140en
dc.identifier.issn1462-5970-
dc.identifier.urihttp://hdl.handle.net/10203/18431-
dc.description.abstractA specification and validation technique for dynamic systems is proposed. In particular, a new temporal logic called HDTL, is presented and the tableau method revised for automatic analysis. Using a freeze quantifier, HDTL with the revised tableau method makes it possible to specify the correctness requirements of dynamic systems and validate them. The proposed logic is rather generic, i.e. it has only a few assumptions on operational language. The authors introduce a simple dynamic modelling language and illustrate its experiment. The experiment shows that HDTL is suitable for specifying dynamic properties and the analysis technique is promisingen
dc.language.isoen_USen
dc.publisherInstitution of Engineering and Technologyen
dc.subjectDynamic systemsen
dc.subjecttemporal logicen
dc.titleSpecification and Validation of Dynamic Systems Using Temporal Logicen
dc.typeArticleen
dc.identifier.doi10.1049/ip-sen:20010558-
Appears in Collection
CS-Journal Papers(저널논문)

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0