Affiliation:
1. CIn - Federal University of Pernambuco, Recife, Brazil
Abstract
This paper presents a methodology for mapping the Live Sequence Chart (LSC) language to an equivalent Coloured Petri Net (CPN) model as an approach for analysis and verification of embedded systems' properties. LSC is a language for system specification, allowing one to specify what should happen for all execution of the system as well as the modeling of anti-scenarios. However, analysis and verification of systems' properties are not possible. In order to allow diagnosis of inconsistent specifications, besides simulation, verification and analysis should be considered. Therefore the proposition of a CPN model for LSC allows verification and analysis of systems described in LSC, hence, contributing for increasing designers' confidence on the system development process and reducing risks that may lead to project failure.
Publisher
Association for Computing Machinery (ACM)
Reference19 articles.
1. Extensible Markup Language. http://www.xml.org. Extensible Markup Language. http://www.xml.org.
2. JDOM API. http://www.jdom.org. JDOM API. http://www.jdom.org.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献