Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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
Verifying contract-based specifications of product lines using description logic
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik.
KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Mekatronik.
2018 (engelsk)Inngår i: CEUR Workshop Proceedings, CEUR-WS , 2018Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

The complexity of critical systems is constantly increasing and if developed as Product Lines (PLs), the number of possible system configuration can be huge. Consequently, assuring system properties such as safety or security is increasingly difficult. Assurance cases are used often to argue that a system is safe or secure and Contract-Based Specification models are a promising foundation for assurance case argumentation. This paper defines a method for Description Logic (DL) based verification of the well-formedness constraints of an arbitrary CBS model of a PL. The paper presents the DL encoding of arbitrary CBS model, the DL encoding of the well-formedness constraints, and shows how the verification of these constraints can be reduced to satisfiability verification of the corresponding knowledge base. In order to validate the presented approach, a small, but real, industrial PL was expressed as a CBS model, implemented as an OWL ontology, and an off-the-shelf reasoner was used to verify if the CBS model is well-formed.

sted, utgiver, år, opplag, sider
CEUR-WS , 2018.
Serie
CEUR Workshop Proceedings, ISSN 1613-0073
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-246543Scopus ID: 2-s2.0-85056869875OAI: oai:DiVA.org:kth-246543DiVA, id: diva2:1299197
Konferanse
31st International Workshop on Description Logics, DL 2018; Tempe; United States; 27 October 2018 through 29 October 2018
Merknad

QC 20190326

Tilgjengelig fra: 2019-03-26 Laget: 2019-03-26 Sist oppdatert: 2019-03-26bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Scopus

Personposter BETA

Nyberg, Mattias

Søk i DiVA

Av forfatter/redaktør
Nešić, DamirNyberg, Mattias
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric

urn-nbn
Totalt: 10 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • 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