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
Contract-based Specification and Description-Logic-Based Validation of Product Lines
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. Scania CV AB, Södertälje, Sweden.
2018 (English)Report (Other academic)
Abstract [en]

The complexity of critical systems is constantly increasing. Consequently, assuring properties like safety or security of such systems is increasingly difficult. The difficulties are only intensified in the Product-Line Engineering (PLE) context, where properties of a complete family of systems, i.e. a Product Line (PL), must be assured. Contract-Based Specification and Design (CBSD) paradigm is a promising approach for alleviating these difficulties because it is a general-purpose, formal paradigm, developed purposely to support structured development of complex systems which are correct-by-design. Starting from a general CBSD framework, we present an extension that supports using CBSD in PLE, and prove that the extension preserves the properties of the original framework. Then, as a step towards providing tool-support for CBSD specification of PLs, we define the encoding of an arbitrary CBSD model of a PL, together with the constraints which define a proper CBSD model, as a Tbox of a description logic knowledge base. Finally, we show how verification of these constraints can be reduced to satisfiability verification of the corresponding knowledge base. In order to validate the presented approach, a CBSD specification of a small, but real, industrial PL is created, implemented as an OWL ontology, and an off-the-shelf reasoner was used to verify if the provided CBSD model is proper.

Place, publisher, year, edition, pages
2018. , p. 24
Series
TRITA-ITM-RP ; 2018:3
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:kth:diva-232701ISBN: 978-91-7729-894-6 (electronic)OAI: oai:DiVA.org:kth-232701DiVA, id: diva2:1235977
Note

QC 20180731

Available from: 2018-07-30 Created: 2018-07-30 Last updated: 2018-08-03Bibliographically approved

Open Access in DiVA

fulltext(687 kB)5 downloads
File information
File name FULLTEXT02.pdfFile size 687 kBChecksum SHA-512
b6b90f0fc3dc897155f85b27db82a6696b0304a1d4c9865f25c7ab3eb2653b38115b6e2ddd4f2b24a3d94ba4f3944c31c9d545da62d408af0e5284ec856eb4fd
Type fulltextMimetype application/pdf

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 9 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

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