当前位置: X-MOL 学术Softw. Syst. Model. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
An ontological metamodel for cyber-physical system safety, security, and resilience coengineering
Software and Systems Modeling ( IF 2 ) Pub Date : 2021-06-01 , DOI: 10.1007/s10270-021-00892-z
Georgios Bakirtzis , Tim Sherburne , Stephen Adams , Barry M. Horowitz , Peter A. Beling , Cody H. Fleming

Cyber-physical systems are complex systems that require the integration of diverse software, firmware, and hardware to be practical and useful. This increased complexity is impacting the management of models necessary for designing cyber-physical systems that are able to take into account a number of “-ilities”, such that they are safe and secure and ultimately resilient to disruption of service. We propose an ontological metamodel for system design that augments an already existing industry metamodel to capture the relationships between various model elements (requirements, interfaces, physical, and functional) and safety, security, and resilient considerations. Employing this metamodel leads to more cohesive and structured modeling efforts with an overall increase in scalability, usability, and unification of already existing models. In turn, this leads to a mission-oriented perspective in designing security defenses and resilience mechanisms to combat undesirable behaviors. We illustrate this metamodel in an open-source GraphQL implementation, which can interface with a number of modeling languages. We support our proposed metamodel with a detailed demonstration using an oil and gas pipeline model.



中文翻译:

用于网络物理系统安全、安保和弹性协同工程的本体元模型

信息物理系统是复杂的系统,需要集成不同的软件、固件和硬件才能实用和有用。这种增加的复杂性正在影响设计网络物理系统所需的模型管理,这些系统能够考虑许多“-ilities”,这样它们就安全可靠,并最终能够抵御服务中断。我们为系统设计提出了一个本体元模型,它增强了现有的行业元模型,以捕获各种模型元素(需求、接口、物理和功能)与安全性、安全性和弹性考虑之间的关系。使用此元模型会导致更具凝聚力和结构化的建模工作,并全面提高现有模型的可扩展性、可用性和统一性。反过来,这导致在设计安全防御和弹性机制以打击不良行为时采用面向任务的视角。我们在开源 GraphQL 实现中说明了这个元模型,它可以与多种建模语言交互。我们通过使用石油和天然气管道模型的详细演示来支持我们提出的元模型。

更新日期:2021-06-01
down
wechat
bug