Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless, using formal methods in industry is demanding because of usability issues, e.g., the difficulty of understanding model checking results. Thus the hypothesis is, presenting the result of model checker results in a user-friendly manner could promote formal methods usage in industries. Objective: We aim to evaluate the acceptance of formal methods by engineers if the complexity of understanding verification results is made easy. Method: We perform two different exploratory studies. First, we conduct an online survey to explore challenges in identifying inconsistent specifications and using formal methods from engineers. Second, we perform a one group pretest and posttest experiment to collect impressions from engineers using formal methods if understanding verification results is eased. Limitations: The main limitation of this study is the generalization because the survey focuses on a particular target group and it uses a pre-experimental design.
翻译：由于功能和功能的增多,现代行业安全关键系统的复杂性不断增加。这要求采用正式方法,以信任这些系统。然而,由于使用能力问题,例如难以理解模式检查结果,在行业使用正规方法要求很高。因此假设是,以方便用户的方式介绍模型检查结果的结果,可以促进行业使用正规方法。目标:我们的目标是评估工程师接受正式方法的情况,如果理解核查结果的复杂性变得容易的话。方法:我们进行两种不同的探索性研究。首先,我们进行在线调查,探讨在确定不一致的规格和使用工程师的正式方法方面的挑战。第二,我们进行一组测试前和测试后试验,在了解核查结果后,利用正式方法收集工程师的印象。限制:本研究的主要限制是概括化,因为调查侧重于特定目标群体,并使用预先设计。
相关内容
微信扫码咨询专知VIP会员