Towards feature-oriented requirements validation for automotive systems

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.

[1]  Jürgen Börstler,et al.  The PLUSS Approach - Domain Modeling with Features, Use Cases and Use Case Realizations , 2005, SPLC.

[2]  Yue Lu,et al.  A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems , 2014, Ada-Europe.

[3]  Kristofer Kimbler,et al.  Use case driven analysis of feature interactions , 1994, FIW.

[4]  Sven Apel,et al.  An Overview of Feature-Oriented Software Development , 2009, J. Object Technol..

[5]  Patrizia Scandurra,et al.  Functional requirements validation by transforming use case models into Abstract State Machines , 2012, SAC '12.

[6]  Jakob Engblom,et al.  The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.

[7]  Ramin Tavakoli Kolagari,et al.  EAST-ADL: An Architecture Description Language for Automotive Software-Intensive Systems , 2013 .

[8]  Jan Bosch,et al.  Design and use of software architectures - adopting and evolving a product-line approach , 2000 .

[9]  Michael Poppleton,et al.  Towards Feature-Oriented Specification and Development with Event-B , 2007, REFSQ.

[10]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[11]  Pierre-Yves Schobbens,et al.  What ' s in a Feature ? A Requirements Engineering Perspective , 2008 .

[12]  Martin Ouimet.  A formal framework for specification-based embedded real-time system engineering , 2008 .

[13]  Xin Peng,et al.  Ontology-Based Feature Modeling and Application-Oriented Tailoring , 2006, ICSR.

[14]  Daniel Amyot,et al.  Feature Description and Feature Interaction Analysis with Use Case Maps and LOTOS , 2000, FIW.

[15]  Krzysztof Czarnecki,et al.  SAT-based analysis of feature models is easy , 2009, SPLC.

[16]  Luigi Logrippo,et al.  Conflict Detection in Call Control Using First-Order Logic Model Checking , 2008, ICFI.

[17]  Lionel C. Briand,et al.  A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation , 2009, MoDELS.

[18]  Yue Lu,et al.  Pragmatic Approaches for Timing Analysis of Real-Time Embedded Systems , 2012 .

[19]  Prahladavaradan Sampath,et al.  Evolving specifications formally , 2011, 2011 IEEE 19th International Requirements Engineering Conference.

[20]  Antonio Ruiz Cortés,et al.  Automated Reasoning on Feature Models , 2005, CAiSE.

[21]  Prahladavaradan Sampath,et al.  Resolving uncertainty in automotive feature interactions , 2012, 2012 20th IEEE International Requirements Engineering Conference (RE).