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
Specifying Safety Requirements with GORE languages
Univ Fed Ceara, BRA.
Univ Fed Pernambuco UFPE, BRA.
Univ Fed Sao Paulo UNIFESP, BRA.
Blekinge Institute of Technology, Faculty of Computing, Department of Software Engineering.
Show others and affiliations
2017 (English)In: XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017), Association for Computing Machinery (ACM), 2017, p. 154-163Conference paper, Published paper (Refereed)
Abstract [en]

Context: A suitable representation of Safety-Critical Systems (SCS) requirements is crucial to avoid misunderstandings in safety requirements and issues in safety specification. However, current general requirements specification languages do not fully support the particularities of specifying SCS. Objective: In this paper, our goal is to identify and propose a set of important features that should be provided by requirements languages to support an early safety requirements specification. Moreover, we aim to compare the ability of the four most used Goal-Oriented Requirements Engineering (GORE) languages (i*, KAOS, GRL, NFR-Framework) in supporting the proposed features. Method: We first established a conceptual foundation and a conceptual model based on the literature, challenges elicited in previous works, and demands of safety standards at the requirements level that practitioners must satisfy in order to certify their systems. Results: We proposed a set of 15 features that requirements languages should provide to an early safety requirements specification. Regarding the comparison of GORE languages, in summary, all surveyed languages lacks explicit modeling constructs to express how hazards can occur in the system, the accidents, their impact and how they can mitigated. Conclusions: The conceptual foundation, conceptual model, and the set of features is a novelty. Finally, the features can be used to propose new requirements languages for SCS or to define extensions for the ones already available.

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM), 2017. p. 154-163
Keywords [en]
Goal-oriented requirements languages, Safety-critical systems, Safety analysis, Requirements engineering, Safety engineering, Goal-oriented requirements engineering
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:bth-16001DOI: 10.1145/3131151.3131175ISI: 000426485300016ISBN: 978-1-4503-5326-7 OAI: oai:DiVA.org:bth-16001DiVA, id: diva2:1192673
Conference
31st Brazilian Symposium on Software Engineering (SBES), Fortaleza
Available from: 2018-03-23 Created: 2018-03-23 Last updated: 2018-11-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Gorschek, Tony

Search in DiVA

By author/editor
Gorschek, Tony
By organisation
Department of Software Engineering
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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