基于本体的信息物理系统可信赖性推理
密码学与安全
2018-03-21 v1 人工智能
摘要
由于信息物理系统（CPS）在其设计、部署和运行相关问题上的复杂性，技术与监管界一直面临为其可信赖性制定要求的挑战。美国国家标准与技术研究院（NIST）通过一个公共工作组发布了 CPS 框架，该框架对 CPS 采取了广泛而综合的视角，并将可信赖性定位为 CPS 的一个重要方面。本文通过应用本体方法和推理技术，将 CPS 框架创建的模型及其进一步发展向前推进一步，以期更深入地理解 CPS。本文分析的案例展示了通过本体和推理获得的对原始 CPS 模型的丰富，及其向 CPS 开发者和运营者提供额外洞见的能力。
引用
@article{arxiv.1803.07438,
title = {Ontology-Based Reasoning about the Trustworthiness of Cyber-Physical Systems},
author = {Marcello Balduccini and Edward Griffor and Michael Huth and Claire Vishik and Martin Burns and David Wollman},
journal= {arXiv preprint arXiv:1803.07438},
year = {2018}
}
备注
IET PETRAS 2018 conference