Pogorilyy S., Slynko M.
Modeling and verification methods for application design in heterogeneous architectures

A methodology of application design for massive parallelism systems on the example of GPGPU systems focused on the algorithmic design stage is proposed. Two stages of design are considered: creation of a formal specification and its research and verification. For the first stage, the use of mathematical apparatus of the system of algorithmic algebras/modified system of algorithmic algebras and transition systems is proposed. For the second stage, the use of network and automatic models is analyzed, and the advantages of each model are given. In particular, the computational model in NVIDIA CUDA using Petri nets, as well as the linear-temporal logic formulas and automatic model, was studied. © 2020, Springer Science+Business Media, LLC, part of Springer Nature.

Keywords: GPGPU systems, Petri nets, systems of algorithmic algebras, transition systems, Algebra, Computation theory, Petri nets, Program processors, Automatic modeling, Computational model, Heterogeneous architectures, Linear temporal logic, Massive parallelism, Mathematical apparatus, Modeling and verifications, System of algorithmic algebras, Design

Cite:
Pogorilyy S., Slynko M. (2020). Modeling and verification methods for application design in heterogeneous architectures. Cybernetics and Systems Analysis, 56 (4), 196–202. doi: https://doi.org/10.1007/s10559-020-00285-y http://jnas.nbuv.gov.ua/article/UJRN-0001130006 [In Ukrainian].