Towards Integration of Modeling Methods for Cyber-Physical Systems.
Ivan Ruchkin · 2015
Abstract—Safety-critical Cyber-Physical Systems (CPS) are growing increasingly more distributed, autonomous, and embed-ded in our society. CPS engineering relies on modeling methods from different fields. Such methods are difficult to combine due to their complexity and heterogeneity. Inconsistencies between models and analyses can lead to implicit design errors, which lead to critical CPS failures. Existing approaches to CPS model integration fall short in terms of their flexibility, effectiveness, and formal guarantees. To overcome these limitations and achieve better integration, I propose an integration approach based on architectural views and analysis contracts. To enable my approach I develop a model-view consistency support framework, an analysis contracts framework, and a verification method for multi-model integration properties. I claim that my approach is feasible, more effective, and more cost-efficient than the existing