AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent Buildings
Testing and verifying applications (Apps) are essential for a software-driven intelligent building system. Traditional methods connect App programs to hardware devices for debugging and testing on the engineering site. However, App bugs can hardly be found out before they are being deployed and thus...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2023-09-01
|
| Series: | Buildings |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-5309/13/10/2404 |
| _version_ | 1797574428034334720 |
|---|---|
| author | Haining Jia Qiliang Yang Ziyan Jiang Wenjie Chen Qizhen Zhou |
| author_facet | Haining Jia Qiliang Yang Ziyan Jiang Wenjie Chen Qizhen Zhou |
| author_sort | Haining Jia |
| collection | DOAJ |
| description | Testing and verifying applications (Apps) are essential for a software-driven intelligent building system. Traditional methods connect App programs to hardware devices for debugging and testing on the engineering site. However, App bugs can hardly be found out before they are being deployed and thus always require an extended debugging cycle. To address this issue, we propose a cyber–physical simulation and verification platform named AppSimV, which enables the testing and verification of Apps in a mimic real scene. Taking swarm intelligence building as an example, this paper focuses on the cyber–physical architecture of AppSimV and its implementation mechanisms, including the standardized encapsulation of software components for the building physics model, a multitask scheduling simulation engine, a cyber–physical interaction interface, and the visual monitoring of the simulation process. The implementation mechanisms not only accurately simulate actual engineering scenarios but also facilitate the early detection and correction of issues that may arise during the App’s runtime, thus reducing the debugging time required for the App. With 1200 intelligent physical nodes connected in a swarm hardware system, AppSimV was validated by conducting the strict testing and verification of a set of Apps for an intelligent building. The results show that AppSimV is sound and reliable. |
| first_indexed | 2024-03-10T21:23:26Z |
| format | Article |
| id | doaj.art-56fe0a1fb6a54a3795eb18d2e41565b4 |
| institution | Directory Open Access Journal |
| issn | 2075-5309 |
| language | English |
| last_indexed | 2024-03-10T21:23:26Z |
| publishDate | 2023-09-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Buildings |
| spelling | doaj.art-56fe0a1fb6a54a3795eb18d2e41565b42023-11-19T15:53:52ZengMDPI AGBuildings2075-53092023-09-011310240410.3390/buildings13102404AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent BuildingsHaining Jia0Qiliang Yang1Ziyan Jiang2Wenjie Chen3Qizhen Zhou4College of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, ChinaCollege of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, ChinaBuilding Energy Research Center, Tsinghua University, Beijing 100084, ChinaCollege of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, ChinaCollege of Defense Engineering, Army Engineering University of PLA, Nanjing 210000, ChinaTesting and verifying applications (Apps) are essential for a software-driven intelligent building system. Traditional methods connect App programs to hardware devices for debugging and testing on the engineering site. However, App bugs can hardly be found out before they are being deployed and thus always require an extended debugging cycle. To address this issue, we propose a cyber–physical simulation and verification platform named AppSimV, which enables the testing and verification of Apps in a mimic real scene. Taking swarm intelligence building as an example, this paper focuses on the cyber–physical architecture of AppSimV and its implementation mechanisms, including the standardized encapsulation of software components for the building physics model, a multitask scheduling simulation engine, a cyber–physical interaction interface, and the visual monitoring of the simulation process. The implementation mechanisms not only accurately simulate actual engineering scenarios but also facilitate the early detection and correction of issues that may arise during the App’s runtime, thus reducing the debugging time required for the App. With 1200 intelligent physical nodes connected in a swarm hardware system, AppSimV was validated by conducting the strict testing and verification of a set of Apps for an intelligent building. The results show that AppSimV is sound and reliable.https://www.mdpi.com/2075-5309/13/10/2404intelligent building applicationsreal-time simulation and verificationcyber–physical simulation platform |
| spellingShingle | Haining Jia Qiliang Yang Ziyan Jiang Wenjie Chen Qizhen Zhou AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent Buildings Buildings intelligent building applications real-time simulation and verification cyber–physical simulation platform |
| title | AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent Buildings |
| title_full | AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent Buildings |
| title_fullStr | AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent Buildings |
| title_full_unstemmed | AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent Buildings |
| title_short | AppSimV: A Cyber–Physical Simulation and Verification Platform for Software Applications of Intelligent Buildings |
| title_sort | appsimv a cyber physical simulation and verification platform for software applications of intelligent buildings |
| topic | intelligent building applications real-time simulation and verification cyber–physical simulation platform |
| url | https://www.mdpi.com/2075-5309/13/10/2404 |
| work_keys_str_mv | AT hainingjia appsimvacyberphysicalsimulationandverificationplatformforsoftwareapplicationsofintelligentbuildings AT qiliangyang appsimvacyberphysicalsimulationandverificationplatformforsoftwareapplicationsofintelligentbuildings AT ziyanjiang appsimvacyberphysicalsimulationandverificationplatformforsoftwareapplicationsofintelligentbuildings AT wenjiechen appsimvacyberphysicalsimulationandverificationplatformforsoftwareapplicationsofintelligentbuildings AT qizhenzhou appsimvacyberphysicalsimulationandverificationplatformforsoftwareapplicationsofintelligentbuildings |