论文标题
通过NIST CPS框架的镜头指定和推理CP
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
论文作者
论文摘要
本文介绍了国家标准技术研究所（NIST）提出的CPS框架的精神，对网络物理系统（CPS）进行了正式定义。它表明，使用此定义，可以使用答案集编程（ASP）精确地形式化和实施与CPS中有关的各种问题。这些包括与问题之间的依赖关系或冲突有关的问题，如何减轻问题以及针对给定问题的最合适的缓解策略是什么。然后，它显示了如何使用ASP来开发解决上述问题的实现。本文以讨论拟议方法论的潜力进行了讨论。
This paper introduces a formal definition of a Cyber-Physical System (CPS) in the spirit of the CPS Framework proposed by the National Institute of Standards and Technology (NIST). It shows that using this definition, various problems related to concerns in a CPS can be precisely formalized and implemented using Answer Set Programming (ASP). These include problems related to the dependency or conflicts between concerns, how to mitigate an issue, and what the most suitable mitigation strategy for a given issue would be. It then shows how ASP can be used to develop an implementation that addresses the aforementioned problems. The paper concludes with a discussion of the potentials of the proposed methodologies.
