Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • 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 Tekniska Högskola, Fakulteten för datavetenskaper, Institutionen för programvaruteknik.
Vise andre og tillknytning
2017 (engelsk)Inngår i: XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017), Association for Computing Machinery (ACM), 2017, s. 154-163Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Association for Computing Machinery (ACM), 2017. s. 154-163
Emneord [en]
Goal-oriented requirements languages, Safety-critical systems, Safety analysis, Requirements engineering, Safety engineering, Goal-oriented requirements engineering
HSV kategori
Identifikatorer
URN: urn:nbn:se:bth-16001DOI: 10.1145/3131151.3131175ISI: 000426485300016ISBN: 978-1-4503-5326-7 (tryckt)OAI: oai:DiVA.org:bth-16001DiVA, id: diva2:1192673
Konferanse
31st Brazilian Symposium on Software Engineering (SBES), Fortaleza
Tilgjengelig fra: 2018-03-23 Laget: 2018-03-23 Sist oppdatert: 2018-11-15bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Personposter BETA

Gorschek, Tony

Søk i DiVA

Av forfatter/redaktør
Gorschek, Tony
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 15 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf