Please use this identifier to cite or link to this item: https://doi.org/10.1142/S0218194005002117
DC FieldValue
dc.titleFormal designs for embedded and hybrid systems
dc.contributor.authorDong, J.S.
dc.contributor.authorHao, P.
dc.contributor.authorMahony, B.
dc.date.accessioned2013-07-04T07:30:43Z
dc.date.available2013-07-04T07:30:43Z
dc.date.issued2005
dc.identifier.citationDong, 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
dc.identifier.issn02181940
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/38957
dc.description.abstractThe 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.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1142/S0218194005002117
dc.sourceScopus
dc.subjectFormal methods
dc.subjectTCOZ
dc.subjectTimed hybrid systems
dc.typeArticle
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1142/S0218194005002117
dc.description.sourcetitleInternational Journal of Software Engineering and Knowledge Engineering
dc.description.volume15
dc.description.issue2
dc.description.page373-378
dc.description.codenISEKE
dc.identifier.isiut000229454100034
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

2
checked on Nov 14, 2019

Page view(s)

57
checked on Oct 28, 2019

Google ScholarTM

Check

Altmetric


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