mdh.sePublications
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
Tool-Supported Safety-Relevant Component Reuse: From Specification to Argumentation
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7382-8437
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-6952-1053
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-8461-0230
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7235-6888
Show others and affiliations
2018 (English)In: 23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 Ada-Europe-2018, 2018, Vol. 10873, p. 19-33Conference paper, Published paper (Refereed)
Abstract [en]

Contracts are envisaged to support compositional verification of a system as well as reuse and independent development of their implementations. But reuse of safety-relevant components in safety-critical systems needs to cover more than just the implementations. As many safety-relevant artefacts related to the component as possible should be reused together with the implementation to assist the integrator in assuring that the system they are developing is acceptably safe. Furthermore, the reused assurance information related to the contracts should be structured clearly to communicate the confidence in the component. In this work we present a tool-supported methodology for contract-driven assurance and reuse. We define the variability on the contract level in the scope of a trace-based approach to contract-based design. With awareness of the hierarchical nature of systems subject to compositional verification, we propose assurance patterns for arguing confidence in satisfaction of requirements and contracts. We present an implementation extending the AMASS platform to support automated instantiation of the proposed patterns, and evaluate its adequacy for assurance and reuse in a real-world case study.

Place, publisher, year, edition, pages
2018. Vol. 10873, p. 19-33
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-40845DOI: 10.1007/978-3-319-92432-8_2ISI: 000465823000002Scopus ID: 2-s2.0-85049018625ISBN: 978-3-319-92431-1 (print)OAI: oai:DiVA.org:mdh-40845DiVA, id: diva2:1247479
Conference
23rd International Conference on Reliable Software Technologies - Ada-Europe 2018 Ada-Europe-2018 , 18 Jun 2018, Lisbon, Portugal
Projects
Future factories in the CloudSafeCOP - Safe Cooperating Cyber-Physical Systems using Wireless CommunicationAMASS - Architecture-driven, Multi-concern and Seamless Assurance and Certification of Cyber-Physical Systems
Funder
EU, Horizon 2020, 692529 VinnovaAvailable from: 2018-09-12 Created: 2018-09-12 Last updated: 2019-05-16Bibliographically approved

Open Access in DiVA

fulltext(1901 kB)55 downloads
File information
File name FULLTEXT01.pdfFile size 1901 kBChecksum SHA-512
29520f1fb3ebe4a359906c6183ad0329cef38aee29c77a8b7c7cc8c222eac99f55ac8ff774940c65b64cb8641e6bd97a10f89d573e17dbe3e35c287542e865d6
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Sljivo, IrfanGallina, BarbaraCarlson, JanHansson, Hans

Search in DiVA

By author/editor
Sljivo, IrfanGallina, BarbaraCarlson, JanHansson, Hans
By organisation
Embedded Systems
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 55 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

doi
isbn
urn-nbn

Altmetric score

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