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: | Haining Jia, Qiliang Yang, Ziyan Jiang, Wenjie Chen, Qizhen Zhou |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2023-09-01
|
Series: | Buildings |
Subjects: | |
Online Access: | https://www.mdpi.com/2075-5309/13/10/2404 |
Similar Items
-
Tackling Verification and Validation Techniques to Evaluate Cyber Situational Awareness Capabilities
by: Salvador Llopis Sanchez, et al.
Published: (2022-07-01) -
Real-Time Verification for Distributed Cyber-Physical Systems
by: Tran, Hoang-Dung, et al.
Published: (2022-12-01) -
BiowareCFP: An Application-Agnostic Modular Reconfigurable Cyber-Fluidic Platform
by: Georgi Tanev, et al.
Published: (2022-02-01) -
A type system for formal verification of cyber-physical systems C/C++ software
by: Yuriy Manzhos, et al.
Published: (2024-02-01) -
Formal Verification of Control Modules in Cyber-Physical Systems
by: Iwona Grobelna
Published: (2020-09-01)