Wireless and pervasive applications typically present critical requirements from the point of view of functional correctness, reliability, availability, security and safety. In contrast to the case of classic safety critical applications, the behavior of such applications is affected by the movements and location of users and resources. This paper presents some formal tools that enable designers to specify the software requirements of a pervasive application in an unambiguous and verifiable way. A real safety critical pervasive application for the department of nuclear medicine of a city hospital is also presented as a case study.

Formal Specification of Dependable Pervasive Applications

Coronato Antonio;De Pietro Giuseppe
2009

Abstract

Wireless and pervasive applications typically present critical requirements from the point of view of functional correctness, reliability, availability, security and safety. In contrast to the case of classic safety critical applications, the behavior of such applications is affected by the movements and location of users and resources. This paper presents some formal tools that enable designers to specify the software requirements of a pervasive application in an unambiguous and verifiable way. A real safety critical pervasive application for the department of nuclear medicine of a city hospital is also presented as a case study.
2009
Istituto di Calcolo e Reti ad Alte Prestazioni - ICAR
978-1-4244-5338-2
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/70961
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact