Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation


Model transformation tools assist system designers by reducing the labor-intensive task of creating and updating models of various aspects of systems, ensuring that modeling assumptions remain consistent across every model of a system, and identifying constraints on system design imposed by these modeling assumptions.We have proposed a model transformation approach based on abstract interpretation, a static program analysis technique. Abstract interpretation allows us to define transformations that are provably correct and specific. This work develops the foundations of this approach to model transformation. We define model transformation in terms of abstract interpretation and prove the soundness of our approach. Furthermore, we develop formalisms useful for encoding model properties. This work provides a methodology for relating models of different aspects of a system and for applying modeling techniques from one system domain, such as smart power grids, to other domains, such as water distribution networks.

Meeting Name

2019 IEEE 19th International Symposium on High Assurance Systems Engineering, HASE 2019 (2019: Jan. 3-5, Hangzhou, China)


Electrical and Computer Engineering

Research Center/Lab(s)

Intelligent Systems Center

Keywords and Phrases

Abstracting; Cyber Physical System; Electric power transmission networks; Embedded systems; Formal methods; Models; Systems analysis; Systems engineering; Water distribution systems; Abstract interpretations; Cyber physical systems (CPSs); Model assumptions; Model transformation; Modeling technique; Static program analysis; System designers; Water distribution networks; Model checking; Modeling

International Standard Book Number (ISBN)


International Standard Serial Number (ISSN)

2640-7507; 1530-2059

Document Type

Article - Conference proceedings

Document Version


File Type





© 2019 IEEE Computer Society, All rights reserved.

Publication Date

01 Jan 2019