Paper Info
Title
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling
Abstract
Model-based development approaches can provide a major contribution in the development of globally asynchronous locally synchronous distributed embedded systems (GALS-DES) if supported by suited modeling formalisms and design automation tools. The use of Petri nets (either low-level or high-level classes) extended with asynchronous-channels (ACs), time domains, priorities, inputs, and outputs is proposed in this paper to model GALS-DES (composed by deterministic components), ensuring that the created GALS model is locally deterministic, distributable, network-independent, and platform-independent. The proposed ACs, with high level of abstraction, specify the components interaction through Petri net objects with specific attributes that unambiguously identify this interaction within the GALS model. Two algorithms are proposed to translate and decompose the GALS model into Petri net models without ACs, which can be used as inputs in model-checking tools and automatic code generators supporting GALS-DES verification and implementation. The specification of a small goods lift distributed controller illustrates the use of the proposed ACs.
Year
DOI
Venue
2014
10.1109/TII.2014.2341933
Industrial Informatics, IEEE Transactions  
Keywords
DocType
Volume
Petri nets,control engineering computing,distributed control,distributed processing,embedded systems,lifts,program compilers,program verification,GALS-DES verification,Petri net-based GALS distributed embedded system modeling,asynchronous-channels,automatic code generators,component interaction specification,design automation tools,deterministic components,globally asynchronous locally synchronous distributed embedded systems,locally deterministic model,locally distributable model,model-based development,model-checking tools,modeling formalisms,network-independent model,platform-independent model,small goods lift distributed controller,Asynchronous channels,Petri nets,distributed embedded systems (DESs),globally asynchronous locally synchronous (GALS) systems,model-based development (MBD)
Journal
10
Issue
ISSN
Citations 
4
1551-3203
13
PageRank 
References 
Authors
0.68
26
2
Name
Order
Citations
PageRank
Filipe Moutinho1507.28
Luís Gomes28722.71