- Tytuł:
- Cross modeling of embedded systems using SysML and Petri Nets
- Autorzy:
-
Szmuc, Wojciech
Szmuc, Tomasz - Powiązania:
- https://bibliotekanauki.pl/articles/397841.pdf
- Data publikacji:
- 2018
- Wydawca:
- Politechnika Łódzka. Wydział Mikroelektroniki i Informatyki
- Tematy:
-
embedded systems
cross modeling
formal verification
systemy wbudowane
modelowanie krzyżowe
formalna weryfikacja - Opis:
- Cross modeling in embedded systems development is proposed in the paper. The main idea consists in a translation of SysML artifacts into the related Coloured Petri Net (CPN) models, which may be verified directly or using other tools, e.g. Temporal Logic Provers. The paper is an extension of [20] mainly by insertion of sequence diagrams (SysML) and presentation of their mapping into CPN models. The additional part describes communication features and completes the cross modeling approach.
- Źródło:
-
International Journal of Microelectronics and Computer Science; 2018, 9, 2; 60-65
2080-8755
2353-9607 - Pojawia się w:
- International Journal of Microelectronics and Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł