信息物理系统的验证与优化：FedCSIS 预印本
软件工程
2021-09-06 v1
摘要
在能耗方面优化信息物理系统（CPS）行为可对系统可靠性产生显著影响。环境影响系统行为，忽视环境行为会对系统行为优化产生间接负面影响。本工作中，为增加系统灵活性，对环境行为建模为动态以应用其行为无序性。所得模型经过形式化验证。通过考察过去环境行为并预测其未来行为，能耗优化得以更动态地完成。使用 UPPAAL-SMC 获得的验证结果表明，通过预测环境行为来优化系统行为已取得成效。我们的方法在 I4 环境下的案例研究中得以展示。
引用
@article{arxiv.2109.01574,
title = {Verification and Optimization of Cyber-Physical Systems: Preprint for FedCSIS},
author = {Reza Soltani and Eun-Young Kang and Juan Esteban Heredia Mena},
journal= {arXiv preprint arXiv:2109.01574},
year = {2021}
}
备注
Preprint for 16th CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENCE SYSTEMS (FedCSIS 2021)