Sleptsov net based reliable embedded system design on microcontrollers and FPGAs
Conference paper
Authors | Xu, R., Zhang, S., Liu, D. and Zaitsev, D. |
---|---|
Type | Conference 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. |
Keywords | Sleptsov net; embedded system; design and verification; microcontroller; FPGA |
Year | 2024 |
Conference | 2024 IEEE International Conference on Embedded Software and Systems (ICESS) |
Publisher | IEEE |
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 citation | pp. 1-8 |
ISBN | 9798331540524 |
Web address (URL) of conference proceedings | http://www.ieee-hust-ncc.org/2024/ICESS/index.html |
Output status | Published |
Publication dates | 14 Mar 2025 |
https://repository.derby.ac.uk/item/qvq26/sleptsov-net-based-reliable-embedded-system-design-on-microcontrollers-and-fpgas
4
total views2
total downloads1
views this month0
downloads this month