Please use this identifier to cite or link to this item: https://doi.org/10.1142/S0218194005002117
Title: Formal designs for embedded and hybrid systems
Authors: Dong, J.S. 
Hao, P.
Mahony, B.
Keywords: Formal methods
TCOZ
Timed hybrid systems
Issue Date: 2005
Source: Dong, J.S., Hao, P., Mahony, B. (2005). Formal designs for embedded and hybrid systems. International Journal of Software Engineering and Knowledge Engineering 15 (2) : 373-378. ScholarBank@NUS Repository. https://doi.org/10.1142/S0218194005002117
Abstract: The design of embedded and hybrid systems requires powerful mechanisms for modeling data, state, concurrency and real-time behaviour. The first part of this paper illustrates a powerful design notation Timed Communicating Object Z (TCOZ) that has both channel based and sensor/actuator based interfaces. We believe that TCOZ is well suited for presenting more complete and coherent design models for complex embedded and hybrid systems. However, the challenge is how to analyze and check these models with tools support. One effective approach is to project (transform) the design models into multiple domains, then to use existing specialized tools in those domains to perform the checking and analyzing tasks. The second part of this paper demonstrates one particular projection from TCOZ designs to Timed Automata (TA) models so that TA model checkers can be used to check time related properties. © World Scientific Publishing Company.
Source Title: International Journal of Software Engineering and Knowledge Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/38957
ISSN: 02181940
DOI: 10.1142/S0218194005002117
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

2
checked on Jan 16, 2018

Page view(s)

45
checked on Jan 13, 2018

Google ScholarTM

Check

Altmetric


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