An initial study of quality assurance techniques for automated water level control systems
This study aims to formulate requirements for models and programs of cyber-physical systems through an investigation of existing approaches to dynamic verification of control programs. Building on this research, we propose a formal model for dynamic verification of process-oriented control programs...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2023-01-01
|
| Series: | E3S Web of Conferences |
| Online Access: | https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/39/e3sconf_transsiberia2023_03039.pdf |
| _version_ | 1797775838650826752 |
|---|---|
| author | Kartbayev Amandyk |
| author_facet | Kartbayev Amandyk |
| author_sort | Kartbayev Amandyk |
| collection | DOAJ |
| description | This study aims to formulate requirements for models and programs of cyber-physical systems through an investigation of existing approaches to dynamic verification of control programs. Building on this research, we propose a formal model for dynamic verification of process-oriented control programs in cyber-physical systems. Additionally, our goal is to develop a software package based on the proposed methods and models. The research focuses on hyperprocesses, which involve multiple interacting processes with executable states. The complexity of the models being created and the prevalence of routine operations present challenges in applying formal methods to their verification. Neglecting the verification of process-oriented software poses significant risks in system development. Therefore, addressing this challenge involves research and development of dynamic software verification methods that combine testing and simulation techniques. |
| first_indexed | 2024-03-12T22:41:29Z |
| format | Article |
| id | doaj.art-92acb921b1374d69a137342afa3567f6 |
| institution | Directory Open Access Journal |
| issn | 2267-1242 |
| language | English |
| last_indexed | 2024-03-12T22:41:29Z |
| publishDate | 2023-01-01 |
| publisher | EDP Sciences |
| record_format | Article |
| series | E3S Web of Conferences |
| spelling | doaj.art-92acb921b1374d69a137342afa3567f62023-07-21T09:40:56ZengEDP SciencesE3S Web of Conferences2267-12422023-01-014020303910.1051/e3sconf/202340203039e3sconf_transsiberia2023_03039An initial study of quality assurance techniques for automated water level control systemsKartbayev Amandyk0Kazakh-British technical universityThis study aims to formulate requirements for models and programs of cyber-physical systems through an investigation of existing approaches to dynamic verification of control programs. Building on this research, we propose a formal model for dynamic verification of process-oriented control programs in cyber-physical systems. Additionally, our goal is to develop a software package based on the proposed methods and models. The research focuses on hyperprocesses, which involve multiple interacting processes with executable states. The complexity of the models being created and the prevalence of routine operations present challenges in applying formal methods to their verification. Neglecting the verification of process-oriented software poses significant risks in system development. Therefore, addressing this challenge involves research and development of dynamic software verification methods that combine testing and simulation techniques.https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/39/e3sconf_transsiberia2023_03039.pdf |
| spellingShingle | Kartbayev Amandyk An initial study of quality assurance techniques for automated water level control systems E3S Web of Conferences |
| title | An initial study of quality assurance techniques for automated water level control systems |
| title_full | An initial study of quality assurance techniques for automated water level control systems |
| title_fullStr | An initial study of quality assurance techniques for automated water level control systems |
| title_full_unstemmed | An initial study of quality assurance techniques for automated water level control systems |
| title_short | An initial study of quality assurance techniques for automated water level control systems |
| title_sort | initial study of quality assurance techniques for automated water level control systems |
| url | https://www.e3s-conferences.org/articles/e3sconf/pdf/2023/39/e3sconf_transsiberia2023_03039.pdf |
| work_keys_str_mv | AT kartbayevamandyk aninitialstudyofqualityassurancetechniquesforautomatedwaterlevelcontrolsystems AT kartbayevamandyk initialstudyofqualityassurancetechniquesforautomatedwaterlevelcontrolsystems |