A Software Verification Method for the Internet of Things and Cyber-Physical Systems
With the proliferation of the Internet of Things devices and cyber-physical systems, there is a growing demand for highly functional and high-quality software. To address this demand, it is crucial to employ effective software verification methods. The proposed method is based on the use of physical...
Main Authors: | Yuriy Manzhos, Yevheniia Sokolova |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2023-07-01
|
Series: | Computation |
Subjects: | |
Online Access: | https://www.mdpi.com/2079-3197/11/7/135 |
Similar Items
-
A type system for formal verification of cyber-physical systems C/C++ software
by: Yuriy Manzhos, et al.
Published: (2024-02-01) -
Secure Smart Wearable Computing through Artificial Intelligence-Enabled Internet of Things and Cyber-Physical Systems for Health Monitoring
by: Lakshmana Kumar Ramasamy, et al.
Published: (2022-01-01) -
Cyber-Physical Customer Management for Internet of Robotic Things-Enabled Banking
by: Milad Hajiabbasi, et al.
Published: (2023-01-01) -
Key parameters linking cyber-physical trust anchors with embedded internet of things systems
by: Michele Maasberg, et al.
Published: (2023-11-01) -
Artificial Intelligence-Based Decision-Making Algorithms, Internet of Things Sensing Networks, and Deep Learning-Assisted Smart Process Management in Cyber-Physical Production Systems
by: Mihai Andronie, et al.
Published: (2021-10-01)