Publicação
Modelling and analysing the interactive behaviour of an infusion pump
| Resumo: | This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different manufacturers offer solutions that support a particular clinical activity. Apart from cost, which is a dominating factor, the variations between devices are relatively subtle and the consequences of particular design features are not clear from manufacturers' manuals, demonstrations or trial uses. De- spite their subtlety these differences can be important to the safety and usability of the device. The paper argues that formal analysis of the range of offered devices can provide a systematic means of comparison. The paper also explores barriers to the use of such techniques, demonstrating how layers of specification may be used to make it possible to reuse common specification. Infusion pumps provide a motivating example. A specific model is described and analysed and comparison between competitive devices is discussed rather than dealt with in detail. |
|---|---|
| Autores principais: | Campos, J. Creissac |
| Outros Autores: | Harrison, Michael D. |
| Assunto: | MAL IVY Medical devices Procurement Interactive systems |
| Ano: | 2011 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1867438315075010560 |
|---|---|
| author | Campos, J. Creissac |
| author2 | Harrison, Michael D. |
| author2_role | author |
| author_facet | Campos, J. Creissac Harrison, Michael D. |
| author_role | author |
| contributor_name_str_mv | RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Campos, J. Creissac\"},{\"Person.name\":\"Harrison, Michael D.\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Campos, J. Creissac Harrison, Michael D. |
| datacite.date.Accepted.fl_str_mv | 2011-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2011-12-09T17:40:12Z |
| datacite.date.embargoed.fl_str_mv | 2011-12-09T17:40:12Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | MAL IVY Medical devices Procurement Interactive systems |
| datacite.titles.title.fl_str_mv | Modelling and analysing the interactive behaviour of an infusion pump |
| dc.contributor.none.fl_str_mv | RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Campos, J. Creissac Harrison, Michael D. |
| dc.date.Accepted.fl_str_mv | 2011-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2011-12-09T17:40:12Z |
| dc.date.embargoed.fl_str_mv | 2011-12-09T17:40:12Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/15015 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | MAL IVY Medical devices Procurement Interactive systems |
| dc.title.fl_str_mv | Modelling and analysing the interactive behaviour of an infusion pump |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_6501 |
| description | This paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different manufacturers offer solutions that support a particular clinical activity. Apart from cost, which is a dominating factor, the variations between devices are relatively subtle and the consequences of particular design features are not clear from manufacturers' manuals, demonstrations or trial uses. De- spite their subtlety these differences can be important to the safety and usability of the device. The paper argues that formal analysis of the range of offered devices can provide a systematic means of comparison. The paper also explores barriers to the use of such techniques, demonstrating how layers of specification may be used to make it possible to reuse common specification. Infusion pumps provide a motivating example. A specific model is described and analysed and comparison between competitive devices is discussed rather than dealt with in detail. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | article |
| fulltext.url.fl_str_mv | https://repositorium.uminho.pt/bitstreams/14bc519b-de77-4901-855a-77ea66d09dd9/download |
| id | rum_e0431d0e33338d101b82247e7828c3eb |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/15015 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/15015 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Campos, J. Creissac Harrison, Michael D. |
| publishDate | 2011 |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engporThis paper is concerned with the scaleable and systematic analysis of interactive systems. The motivating problem is the procurement of medical devices. In such situations several different manufacturers offer solutions that support a particular clinical activity. Apart from cost, which is a dominating factor, the variations between devices are relatively subtle and the consequences of particular design features are not clear from manufacturers' manuals, demonstrations or trial uses. De- spite their subtlety these differences can be important to the safety and usability of the device. The paper argues that formal analysis of the range of offered devices can provide a systematic means of comparison. The paper also explores barriers to the use of such techniques, demonstrating how layers of specification may be used to make it possible to reuse common specification. Infusion pumps provide a motivating example. A specific model is described and analysed and comparison between competitive devices is discussed rather than dealt with in detail.application/pdfporModelling and analysing the interactive behaviour of an infusion pumpCampos, J. CreissacHarrison, Michael D.HostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptISSNIsPartOf1863-2122DOIIsPartOf10.14279/tuj.eceasst.45.641.6572011-12-09T17:40:12Z20112011-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/15015http://purl.org/coar/access_right/c_abf2open accessMALIVYMedical devicesProcurementInteractive systems525193 bytesliteraturehttp://purl.org/coar/resource_type/c_6501journal articlehttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://repositorium.uminho.pt/bitstreams/14bc519b-de77-4901-855a-77ea66d09dd9/download |
| spellingShingle | Modelling and analysing the interactive behaviour of an infusion pump Campos, J. Creissac MAL IVY Medical devices Procurement Interactive systems |
| status | SINGLETON |
| subject.fl_str_mv | MAL IVY Medical devices Procurement Interactive systems |
| title | Modelling and analysing the interactive behaviour of an infusion pump |
| title_full | Modelling and analysing the interactive behaviour of an infusion pump |
| title_fullStr | Modelling and analysing the interactive behaviour of an infusion pump |
| title_full_unstemmed | Modelling and analysing the interactive behaviour of an infusion pump |
| title_short | Modelling and analysing the interactive behaviour of an infusion pump |
| title_sort | Modelling and analysing the interactive behaviour of an infusion pump |
| topic | MAL IVY Medical devices Procurement Interactive systems |
| topic_facet | MAL IVY Medical devices Procurement Interactive systems |
| url | https://hdl.handle.net/1822/15015 |
| visible | 1 |