| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
Abstract : This paper shows a methodology for Globally-Asynchronous-Locally-Synchronous (GALS) systems specification and verification. The distributed system is specified by non-autonomous Petri net modules, obtained after the partition of a (global) Petri net model. These modules are represented using IOPT (Input-Output Place-Transition) Petri net models, communicating through dedicated communication channels forming the GALS system under analysis. This set of modules is then automatically translated into Maude code through a MDA approach. As the modules of GALS systems run concurrently, the Maude semantics for concurrent objects is used along with message representation. Finally, as a particular case, the system state space is generated from the Maude specification of the GALS system, allowing property verification.
Cited literature [8 references]
https://hal.inria.fr/hal-01566548
Contributor : Hal Ifip <>
Submitted on : Friday, July 21, 2017 - 11:25:13 AM
Last modification on : Thursday, June 4, 2020 - 6:26:03 PM
Contributor : Hal Ifip <>
Submitted on : Friday, July 21, 2017 - 11:25:13 AM
Last modification on : Thursday, June 4, 2020 - 6:26:03 PM
File
978-3-642-19170-1_26_Chapter.p...
Files produced by the author(s)
Licence
Distributed under a Creative Commons Attribution 4.0 International License