面向网络物理系统的高层需求早期验证
计算机科学中的逻辑
2025-02-14 v1 软件工程
摘要
我的研究的广泛主题是针对安全关键型网络物理系统（CPS）开发的进步，特别关注验证与验证。我的具体研究重点是 CPS 高层需求的早期验证。当前我的方法是将需求转化为事件计算（Event Calculus），随后使用 ASP 求解器（如无 grounding 的 s(CASP)）进行推理。下面我将讨论我的研究、其当前状态以及仍待解决的开放问题。我的工作的首个结果将在已接受的 ICLP'24 会议上呈现，这也是我在该领域的第一篇论文。
引用
@article{arxiv.2502.09236,
title = {Early Validation of High-level Requirements on Cyber-Physical Systems},
author = {Ondřej Vašíček},
journal= {arXiv preprint arXiv:2502.09236},
year = {2025}
}
备注
In Proceedings ICLP 2024, arXiv:2502.08453