File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: MICROCOMPUTER SYSTEM SPECIFICATION USING INTERVAL LOGIC AND A MODIFIED LABELLED-NET MODEL.

TitleMICROCOMPUTER SYSTEM SPECIFICATION USING INTERVAL LOGIC AND A MODIFIED LABELLED-NET MODEL.
Authors
Issue Date1986
Citation
Iee Proceedings E: Computers And Digital Techniques, 1986, v. 133 n. 4 pt E, p. 223-234 How to Cite?
AbstractThe application of interval logic and modified labelled-net models for system specification and verification is introduced. By means of interval logic and modified labelled-net models, system properties involving time interval information can be specified and verified. In interval logic, derivation rules are used to obtain the criteria on the time relationships for the correct implementation of the system. The verification of system properties by derivation rules can be performed in the net space by net transformations which can be handled by an interactive computer. The human decision to select an appropriate net transformation rule is indispensable. Token passing is used to verify that the criteria for correct implementation are met by the parameters of a given set of components. An offline program without human intervention may be used to perform this job. An application example of a microcomputer system demonstrates the power of these models.
Persistent Identifierhttp://hdl.handle.net/10722/154859
ISSN

 

DC FieldValueLanguage
dc.contributor.authorLi, HFen_US
dc.contributor.authorCheung, YSen_US
dc.contributor.authorChiu, PPKen_US
dc.date.accessioned2012-08-08T08:30:57Z-
dc.date.available2012-08-08T08:30:57Z-
dc.date.issued1986en_US
dc.identifier.citationIee Proceedings E: Computers And Digital Techniques, 1986, v. 133 n. 4 pt E, p. 223-234en_US
dc.identifier.issn0143-7062en_US
dc.identifier.urihttp://hdl.handle.net/10722/154859-
dc.description.abstractThe application of interval logic and modified labelled-net models for system specification and verification is introduced. By means of interval logic and modified labelled-net models, system properties involving time interval information can be specified and verified. In interval logic, derivation rules are used to obtain the criteria on the time relationships for the correct implementation of the system. The verification of system properties by derivation rules can be performed in the net space by net transformations which can be handled by an interactive computer. The human decision to select an appropriate net transformation rule is indispensable. Token passing is used to verify that the criteria for correct implementation are met by the parameters of a given set of components. An offline program without human intervention may be used to perform this job. An application example of a microcomputer system demonstrates the power of these models.en_US
dc.languageengen_US
dc.relation.ispartofIEE Proceedings E: Computers and Digital Techniquesen_US
dc.titleMICROCOMPUTER SYSTEM SPECIFICATION USING INTERVAL LOGIC AND A MODIFIED LABELLED-NET MODEL.en_US
dc.typeArticleen_US
dc.identifier.emailCheung, YS:paul.cheung@hku.hken_US
dc.identifier.authorityCheung, YS=rp00077en_US
dc.description.naturelink_to_subscribed_fulltexten_US
dc.identifier.scopuseid_2-s2.0-0022754791en_US
dc.identifier.volume133en_US
dc.identifier.issue4 pt Een_US
dc.identifier.spage223en_US
dc.identifier.epage234en_US
dc.identifier.scopusauthoridLi, HF=15035118700en_US
dc.identifier.scopusauthoridCheung, YS=7202595335en_US
dc.identifier.scopusauthoridChiu, PPK=7103182574en_US

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats