Towards Integration of Modeling Methods for Cyber-Physical Systems

—Safety-critical Cyber-Physical Systems (CPS) are growing increasingly more distributed, autonomous, and embedded 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 ones. I plan to validate my claims on realistic indust...

• Type: Journal
• Year: 2015
• Where: MODELS
• Authors: Ivan Ruchkin
• Keywords: MODELS 2015, Natural Language Processing