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
Developing safe and dependable sensornets
University of York.ORCID iD: 0000-0003-2415-8219
University of Virginia.
University of Virginia.
2011 (English)In: Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, 2011, 279-282 p.Conference paper (Refereed)
Abstract [en]

Sensor nets are being widely proposed as a solution technology in a wide number of applications, e.g. health care. As part of this work some key challenges for the safety and sensor net communities are established in part by developing parts of a safety case for a fire detection system in a skyscraper. We then demonstrate how some of these issues can be resolved by modifying earlier work on Run Time Assurance of applications to satisfy some key safety and dependability requirements in the context of a sensor net used as part of a fire fighting system.

Place, publisher, year, edition, pages
2011. 279-282 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23826DOI: 10.1109/SEAA.2011.50Scopus ID: 2-s2.0-82955178194ISBN: 9780769544885 (print)OAI: oai:DiVA.org:mdh-23826DiVA: diva2:682481
Conference
37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011; Oulu; Finland; 30 August 2011 through 2 September 2011
Available from: 2013-12-27 Created: 2013-12-19 Last updated: 2014-02-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Bate, Iain
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

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