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 |