Abstract
AbstractCyber-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.
Funder
Systems Engineering Research Center
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference81 articles.
1. AIR6913. Using STPA during development and safety assessment of civil aircraft. Standard, SAE, (2018)
2. Allgöwer, F., de Sousa, J.B., Kapinski, J., Mosterman, P., Oehlerking, J., Panciatici, P., Prandini, M., Rajhans, A., Tabuada, P., Wenzelburger, P.: Position paper on the challenges posed by modern applications to cyber-physical systems theory. Nonlinear Analysis: Hybrid Syst. (2019). https://doi.org/10.1016/j.nahs.2019.05.007
3. AS5506C. Architecture analysis and design language. Standard, SAE, (2017)
4. Ross Ashby, W: General systems theory as a new discipline. In Facets of systems science, pages 249–257. Springer, (1991)
5. Atkinson, C., Kühne, T.: Profiles in a strict metamodeling framework. Sci. Comput. Program. (2002). https://doi.org/10.1016/S0167-6423(02)00029-1
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献