Please use this identifier to cite or link to this item:
Title: Formal designs for embedded and hybrid systems
Authors: Dong, J.S. 
Hao, P.
Mahony, B.
Keywords: Formal methods
Timed hybrid systems
Issue Date: 2005
Citation: 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.
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
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.


checked on Nov 14, 2019

Page view(s)

checked on Oct 28, 2019

Google ScholarTM



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