Change search
ReferencesLink to record
Permanent link

Direct link
Towards Feature-Oriented Requirements Validation for Automotive Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. (IS Software Engineering)ORCID iD: 0000-0002-2615-6842
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0904-3712
Volvo Group, Göteborg, Sweden.
Volvo Group, Göteborg, Sweden.
Show others and affiliations
2014 (English)In: 2014 IEEE 22nd International Requirements Engineering Conference, RE 2014 - Proceedings, 2014, 428-436 p.Conference paper (Refereed)
Abstract [en]

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

Place, publisher, year, edition, pages
2014. 428-436 p.
Keyword [en]
eature-oriented requirements modeling, model- based requirements validation, eTASM, RUCM, software product lines, systems functional behaviors and non-functional properties
National Category
Engineering and Technology Computer and Information Science Computer Science
URN: urn:nbn:se:mdh:diva-25875DOI: 10.1109/RE.2014.6912294ScopusID: 2-s2.0-84909957453ISBN: 978-1-4799-3031-9OAI: diva2:743960
22nd IEEE International Requirements Engineering Conference (RE'14), Karlskrona, Sweden, from the 25th to the 29th of August, 2014

(c) 2014 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works

Available from: 2014-09-05 Created: 2014-09-05 Last updated: 2014-11-28Bibliographically approved
In thesis
1. An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems
Open this publication in new window or tab >>An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems
2014 (English)Licentiate thesis, comprehensive summary (Other academic)
Abstract [en]

With the growing complexity of embedded real-time systems, requirements validation becomes an ever-more critical activity for developing such systems. Studies have revealed that most of the anomalies, discovered in the development of complex systems, belong to requirement and specification phases. To ease the situation, many efforts have been investigated into the area. Model-based techniques, enabling formal semantics and requirements traceability, are emerging as promising solutions to cost-effective requirements validation. In these techniques, the functional behaviors derived from lower-level requirements are specified in terms of analyzable models at a certain level of abstraction. Further, upper-level requirements are formalized into verifiable queries and/or formulas. Meanwhile, trace links between requirements at various levels of abstraction as well as between requirements and subsequent artifacts (such as verifiable queries and/or formulas, and analyzable models) are built, through which the queries and/or formulas can be fed into the corresponding models. However, such model-based techniques suffer from some limitations, such as how to support semi- or fully-automatic trace links creation between diverse development artifacts, how to ease the demand of heavy mathematics background knowledge to specify queries and/or formulas, and how to analyze models without encountering the state explosion problem. 


In this thesis, we cover two aspects centering around requirements validation to ease the aforementioned limitations, which are mainly about requirements traceability and model-based requirements validation. In particular, the technical contributions are four-fold: 1) we have introduced an improved VSM-based requirements traceability creation/recovery approach using a novel context analysis and, 2) we have proposed a lightweight model-based approach to requirements validation by using the Timed Abstract State Machine (TASM) language with newly defined Observer and Event constructs and, 3) we have combined our model-based approach with a restricted use case modeling approach for feature-oriented requirements validation and, 4) we have improved the Observer construct of TASM via proposing a new observer specification logic to facilitate the observer specification, as well as defining the corresponding observer execution process. Finally, we have demonstrated the applicability of our contributions in real world usage through various applications.

Place, publisher, year, edition, pages
Västerås: Mälardalen University, 2014
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 177
National Category
Embedded Systems
Research subject
Computer Science
urn:nbn:se:mdh:diva-25876 (URN)978-91-7485-160-1 (ISBN)
2014-10-13, Kappa, Mälardalens högskola, Västerås, 13:15 (English)
Available from: 2014-09-05 Created: 2014-09-05 Last updated: 2014-10-06Bibliographically approved

Open Access in DiVA

fulltext(1880 kB)93 downloads
File information
File name FULLTEXT01.pdfFile size 1880 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Zhou, JialeLundqvist, Kristina
By organisation
Embedded Systems
Engineering and TechnologyComputer and Information ScienceComputer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 93 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 67 hits
ReferencesLink to record
Permanent link

Direct link