Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Verifying contract-based specifications of product lines using description logic
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
2018 (English)In: CEUR Workshop Proceedings, CEUR-WS , 2018Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
CEUR-WS , 2018.
Series
CEUR Workshop Proceedings, ISSN 1613-0073
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-246543Scopus ID: 2-s2.0-85056869875OAI: oai:DiVA.org:kth-246543DiVA, id: diva2:1299197
Conference
31st International Workshop on Description Logics, DL 2018; Tempe; United States; 27 October 2018 through 29 October 2018
Note

QC 20190326

Available from: 2019-03-26 Created: 2019-03-26 Last updated: 2019-03-26Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Nyberg, Mattias

Search in DiVA

By author/editor
Nešić, DamirNyberg, Mattias
By organisation
Mechatronics
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 10 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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