Models, Metamodels, and Model Transformation for Cyber-Physical Systems
One approach to increasing the sustainability of critical systems is to fortify them with cyber infrastructure that monitors the system, enables early diagnosis of faults, and provides decision support that facilitates greater efficacy. Modeling and analysis of the resulting cyber-physical systems is a significant challenge, as the physical and cyber infrastructures can be very different in time scales, complexity, and architecture. Model composition is a potential solution. Metamodeling seeks to facilitate model composition by providing methods for composing models of different types, including performance and dependability models, as well as methods for transforming one type of model to another. This paper describes the application of metamodeling to cyber-physical systems. Our proposed approach to model transformation is based on abstract interpretation, a program analysis technique. Models exist for disparate attributes of cyber-physical systems, but these models are typically domain-specific. We seek to map models from one physical domain to another, or to extract a model of one system attribute from a model of another attribute. This ability would considerably increase the utility of the existing body of knowledge on modeling of cyber-physicals systems.
N. Jarus et al., "Models, Metamodels, and Model Transformation for Cyber-Physical Systems," Proceedings of the 7th International Green and Sustainable Computing Conference (2016, Hangzhou, China), Institute of Electrical and Electronics Engineers (IEEE), Nov 2016.
The definitive version is available at https://doi.org/10.1109/IGCC.2016.7892611
7th International Green and Sustainable Computing Conference (2016: Nov. 7-9, Hangzhou, China)
Electrical and Computer Engineering
Intelligent Systems Center
Keywords and Phrases
Cyber Physical System; Decision Support Systems; Diagnosis; Green Computing; Abstract Interpretations; Body Of Knowledge; Cyber Infrastructures; Decision Supports; Dependability Models; Model And Analysis; Model Composition; Model Transformation; Embedded Systems; Object Oriented Modeling; Unified Modeling Language; Computational Modeling; Lattices; Mathematical Model; Cyber-Physical Systems; Metamodeling; Decision Support Systems; Fault Diagnosis; Program Diagnostics
International Standard Book Number (ISBN)
Article - Conference proceedings
© 2016 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
01 Nov 2016