Decomposition of distributed edge systems based on the Petri nets and linear algebra technique
| Autor: | Remigiusz Wiśniewski, Andrei Karatkevich, Łukasz Stefanowicz, Marcin Wojnakowski |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
010302 applied physics
Correctness 060102 archaeology Computer science Computation 06 humanities and the arts Petri net 01 natural sciences Formal proof Computational science Hardware and Architecture 0103 physical sciences Linear algebra Decomposition (computer science) 0601 history and archaeology Enhanced Data Rates for GSM Evolution Software Edge computing |
| Zdroj: | Journal of Systems Architecture. 96:20-31 |
| ISSN: | 1383-7621 |
| DOI: | 10.1016/j.sysarc.2019.01.015 |
| Popis: | Edge computing, the architecture of cloud computing systems in which operations and computation tasks are shifted from the centralized cloud-based system to the devices being close to end users, has been gaining increasing popularity in recent years. Prototyping of such systems involves several tasks, including decomposition (splitting) of the system into distributed components. This paper proposes a novel decomposition algorithm oriented to the distributed edge systems specified by Petri nets. Formal proof of the correctness of the proposed algorithm is presented, together with corresponding theoretical results. The idea is illustrated by a real-life example of the distributed edge system. The experimental verification and comparison with the traditional decomposition technique gives proof of the efficiency of the proposed technique. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect