TCOZ to Timed Automata
| dc.contributor.author | Jin Song DONG | en_US |
| dc.contributor.author | Ping HAO | en_US |
| dc.contributor.author | Sheng Chao QIN | en_US |
| dc.contributor.author | Jun SUN | en_US |
| dc.contributor.author | Yi WANG | en_US |
| dc.date.accessioned | 2004-10-21T14:28:52Z | en_US |
| dc.date.accessioned | 2017-01-23T07:00:03Z | |
| dc.date.available | 2004-10-21T14:28:52Z | en_US |
| dc.date.available | 2017-01-23T07:00:03Z | |
| dc.date.issued | 2003-06-01T00:00:00Z | en_US |
| dc.description.abstract | The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting more complete and coherent requirement models for complex real-time systems. However, the challenge is how to check the TCOZ models with tool support, especially for analyzing timing properties. Specialized graph-based modeling technique, Timed Automata (TA), has powerful mechanisms for designing real-time models using multiple clocks and has well developed automatic tool support. One weakness of TA is the lack of high level composable graphical patterns to support the systematic design for complex systems. The investigation of the possible links between TCOZ and TA may benefit both techniques. For TCOZ, TA's tool support can be reused to check timing properties (rather than developing a new TCOZ tool from scratch). For TA, a possible set of composable graphical patterns can be defined based on the semantics of the TCOZ constructs (so that those patterns can be used as a library in an engineering way). This paper firstly defines the composable TA graphical patterns, then presents sound transformation rules and a tool for projecting TCOZ specifications into TA. A case study of a railroad crossing is demonstrated. | en_US |
| dc.format.extent | 502461 bytes | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.identifier.uri | https://dl.comp.nus.edu.sg/xmlui/handle/1900.100/1430 | en_US |
| dc.language.iso | en | en_US |
| dc.relation.ispartofseries | TRC6/03 | en_US |
| dc.title | TCOZ to Timed Automata | en_US |
| dc.type | Technical Report | en_US |