https://www.mdu.se/

mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Assessing Software Interference Management When Modifying Safety-Related Software
University of York. (IS (Embedded Systems))ORCID-id: 0000-0002-6352-4368
University of York.
2012 (engelsk)Inngår i: Lecture Notes in Computer Science, volume 7613, Springer, 2012, s. 132-145Kapittel i bok, del av antologi (Fagfellevurdert)
Abstract [en]

Many systems deliberately manage interference between software components, e.g. through partitioning. When engineers modifying such software determine which items of verification evidence have been invalidated by changes, they consider interference management measures. A complete understanding ofinterference and its management is crucial when engineers re-use evidence. In prior work, we suggested: (a) a guided process for identifying interference and means of managing it; and (b) a strategy for arguing about interference management. In this paper, we present the results of a case study meant to answer two questions raised by this prior work: (i) which views of the system engineers should consider when identifying interference and its management; and (ii) whether our argument pattern captures a practical way to argue about interference management.

sted, utgiver, år, opplag, sider
Springer, 2012. s. 132-145
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7613
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-22283DOI: 10.1007/978-3-642-33675-1_11ISBN: 9783642336744 (tryckt)OAI: oai:DiVA.org:mdh-22283DiVA, id: diva2:661353
Tilgjengelig fra: 2013-11-03 Laget: 2013-10-31 Sist oppdatert: 2013-12-03bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekst

Person

Graydon, Patrick

Søk i DiVA

Av forfatter/redaktør
Graydon, Patrick

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 62 treff
RefereraExporteraLink to record
Permanent link

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