面向信息物理系统安全、安保与弹性的本体元模型协同工程
软件工程
2021-06-04 v1 系统与控制
系统与控制
摘要
系统复杂性在实用且有效的信息物理系统的设计、评估与实现中已无处不在。这种日益增长的复杂性正在影响用于设计能够考虑若干“特性(-ilities)”的信息物理系统所需模型的管理，使其安全、安保并最终对服务中断具有弹性。我们提出了一种用于系统设计的本体元模型，该模型扩充了已有的工业元模型，以捕获各种模型元素与安全、安保及弹性考量之间的关系。采用该元模型可带来更具内聚性和结构化的建模工作，并整体提升已有模型的可扩展性、可用性与统一性。进而，这导致了在设计安全防御与弹性机制以对抗不良行为时采用一种面向任务的视角。我们在一个开源的 GraphQL 实现中展示了该元模型，其可与多种建模语言对接。我们使用一个油气管道模型以详细演示来支持我们所提出的元模型。
引用
@article{arxiv.2006.05304,
title = {An Ontological Metamodel for Cyber-Physical System Safety, Security, and Resilience Coengineering},
author = {Georgios Bakirtzis and Tim Sherburne and Stephen Adams and Barry M. Horowitz and Peter A. Beling and Cody H. Fleming},
journal= {arXiv preprint arXiv:2006.05304},
year = {2021}
}