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.
N. Jarus et al., "Formalizing Cyber-Physical System Model Transformation Via Abstract Interpretation," Proceedings of 2019 IEEE 19th International Symposium on High Assurance Systems Engineering (2019, Hangzhou, China), pp. 107 - 114, IEEE Computer Society, Jan 2019.
The definitive version is available at https://doi.org/10.1109/HASE.2019.00025
2019 IEEE 19th International Symposium on High Assurance Systems Engineering, HASE 2019 (2019: Jan. 3-5, Hangzhou, China)
Electrical and Computer Engineering
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)
Article - Conference proceedings
© 2019 IEEE Computer Society, All rights reserved.
01 Jan 2019