mdh.sePublikationer
Ä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
Developing safe and dependable sensornets
University of York.ORCID-id: 0000-0003-2415-8219
University of Virginia.
University of Virginia.
2011 (Engelska)Ingår i: Proceedings - 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, 2011, s. 279-282Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2011. s. 279-282
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-23826DOI: 10.1109/SEAA.2011.50Scopus ID: 2-s2.0-82955178194ISBN: 9780769544885 (tryckt)OAI: oai:DiVA.org:mdh-23826DiVA, id: diva2:682481
Konferens
37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011; Oulu; Finland; 30 August 2011 through 2 September 2011
Tillgänglig från: 2013-12-27 Skapad: 2013-12-19 Senast uppdaterad: 2014-02-13Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Personposter BETA

Bate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Bate, Iain
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 32 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