Sleptsov net based reliable embedded system design on microcontrollers and FPGAs

Conference paper


Xu, R., Zhang, S., Liu, D. and Zaitsev, D. 2024. Sleptsov net based reliable embedded system design on microcontrollers and FPGAs. 2024 IEEE International Conference on Embedded Software and Systems (ICESS). IEEE. https://doi.org/10.1109/ICESS64277.2024.00011
AuthorsXu, R., Zhang, S., Liu, D. and Zaitsev, D.
TypeConference paper
Abstract

We present a novel methodology of embedded systems design based on Sleptsov net (SN) formalism. We use an SN as a graphical language of concurrent programming and as a modeling language for plant specification and integrated model composition. Among the advantages, we mention the applicability of formal verification techniques for reliable embedded system design, vivid graphical language, and compatibility of the tool-chain with different classes of hardware. Composed tool-chains are supplied with our ad-hoc tools for embedded systems design on both microcontrollers and FPGAs. We develop a software SN machine for microcontrollers and a generator of Verilog programs for FPGAs. Compared to known SN machine implementations on desktop computers and GPUs, we developed an indexed sparse matrix data structure to optimize both memory usage and performance. Benchmarks on real-life Sleptsov net programs show the robustness of the approach with considerably higher performance on FPGA.

KeywordsSleptsov net; embedded system; design and verification; microcontroller; FPGA
Year2024
Conference2024 IEEE International Conference on Embedded Software and Systems (ICESS)
PublisherIEEE
Digital Object Identifier (DOI)https://doi.org/10.1109/ICESS64277.2024.00011
Web address (URL)https://ieeexplore.ieee.org/document/10917703
Publisher's version
File Access Level
Restricted
Journal citationpp. 1-8
ISBN9798331540524
Web address (URL) of conference proceedingshttp://www.ieee-hust-ncc.org/2024/ICESS/index.html
Output statusPublished
Publication dates14 Mar 2025
Permalink -

https://repository.derby.ac.uk/item/qvq26/sleptsov-net-based-reliable-embedded-system-design-on-microcontrollers-and-fpgas

  • 4
    total views
  • 2
    total downloads
  • 1
    views this month
  • 0
    downloads this month

Export as

Related outputs

Verification of MPI programs via compilation into Petri nets
Guliak, R.N., Shmeleva, T.R. and Zaitsev, D. 2025. Verification of MPI programs via compilation into Petri nets. in: Raj, P., Dutta, P. K., Chong, P. H. J., Song, H. and Zaitsev, D. A. (ed.) Applied Graph Data Science : Graph Algorithms and Platforms, Knowledge Graphs, Neural Networks, and Applied Use Cases Morgan Kaufmann; Elsevier Inc.. pp. 245-269
Analysis of Bitcoin fork by colored Petri nets
Zhou, Z., Liu, D., Shmeleva, T.R. and Zaitsev, D. 2024. Analysis of Bitcoin fork by colored Petri nets. 2024 IEEE International Conference on Systems, Man, and Cybernetics (SMC). IEEE. https://doi.org/10.1109/SMC54092.2024.10831492
Notation for mass parallel algorithms: computing Petri net state space on GPU case study
Zaitsev, D., Zhang, Z., Liu, D. and Shmeleva, T. R. 2024. Notation for mass parallel algorithms: computing Petri net state space on GPU case study. International Journal of Parallel, Emergent and Distributed Systems . pp. 1-15. https://doi.org/10.1080/17445760.2024.2431545