Paper Info
Title
Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering
Abstract
Automotive software systems often consist of multiple reactive components that must satisfy complex and safety-critical 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.
Year
DOI
Venue
2015
10.1145/2786805.2804432
ESEC/SIGSOFT FSE
Keywords
Field
DocType
Automotive Software, Reactive Systems, Requirements Analysis, Modal Sequence Diagrams, Realizability
Software engineering,Systems engineering,Computer science,Requirements analysis,Real-time computing,Software,Requirement,Software requirements specification,Automotive software,System requirements specification,Realizability,Automotive industry
Conference
Citations 
PageRank 
References 
3
0.44
8
Authors
4
Name
Order
Citations
PageRank
Joel Greenyer122420.36
Max Haase230.44
Jörg Marhenke330.44
Rene Bellmer430.44