An initial study of quality assurance techniques for automated water level control systems

Abstract

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.

More by Amandyk Kartbayev

• EVALUATING COMPETITIVE STRATEGIES IN DIGITAL MARKETPLACE PLATFORMS: A DATA-DRIVEN ANALYSIS OF MARKET DYNAMICSUniversum Technical sciences · 2026
• Competitive Landscape Assessment in the Ecommerce SectorIEEE International Conference on Smart Information Systems and Technologies · 2026
• KAZAKH HANDWRITTEN TEXT RECOGNITION USING LIGHTWEIGHT CRNN+CTC ARCHITECTUREUniversum Technical sciences · 2026
• CASH FLOW FORECASTING USING TIME SERIES ANALYSIS, MACHINE LEARNING AND DEEP LEARNING MODELS: EVIDENCE FROM NEW YORK CITY FINANCIAL DATAUniversum Technical sciences · 2026