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
Reassessing the Pattern-Based Approach for Formalizing Requirements in the Automotive Domain
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Scania, Sodertalje, Sweden..
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-4987-7669
2014 (English)In: 2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), IEEE , 2014, p. 444-450Conference paper (Refereed)
Abstract [en]

The importance of using formal methods and techniques for verification of requirements in the automotive industry has been greatly emphasized with the introduction of the new ISO26262 standard for road vehicles functional safety. The lack of support for formal modeling of requirements still represents an obstacle for the adoption of the formal methods in industry. This paper presents a case study that has been conducted in order to evaluate the difficulties inherent to the process of transforming the system requirements from their traditional written form into semi-formal notation. The case study focuses on a set of non-structured functional requirements for the Electrical and Electronic (E/E) systems inside heavy road vehicles, written in natural language, and reassesses the applicability of the extended Specification Pattern System (SPS) represented in a restricted English grammar. Correlating this experience with former studies, we observe that, as previously claimed, the concept of patterns is likely to be generally applicable for the automotive domain. Additionally, we have identified some potential difficulties in the transformation process, which were not reported by the previous studies and will be used as a basis for further research.

Place, publisher, year, edition, pages
IEEE , 2014. p. 444-450
Series
Proceedings of International Requirements Engineering, ISSN 1097-0592
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-38376ISI: 000363280400055ISBN: 978-1-4799-3033-3 OAI: oai:DiVA.org:mdh-38376DiVA, id: diva2:1182207
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

Filipovikj, PredragRodriguez-Navas, Guillermo

Search in DiVA

By author/editor
Filipovikj, PredragRodriguez-Navas, Guillermo
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 9 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