mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Towards Feature-Oriented Requirements Validation for Automotive Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-2615-6842
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7366-7186
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-0904-3712
Volvo Grp, Adv Technol & Res, Gothenburg, Sweden..
Show others and affiliations
2014 (English)In: 2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), IEEE , 2014, p. 428-436Conference paper, Published 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
IEEE , 2014. p. 428-436
Series
Proceedings of International Requirements Engineering, ISSN 1097-0592
Keywords [en]
feature-oriented requirements modeling, model-based requirements validation, eTASM, RUCM, software product lines, systems functional behaviors and non-functional properties
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-38375ISI: 000363280400053ISBN: 978-1-4799-3033-3 OAI: oai:DiVA.org:mdh-38375DiVA, id: diva2:1182214
Conference
IEEE 22nd International Requirements Engineering Conference (RE), AUG 25-29, 2014, Blekinge Inst Technol, Karlskrona, SWEDEN
Available from: 2018-02-12 Created: 2018-02-12 Last updated: 2018-02-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records BETA

Zhou, JialeLu, YueLundqvist, Kristina

Search in DiVA

By author/editor
Zhou, JialeLu, YueLundqvist, Kristina
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf