A method for model checking feature interactions
2015 10th International Joint Conference on Software Technologies (ICSOFT)(2015)
摘要
This paper presents a method to check for feature interactions in a system assembled from independently developed concurrent processes as found in many reactive systems. The method combines and refines existing definitions and adds a set of activities. The activities describe how to populate the definitions with models to ensure that all interactions are captured. The method is illustrated on a home automation example with model checking as analysis tool. In particular, the modelling formalism is timed automata and the analysis uses Uppaal to find interactions.
更多查看译文
关键词
Feature Interaction,Control Systems,Model-driven Development,Home Automation,Model Checking,Timed Automata
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要