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
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 (English)In: Lecture Notes in Computer Science, volume 7613, Springer, 2012, p. 132-145Chapter in book (Refereed)
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.

Place, publisher, year, edition, pages
Springer, 2012. p. 132-145
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 7613
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-22283DOI: 10.1007/978-3-642-33675-1_11ISBN: 9783642336744 (print)OAI: oai:DiVA.org:mdh-22283DiVA, id: diva2:661353
Available from: 2013-11-03 Created: 2013-10-31 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Graydon, Patrick

Search in DiVA

By author/editor
Graydon, Patrick
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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