| Status | 已發表Published |
| Verifying Duration Properties of Timed Transition Systems | |
Liu, Zhiming1; Ravn, Anders2; Li, Xiaoshan3
| |
| 1998 | |
| Source Publication | Programming Concepts and Methods PROCOMET ’98 |
| Author of Source | Edited by David Gries, Willem-Paul de Roever |
| Publisher | Springer, Boston, MA |
| Pages | 327-345 |
| Abstract | This paper proposes a method for formal real-time systems development: Requirements and high level design decisions are time interval properties and are therefore specified in the Duration Calculus (DC), while implementations are described by timed transition systems (TTS). A link from implementation properties to the requirement and design properties is given by interpreting a DC formula in a model of the executions of a TTS and then providing rules for lifting properties proved by structural induction for a TTS to DC formulas. The method is illustrated by the Gas Burner case study. |
| Keyword | Real-time Systems Duration Calculus Timed Transition Systems Specification Verification |
| DOI | 10.1007/978-0-387-35358-6_22 |
| URL | View the original |
| Language | 英語English |
| Fulltext Access | |
| Citation statistics | |
| Document Type | Book chapter |
| Collection | Faculty of Science and Technology DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE |
| Affiliation | 1.University of Leicester 2.Technical University of Denmark 3.University of Macau |
| Recommended Citation GB/T 7714 | Liu, Zhiming,Ravn, Anders,Li, Xiaoshan. Verifying Duration Properties of Timed Transition Systems[M]. Programming Concepts and Methods PROCOMET ’98:Springer, Boston, MA, 1998, 327-345. |
| APA | Liu, Zhiming., Ravn, Anders., & Li, Xiaoshan (1998). Verifying Duration Properties of Timed Transition Systems. Programming Concepts and Methods PROCOMET ’98, 327-345. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment