HomeTL: A visual formalism based on temporal logic for the design of home based care

A Rugnone, CD Nugent, Mark Donnelly, D Craig, C Paggetti, E Tamburini, E Vicario

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Citations (Scopus)

Abstract

The demands of introducing a more practical means of managing and monitoring technology within the home environment to support independent living are increasing. Efforts have been made recently to address these concerns, however, they may be considered to be lacking in mathematical rigour or have not benefited from incorporating the needs and expectations of the healthcare professionals. In this paper, we present a prototype solution, referred to as HomeTL, which allows healthcare professionals to establish the conditions/rules within which technology in the home should operate. The HomeTL concept is based on previous work in the area of visual notation and linear temporal logic. A visual editor for HomeTL has been developed and is presented in this paper. Following a description of the methodology and the prototype developed, results from a usability study, conducted on three computer scientists specializing in the area of healthcare management, are presented. The initial results based on this survey are positive and show that the topic deserves further investigation.
LanguageEnglish
Title of host publicationUnknown Host Publication
Pages747-752
Number of pages6
DOIs
Publication statusPublished - Sep 2007
EventIEEE Conference on Automation Science and Engineering - Arizona
Duration: 1 Sep 2007 → …

Conference

ConferenceIEEE Conference on Automation Science and Engineering
Period1/09/07 → …

Fingerprint

Temporal logic
Monitoring

Cite this

Rugnone, A., Nugent, CD., Donnelly, M., Craig, D., Paggetti, C., Tamburini, E., & Vicario, E. (2007). HomeTL: A visual formalism based on temporal logic for the design of home based care. In Unknown Host Publication (pp. 747-752) https://doi.org/10.1109/COASE.2007.4341725
Rugnone, A ; Nugent, CD ; Donnelly, Mark ; Craig, D ; Paggetti, C ; Tamburini, E ; Vicario, E. / HomeTL: A visual formalism based on temporal logic for the design of home based care. Unknown Host Publication. 2007. pp. 747-752
@inproceedings{06565794591a4a8fbb249328791ac34c,
title = "HomeTL: A visual formalism based on temporal logic for the design of home based care",
abstract = "The demands of introducing a more practical means of managing and monitoring technology within the home environment to support independent living are increasing. Efforts have been made recently to address these concerns, however, they may be considered to be lacking in mathematical rigour or have not benefited from incorporating the needs and expectations of the healthcare professionals. In this paper, we present a prototype solution, referred to as HomeTL, which allows healthcare professionals to establish the conditions/rules within which technology in the home should operate. The HomeTL concept is based on previous work in the area of visual notation and linear temporal logic. A visual editor for HomeTL has been developed and is presented in this paper. Following a description of the methodology and the prototype developed, results from a usability study, conducted on three computer scientists specializing in the area of healthcare management, are presented. The initial results based on this survey are positive and show that the topic deserves further investigation.",
author = "A Rugnone and CD Nugent and Mark Donnelly and D Craig and C Paggetti and E Tamburini and E Vicario",
year = "2007",
month = "9",
doi = "10.1109/COASE.2007.4341725",
language = "English",
isbn = "1-4244-1154-8",
pages = "747--752",
booktitle = "Unknown Host Publication",

}

Rugnone, A, Nugent, CD, Donnelly, M, Craig, D, Paggetti, C, Tamburini, E & Vicario, E 2007, HomeTL: A visual formalism based on temporal logic for the design of home based care. in Unknown Host Publication. pp. 747-752, IEEE Conference on Automation Science and Engineering, 1/09/07. https://doi.org/10.1109/COASE.2007.4341725

HomeTL: A visual formalism based on temporal logic for the design of home based care. / Rugnone, A; Nugent, CD; Donnelly, Mark; Craig, D; Paggetti, C; Tamburini, E; Vicario, E.

Unknown Host Publication. 2007. p. 747-752.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - HomeTL: A visual formalism based on temporal logic for the design of home based care

AU - Rugnone, A

AU - Nugent, CD

AU - Donnelly, Mark

AU - Craig, D

AU - Paggetti, C

AU - Tamburini, E

AU - Vicario, E

PY - 2007/9

Y1 - 2007/9

N2 - The demands of introducing a more practical means of managing and monitoring technology within the home environment to support independent living are increasing. Efforts have been made recently to address these concerns, however, they may be considered to be lacking in mathematical rigour or have not benefited from incorporating the needs and expectations of the healthcare professionals. In this paper, we present a prototype solution, referred to as HomeTL, which allows healthcare professionals to establish the conditions/rules within which technology in the home should operate. The HomeTL concept is based on previous work in the area of visual notation and linear temporal logic. A visual editor for HomeTL has been developed and is presented in this paper. Following a description of the methodology and the prototype developed, results from a usability study, conducted on three computer scientists specializing in the area of healthcare management, are presented. The initial results based on this survey are positive and show that the topic deserves further investigation.

AB - The demands of introducing a more practical means of managing and monitoring technology within the home environment to support independent living are increasing. Efforts have been made recently to address these concerns, however, they may be considered to be lacking in mathematical rigour or have not benefited from incorporating the needs and expectations of the healthcare professionals. In this paper, we present a prototype solution, referred to as HomeTL, which allows healthcare professionals to establish the conditions/rules within which technology in the home should operate. The HomeTL concept is based on previous work in the area of visual notation and linear temporal logic. A visual editor for HomeTL has been developed and is presented in this paper. Following a description of the methodology and the prototype developed, results from a usability study, conducted on three computer scientists specializing in the area of healthcare management, are presented. The initial results based on this survey are positive and show that the topic deserves further investigation.

UR - http://www.ieee-case.org/index.php

UR - http://www.ieee-case.org/index.php

U2 - 10.1109/COASE.2007.4341725

DO - 10.1109/COASE.2007.4341725

M3 - Conference contribution

SN - 1-4244-1154-8

SP - 747

EP - 752

BT - Unknown Host Publication

ER -