Skip to main content
Article
Models, Metamodels, and Model Transformation for Cyber-Physical Systems
Proceedings of the 7th International Green and Sustainable Computing Conference (2016, Hangzhou, China)
  • Nathan Jarus
  • Sahra Sedigh, Missouri University of Science and Technology
  • A. R. Hurson, Missouri University of Science and Technology
Abstract

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.

Meeting Name
7th International Green and Sustainable Computing Conference (2016: Nov. 7-9, Hangzhou, China)
Department(s)
Electrical and Computer Engineering
Second Department
Computer Science
Research Center/Lab(s)
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)
978-1509051175; 978-1509051182
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2016 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
Publication Date
11-1-2016
Publication Date
01 Nov 2016
Citation Information
Nathan Jarus, Sahra Sedigh and A. R. Hurson. "Models, Metamodels, and Model Transformation for Cyber-Physical Systems" Proceedings of the 7th International Green and Sustainable Computing Conference (2016, Hangzhou, China) (2016)
Available at: http://works.bepress.com/sahra-sedigh/54/