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!
Abstract 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.
AbstractList 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.
Author Zyubin, Vladimir
Abramenko, Artyom
Author_xml – sequence: 1
  givenname: Artyom
  surname: Abramenko
  fullname: Abramenko, Artyom
  email: a.abramenko@g.nsu.ru
  organization: Novosibirsk State University, Institute of Automation and Electrometry,Cyber-Physical Systems lab,Information Technology Department,Novosibirsk,Russia
– sequence: 2
  givenname: Vladimir
  surname: Zyubin
  fullname: Zyubin, Vladimir
  email: zyubin@iae.nsk.su
  organization: Institute of Automation and Electrometry,Cyber-Physical Systems lab,Novosibirsk,Russia
BookMark eNo1j11LwzAUQKMoOOf-gUj_QGeS2yTN45ibEzYmOMG3cdvezAtbW5I-uH8v-PF04DwcOLfiqu1aEuJByalS0j8unjbWGOWmWmrzo2xZwoWYeFcqa03hHDh7KUYatMkL5T9uxCQlrmRRGlk4r0Zi9Z64PWSz46GLPHyeuM7m3ak_0hcP52xDQ-Q6ZaGL2Wvsakop30amdqAme-up5sA1Dty16U5cBzwmmvxxLHbLxW6-ytfb55f5bJ2zhyFH1KQADfpGk9MWpJLSBMSKQtE0qJTVFZYGQDcFBu8sQBNQaV97rEDBWNz_ZpmI9n3kE8bz_v8dvgEdnFEV
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/EDM65517.2025.11096883
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Xplore POP ALL
IEEE Xplore All Conference Proceedings
IEEE/IET Electronic Library
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library (IEL)
  url: https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EISBN 9781665477376
1665477377
EISSN 2325-419X
EndPage 1434
ExternalDocumentID 11096883
Genre orig-research
GroupedDBID 6IE
6IL
ABLEC
CBEJK
IEGSK
RIE
RIL
ID FETCH-LOGICAL-i93t-aa2e13a5a9d2e726301005faabef4dda1162ba85332d4af97633dfa129c9ab313
IEDL.DBID RIE
IngestDate Wed Aug 13 06:23:10 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i93t-aa2e13a5a9d2e726301005faabef4dda1162ba85332d4af97633dfa129c9ab313
PageCount 5
ParticipantIDs ieee_primary_11096883
PublicationCentury 2000
PublicationDate 2025-June-27
PublicationDateYYYYMMDD 2025-06-27
PublicationDate_xml – month: 06
  year: 2025
  text: 2025-June-27
  day: 27
PublicationDecade 2020
PublicationTitle 2025 IEEE 26th International Conference of Young Professionals in Electron Devices and Materials (EDM)
PublicationTitleAbbrev EDM
PublicationYear 2025
Publisher IEEE
Publisher_xml – name: IEEE
SSID ssib048504791
ssib025838708
Score 1.9128492
Snippet In industrial automation software development, software cost, complexity and functionality play a key role. The purpose of this paper is to consider the...
SourceID ieee
SourceType Publisher
StartPage 1430
SubjectTerms 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
Title Using Algorithmic Complexity Metrics for Process-Oriented Specifications
URI https://ieeexplore.ieee.org/document/11096883
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09T8MwELVoxcAEiCK-5YHVLbEd2xkRtOrS0qFDt-ocn6EStKikSPx7bDehYmBgiywlss45vWef3ztCbn1uhJLWswCejoVMzBlItKw01hSoCnQcUrMJPR6b2ayY1GL1pIVBxHT5DLvxMdXy3arcxKOyXnTHVMaIFmlprbZirebn4bH-p3dGNdLk0T09q1XB4c1e_3GkAkHQYVfI827zsV9tVRKqDA7_OZ8j0tnp8-jkB3mOyR4uT8gwVf_p_evzKmz4X94WJY3JHg0vqy86ip2zyg8aOCqtxQHsKXocB8ZJUxN635zedch00J8-DFndJ4EtClExAI6ZgBwKx1FzFVI2pJYHsOilc5BlilsIsCy4k-AD_xDCeQhAXxZgRSZOSXu5WuIZoXE9baB8orS5RMmthzswwklllbcozkknRmH-vnXCmDcBuPhj_JIcxFjHq1VcX5F2td7gNdkvP6vFx_omrd83G5Occg
linkProvider IEEE
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1NTwIxEG0UTfSkRozf9uC14LbdbvdoFIIRkAMHbmS6nSqJgoHFxH9vWxeJBw_eNk1200x38qadvvcIuXapFkoaxzx4WuYzMWUg0bBCG52jytFyiGYTWb-vR6N8UJHVIxcGEePlM2yEx9jLt7NiGY7KmkEdU2ktNslWsM6q6Fqr34eHDmC2lqqROg366UnFC_bvNlv3PeVLhMzvC3naWH3ul7FKxJX23j9ntE_qa4YeHfxgzwHZwOkh6cT-P719fZ75Lf_L26SgId2D5GX5SXvBO6tYUF-l0ooewJ6CyrGvOWm0oXer87s6GbZbw7sOq5wS2CQXJQPgmAhIIbccM6580vrkcgAGnbQWkkRxAx6YBbcSnK9AhLAOPNQXORiRiCNSm86meExoWFHjiz5RmFSi5MbBDWhhpTLKGRQnpB6iMH7_1sIYrwJw-sf4FdnpDHvdcfeh_3hGdkPcw0Urnp2TWjlf4gXZLj7KyWJ-GdfyC3J0n7s
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2025+IEEE+26th+International+Conference+of+Young+Professionals+in+Electron+Devices+and+Materials+%28EDM%29&rft.atitle=Using+Algorithmic+Complexity+Metrics+for+Process-Oriented+Specifications&rft.au=Abramenko%2C+Artyom&rft.au=Zyubin%2C+Vladimir&rft.date=2025-06-27&rft.pub=IEEE&rft.eissn=2325-419X&rft.spage=1430&rft.epage=1434&rft_id=info:doi/10.1109%2FEDM65517.2025.11096883&rft.externalDocID=11096883