Please use this identifier to cite or link to this item:
|Title:||Formal designs for embedded and hybrid systems||Authors:||Dong, J.S.
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. 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.
checked on Nov 14, 2019
checked on Oct 28, 2019
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.