Evaluating A Formal Scenario-Based Method For The Requirements Analysis In Automotive Software Engineering
ESEC/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Bergamo Italy August, 2015(2015)
摘要
Automotive software systems often consist of multiple reactive components that must satisfy complex and safetycritical requirements. In automotive projects, the requirements are usually documented informally and are reviewed manually; this regularly causes inconsistencies to remain hidden until the integration phase, where their repair requires costly iterations. We therefore seek methods for the early automated requirement analysis and evaluated the scenario-based specification approach based on LSCs/MSDs; it promises to support an incremental and precise specification of requirements, and offers automated analysis through scenario execution and formal realizability checking. In a case study, we used SCENARIOTOOLS to model and analyze the requirements of a software to control a high-voltage coupling for electric vehicles. Our example contained 36 requirements and assumptions that we could successfully formalize, and we could successfully find specification defects by automated realizability checking. In this paper, we report on lessons learned, tool and method extensions we have introduced, and open challenges.
更多查看译文
关键词
Automotive Software,Reactive Systems,Requirements Analysis,Modal Sequence Diagrams,Realizability
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络