Name
Abstract | ||
|---|---|---|
The design and implementation of an embedded system is often a complex and complicated process. Usually it takes significant amount of time. This process is even more complex in the case of a distributed embedded system. Thus, it is necessary to search for new design methods that will improve software implementation time and simplify the verification process. One of the approaches is to use the behaviour models. Specific model transformations allow carrying hardware synthesis and obtaining either generated code fragments or the entire implementation. Furthermore, currently there is lack of models supporting the description of distributed embedded systems that allow for automatic synthesis, starting from the model, through its decomposition, to implementation. In this paper, we propose a new model: Interpreted Petri Nets for Embedded Systems (IPNES) for describing the behaviour of an embedded system. The model allows describing both a single-module system and an entire distributed system that requires processes synchronization and data exchange. This model contains a number of different elements that are necessary for operating of any embedded system. It can be used in the subsequent stages of distributed embedded system synthesis process, i.e. decomposition and automatic code generation. (C) 2021 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY-NC-ND license (https://crativecommons.org/licenses/by-nc-nd/4.0) Peer-review under responsibility of the scientific committee of KES International. |
Year | DOI | Venue |
|---|---|---|
2021 | 10.1016/j.procs.2021.08.207 | KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KSE 2021) |
Keywords | DocType | Volume |
model-based design, embedded system design, formal verification, Petri nets, distributed system, cyber-physical system | Conference | 192 |
ISSN | Citations | PageRank |
1877-0509 | 0 | 0.34 |
References | Authors | |
0 | 6 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kazimierz Krzywicki | 1 | 0 | 1.01 |
| Grzegorz Andrzejewski | 2 | 0 | 1.01 |
| Wojciech Zajac | 3 | 0 | 1.01 |
| Tomasz Królikowski | 4 | 0 | 0.68 |
| Alexander Barkalov | 5 | 0 | 0.34 |
| Larysa Titarenko | 6 | 0 | 0.34 |