3Automated Verification and Validation of IoRT Systems
S.V. Gayetri Devi1* and C. Nalini2
1Department of Computer Science and Engineering, Dr. M.G.R. Educational and Research Institute, Chennai, India
2Department of Computer Science and Engineering, Bharath Institute of Higher Education and Research, Chennai, India
Abstract
The Internet of Robotic Things (IoRT), an evolving standard draws together autonomous Robotic systems with the Internet of Things (IoT) revelation of linked sensors and smart objects extensively rooted in everyday environments. Some of the concerns in Verification and Validation of IoRT systems involve dynamic environments with multiple sensors and devices in conjunction with robotic things unlike Application testing performed in an established environment, complex real-time Test scenarios, conceiving a Test environment to verify and validate functionality along with scalability, reliability and safety issues.
Ensuring the safety and functional integrity of IORT systems calls for stringent verification and validation. The Formal methods apprehend the intended system behaviour in a formal specification using Mathematical reasoning and facilitate Verification, Synthesis and Validation. Effective validation enfolds automated approach to generating Test cases, Test suite reduction, Test case prioritization and Test execution scheduling in combination with appropriate program verification techniques such as SMT and constraint solvers.
The unified modelling language ...
Get Human Communication Technology now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
