Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department (Contributo in atti di convegno) (literal)

Anno

• 2009-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1109/WAINA.2009.198 (literal)

Alternative label

• Coronato Antonio, De Pietro Giuseppe (2009)
  Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department
  in International Symposium on Security and Multimodality in Pervasive Environments, SMPE09, Bradford, England, 26-29 May 2009
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Coronato Antonio, De Pietro Giuseppe (literal)

Pagina inizio

• 1043 (literal)

Pagina fine

• 1048 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 6 (literal)

Note

• ISI Web of Science (WOS) (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• ICAR - CNR, ICAR - CNR (literal)

Titolo

• Formal Specification of a Safety Critical Pervasive Application for a Nuclear Medicine Department (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-1-4244-3999-7 (literal)

Abstract

• In case of safety critical pervasive applications classic designing tools can not be applied as they are. As a matter of fact, the behavior of such a kind of applications relies on the location of resources and users and, eventually, on their movements. Unfortunately, classic formal methods take into account neither the concept of location, nor the possibility of movements. This paper presents a set of tools to specify formally requirements for safety critical pervasive applications. In particular, we show how its possible to formalize and constraint the mobility characteristics by combining and extending several formal methods. The paper focuses on a real case study, which consists in a pervasive application for the department of nuclear medicine of a city hospital. (literal)

Prodotto di

• Istituto di calcolo e reti ad alte prestazioni (ICAR) (Istituto)
• Metodologie e tecniche ICT per l'e-health (INT.P02.014.001) (Modulo)

Autore CNR

• GIUSEPPE DE PIETRO (Unità di personale interno)
• ANTONIO CORONATO (Persona)

Incoming links:

Prodotto

• Istituto di calcolo e reti ad alte prestazioni (ICAR) (Istituto)
• Metodologie e tecniche ICT per l'e-health (INT.P02.014.001) (Modulo)

Autore CNR di

• GIUSEPPE DE PIETRO (Unità di personale interno)
• ANTONIO CORONATO (Persona)