Abstract

In the modern automotive industry, feature models have been widely used as a domain-specific requirements model, which can capture commonality and variability of a software product line through a set of features. Product variants can thus be configured by selecting different sets of features from the feature model. For feature-oriented requirements validation, the variability of feature sets often makes the hidden flaws such as behavioral inconsistencies of features, hardly to avoid. In this paper, we present an approach to feature-oriented requirements validation for automotive systems w.r.t both functional behaviors and non-functional properties. Our approach first starts with the behavioral specification of features and the associated requirements by following a restricted use case modeling approach, and then formalizes such specifications by using a formal yet literate language for analysis. We demonstrate the applicability of our approach through an industrial application of a Vehicle Locking-Unlocking system.

Discussion

FormForVirtualLibrary edit

Title Towards Feature-oriented Requirements Validation for Automotive Systems
Authors J. Zhou, Y. Lu, K. Lundqvist, H. Lonn, D. Karlsson and B. Liwang
Type Conference
Conference/Journal Title 22nd IEEE International Requirements Engineering Conference
Volume/Number
Editors
Publisher IEEE CS
Month August
Year 2014
Pages
DOI
Keywords Feature-oriented requirements modeling, model based requirements validation, eTASM, RUCM, software product lines, systems functional behaviors and non-functional properties
Topic revision: r2 - 14 Aug 2014, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback