Using Algorithmic Complexity Metrics for Process-Oriented Specifications

In industrial automation software development, software cost, complexity and functionality play a key role. The purpose of this paper is to consider the problem of algorithmic complexity assessment in the context of process-oriented programming languages. Metrics and algorithms for assessing algorit...

Full description

Saved in:
Bibliographic Details
Published in:2025 IEEE 26th International Conference of Young Professionals in Electron Devices and Materials (EDM) pp. 1430 - 1434
Main Authors: Abramenko, Artyom, Zyubin, Vladimir
Format: Conference Proceeding
Language:English
Published: IEEE 27.06.2025
Subjects:
algorithmic complexity
Complexity theory
control software specification
Measurement
poST
Process control
process-oriented programming
Programming profession
Safety
Software
Software algorithms
Software development management
Source coding
Static analysis
ISSN:2325-419X
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In industrial automation software development, software cost, complexity and functionality play a key role. The purpose of this paper is to consider the problem of algorithmic complexity assessment in the context of process-oriented programming languages. Metrics and algorithms for assessing algorithmic complexity are well developed for general-purpose languages, but they are not entirely suitable for control programs that are written in specialized problem-oriented languages, like poST. Therefore, maintainability and readability of programs is one of the main parameters used in assessing the safety of process control programs, and in this regard, the task of developing and implementing static analysis tools for such languages is relevant. The paper focuses on the development and implementation of effective methods and tools for static analysis of programs written in the poST language. The paper leverages the process of code analysis and optimization. Section I serves as an introduction to the subject area. Section II overviews the existing approaches for algorithmic analysis of source code and introduces the process-oriented paradigm. Section III describes the proposed methods for complexity analysis. Section IV describes the implementation of the proposed approach in the form of an Eclipse based IDE. Section V presents the results of case studies.
ISSN:2325-419X
DOI:10.1109/EDM65517.2025.11096883