Paper Info
Title
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification.
Abstract
High-level Petri net classes are suited to specify concurrent processes with emphasis both in control and data processing, making them appropriate to specify distributed embedded systems (DES). Embedded systems components are usually synchronous, which means that DES can be seen as Globally-Asynchronous Locally-Synchronous (GALS) systems. This paper proposes to include in high-level Petri nets a set of concepts already introduced for low-level Petri nets allowing the specification of GALS systems, namely time domains, test arcs and priorities. Additionally, this paper proposes external messages and three types of (high-level) asynchronous communication channels, to specify the interaction between distributed components based on message exchange. With these extensions, GALS-DES can be specified using high-level Petri nets. The resulting models include the specification of each component with well-defined boundaries and interface, and also the explicit specification of the asynchronous interaction between components. These models will be used not only to specify the system behavior, but also to be the input for model-checking tools (supporting its verification) and automatic code generation tools (supporting its implementation in software and hardware platforms), giving a contribution to the model-based development approach and hardware-software co-design of DES based on high-level Petri nets.
Year
DOI
Venue
2013
10.1007/978-3-642-37291-9_24
IFIP Advances in Information and Communication Technology
Keywords
DocType
Volume
Distributed embedded systems,GALS systems,model-based development,high-level Petri nets,asynchronous-channels
Conference
394
ISSN
Citations 
PageRank 
1868-4238
1
0.36
References 
Authors
9
2
Name
Order
Citations
PageRank
Filipe Moutinho1507.28
Luís Gomes23512.80