Please use this identifier to cite or link to this item: https://doi.org/10.1109/TASE.2007.41
DC FieldValue
dc.titleRealizing live sequence charts in SystemVerilog
dc.contributor.authorWang, H.H.
dc.contributor.authorSun, J.
dc.contributor.authorQin, S.
dc.contributor.authorDong, J.S.
dc.date.accessioned2013-07-04T07:54:37Z
dc.date.available2013-07-04T07:54:37Z
dc.date.issued2007
dc.identifier.citationWang, H.H.,Sun, J.,Qin, S.,Dong, J.S. (2007). Realizing live sequence charts in SystemVerilog. First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07 : 379-388. ScholarBank@NUS Repository. <a href="https://doi.org/10.1109/TASE.2007.41" target="_blank">https://doi.org/10.1109/TASE.2007.41</a>
dc.identifier.isbn0769528562
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/40009
dc.description.abstractThe design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requirement for its safety performance. In early stages, system requirements are often specified as scenarios of behavior using sequence charts for different use cases. This specification must be precise, intuitive and expressive enough to capture different aspects of embedded control systems. As a rather rich and useful extension to the classical message sequence charts, Live Sequence Charts (LSC), which provide a rich collection of constructs for specifying both possible and mandatory behaviors, are very suitable for designing an embedded control system. However, it is not a trivial task to realize a high-level design model in executable program codes effectively and correctly. This paper tackles the challenging task by providing a mapping algorithm to automatically synthesize SystemVerilog programs from given LSC specifications. © 2007 IEEE.
dc.description.urihttp://libproxy1.nus.edu.sg/login?url=http://dx.doi.org/10.1109/TASE.2007.41
dc.sourceScopus
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.doi10.1109/TASE.2007.41
dc.description.sourcetitleFirst Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07
dc.description.page379-388
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

3
checked on May 15, 2019

Page view(s)

75
checked on May 18, 2019

Google ScholarTM

Check

Altmetric


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