Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Safety ADD: A tool for safety-contract based design
RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.ORCID-id: 0000-0003-1713-3726
RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.ORCID-id: 0000-0003-4069-6252
RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.ORCID-id: 0000-0001-6901-4986
RISE., SP – Sveriges Tekniska Forskningsinstitut, SP Elektronik, Pålitliga system.
2014 (Engelska)Ingår i: Proceedings - IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW, 2014, , s. 527-529s. 527-529, artikel-id 6983898Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

Safety ADD is a tool for working with safety contracts for software components. Safety contracts tie safety related properties, in the form of guarantees and assumptions, to a component. A guarantee is a property the component promises to hold, on the premise that the environment provides its associated assumptions. When multiple software components are integrated in asystem, Safety ADD is used to verify that the guarantees and assumptions match when there are safety-related dependencies between the components. The initial goal of Safety ADD is to investigate how safety contracts can be managed and used efficiently within the software design process. It is implemented as an Eclipse plug in. The tool has two main functions. It gives designers of software components a way to specify safety contracts, which are stored in an XML format and shall be distributed together with the component. It also gives developers who integrate multiple software components in their systems a tool to verify that the safety contracts are fulfilled. A graphical editor is used to connect guarantees and assumptions for dependent components, and an algorithm traverses all such connections to make sure they match.

Ort, förlag, år, upplaga, sidor
2014. , s. 527-529s. 527-529, artikel-id 6983898
Nationell ämneskategori
Naturvetenskap
Identifikatorer
URN: urn:nbn:se:ri:diva-12453DOI: 10.1109/ISSREW.2014.18Scopus ID: 2-s2.0-84922603169Lokalt ID: 23643OAI: oai:DiVA.org:ri-12453DiVA, id: diva2:970277
Konferens
IEEE 25th International Symposium on Software Reliability Engineering Workshops, ISSREW, Naples; Italy; 3 Nov. through 6 Nov. 2014
Tillgänglig från: 2016-09-13 Skapad: 2016-09-13 Senast uppdaterad: 2023-05-25Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Vedder, BenjaminWarg, FredrikSkoglund, Martin

Sök vidare i DiVA

Av författaren/redaktören
Vedder, BenjaminWarg, FredrikSkoglund, Martin
Av organisationen
Pålitliga system
Naturvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetricpoäng

doi
urn-nbn
Totalt: 71 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf