Mapping live sequence chart to coloured petri nets for analysis and verification of embedded systems

Authors:
Leonardo Amorim;Paulo Maciel;Meuse Nogueira;Raimundo Barreto;Eduardo Tavares
Affiliations:
CIn - Federal University of Pernambuco, Recife, Brazil;CIn - Federal University of Pernambuco, Recife, Brazil;CIn - Federal University of Pernambuco, Recife, Brazil;CIn - Federal University of Pernambuco, Recife, Brazil;CIn - Federal University of Pernambuco, Recife, Brazil
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
2006

Citing 8
Cited 6

Statecharts: A visual formalism for complex systems

Science of Computer Programming
The Unified Modeling Language user guide

The Unified Modeling Language user guide
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Executable Object Modeling with Statecharts

Computer
An Introduction to the Practical Use of Coloured Petri Nets

Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
An Introduction to the Theoretical Aspects of Coloured Petri Nets

A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Object-Oriented Software Engineering: A Use Case Driven Approach

Object-Oriented Software Engineering: A Use Case Driven Approach

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Transformation from live sequence charts to colored Petri nets

Proceedings of the 2007 Summer Computer Simulation Conference
Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations

Information Processing Letters
Monitor petri nets for security monitoring

Proceedings of the International Workshop on Security and Dependability for Resource Constrained Embedded Systems
Multi-modal scenarios revisited: A net-based representation

Theoretical Computer Science
Data and abstraction for scenario-based modeling with petri nets

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

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.