CRII: CPS: Minimizing the Oracle Problem for Self-Adaptive Cyber-Physical Systems

本项目研究如何确保自适应网络物理系统（SA-CPS）在执行时正确运行。SA-CPS可以在运行时重新配置自己，以减轻不可预见的情况，例如SA-CPS是一辆自动驾驶汽车，它通过自动调整驾驶策略来应对意外的道路状况，以避开结冰的路面。因此，必须对系统进行测试，以确保它在重新配置后正确运行。该项目将提供技术，以确保SA-CPS的验证和确认策略已经正确导出，并且任何未来的调整都是正确的，相对于其原始需求。这项研究将通过提供与执行系统一起适应的测试oracle（即确定测试通过或失败的软件）来增强sa - cps的保证；在设计时和运行时验证和验证自适应测试oracle；并提供自适应oracle和软件需求之间的可追溯性。综上所述，这三点将确保测试用例和oracle都能有效地验证运行中的系统的整个生命周期。这项工作将在实际硬件上进行演示，以表明软件验证和验证可以共同增强系统保证以及公众对sa - cps的感知和信任。这个项目将确保软件测试oracle被验证和确认，以确保任何软件验证活动在SA-CPS上被正确执行。从该项目中获得的知识将发表在备受推崇的会议/期刊上，所有工件和结果将发布到GitHub和NSF的CPS虚拟组织（CPS- vo）。信息也将通过一系列博客文章公开分享，旨在教育公众了解公共服务计划。该项目还将培训研究生，结果将在CPS的研究生课上展示，并被提炼成夏令营，向K-12学生介绍嵌入式编程。

This project investigates how to ensure that self-adaptive cyber-physical systems (SA-CPS) function correctly as they execute. An SA-CPS can reconfigure itself, at run time, to mitigate unforeseen circumstances, where an example SA-CPS is an autonomous vehicle that reacts to unexpected road conditions by automatically adjusting its driving strategy to avoid an icy patch. Therefore, the system must be tested to ensure that it operates correctly following a reconfiguration. This project will provide techniques for ensuring that verification and validation strategies for an SA-CPS have been derived correctly and that any future adaptations are correct with respect to its original requirements. This research will enhance assurance for SA-CPSs by providing test oracles (i.e., software that determines if a test passes or fails) that adapt alongside an executing system; verifying and validating adaptive test oracles at design time and run time; and providing traceability between adaptive oracles and software requirements. Together, these three points will ensure that both test cases and oracles can effectively validate a running system throughout its lifetime. This work will be demonstrated on real hardware to show that together, software verification and validation can enhance system assurance as well as public perception and trust in SA-CPSs.This project will ensure that software test oracles are verified and validated to ensure that any software validation activities are being correctly performed on SA-CPS. The knowledge gained from this project will be published in highly-regarded conferences/journals and all artifacts and results released to GitHub and NSF's CPS Virtual Organization (CPS-VO). Information will also be shared publicly through a series of blog posts intended to educate the public on CPSs. This project will also train graduate students, results will be presented in a graduate class on CPS, and distilled into summer camps to introduce K-12 students to embedded programming.