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
Configuration-aware contracts
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
2016 (English)In: Lecture Notes in Computer Science, vol. 9923, 2016, 43-54 p.Conference paper, Published paper (Refereed)
Abstract [en]

Assumption/guarantee contracts represent the basis for independent development of reusable components and their safety assurance within contract-based design. In the context of safety-critical systems, their use for reuse of safety assurance efforts has encountered some challenges: the need for evidence supporting the confidence in the contracts; and the challenge of context, where contracts need to impose different requirements on different systems. In this paper we propose the notion of configuration-aware contracts to address the challenge contract-based design faces with multiple contexts. Since reusable components are often developed with a set of configuration parameters that need to be configured in each context, we extend the notion of contract to distinguish between the configuration parameters and the other variables. Moreover, we define a multi-context reusable component based on the configuration-aware contracts. Finally, we demonstrate the usefulness of the multi-context components on a motivating case. 

Place, publisher, year, edition, pages
2016. 43-54 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9923
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-33351DOI: 10.1007/978-3-319-45480-1_4ISI: 000387734000005Scopus ID: 2-s2.0-84988346657ISBN: 9783319454795 (print)OAI: oai:DiVA.org:mdh-33351DiVA: diva2:1033408
Conference
International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2016 and International Workshop on Assurance Cases for Software-Intensive Systems, ASSURE 2016, Workshop on Dependable Embedded and Cyber-physical Systems and Systems-of-Systems, DECSoS 2016, 5th International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems, SASSUR 2016, and 1st International Workshop on the Timing Performance in Safety Engineering, TIPS 2016; Trondheim; Norway; 21 September 2016 through 23 September 2016
Available from: 2016-10-06 Created: 2016-10-06 Last updated: 2016-12-08Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 12 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