UM  > 科技學院  > 電腦及資訊科學系
Specification and simulation of a concurrent real-time system
Li Xiaoshan
1999
Source PublicationInternational Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings
Pages197-204
AbstractInterval Temporal Logic (ITL) is real-time logic for specifying and verifying real-time systems. In this paper, ITL is used to specify a concurrent real-time system: assembly line which is an abstract model of industrial robot control systems. We can specify the abstract properties of the system in ITL as well as the system design using the executable subset of ITL, Tempura. Comparing with other approaches, the first advantage of this methodology is that the concurrent real-time systems can be naturally specified in true concurrent model rather than interleaving model. The second is that the specification of system design is executable so that the simulation can be obtained in the same formal framework. Therefore, both the properties of the system and the consistency of specification can be checked before verification.
URLView the original
Language英語
Fulltext Access
Document TypeJournal article
CollectionDEPARTMENT OF COMPUTER AND INFORMATION SCIENCE
AffiliationUniversidade de Macau
Recommended Citation
GB/T 7714
Li Xiaoshan. Specification and simulation of a concurrent real-time system[J]. International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings,1999:197-204.
APA Li Xiaoshan.(1999).Specification and simulation of a concurrent real-time system.International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings,197-204.
MLA Li Xiaoshan."Specification and simulation of a concurrent real-time system".International Workshop on Software Engineering for Parallel and Distributed Systems, Proceedings (1999):197-204.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[Li Xiaoshan]'s Articles
Baidu academic
Similar articles in Baidu academic
[Li Xiaoshan]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[Li Xiaoshan]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.