从NIST CPS框架透视CPS的推理与论证
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework
摘要：
根据美国国家标准与技术研究所（NIST）提出的信息物理系统（CPS）框架，给出了CPS的形式化定义。它表明，使用这个定义，在CPS中的关注相关的各种问题可以精确地形式化，并使用答案集编程（ASP）实现。这些问题包括与关注点之间的依赖性或冲突相关的问题，如何缓解问题，以及对于给定问题最合适的缓解策略是什么。然后，它展示了如何使用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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
