eprintid: 2566
rev_number: 6
eprint_status: archive
userid: 6
dir: disk0/00/00/25/66
datestamp: 2015-02-06 13:36:11
lastmod: 2015-02-06 13:36:11
status_changed: 2015-02-06 13:36:11
type: book_section
metadata_visibility: show
creators_name: Argent-Katwala, Ashok
creators_name: Clark, Allan
creators_name: Foster, Howard
creators_name: Gilmore, Stephen
creators_name: Mayer, Philip
creators_name: Tribastone, Mirco
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Safety and response-time analysis of an automotive accident assistance service
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
abstract: In the present paper we assess both the safety properties and the response-time profile of a subscription service which provides medical assistance to drivers who are injured in vehicular collisions. We use both timed and untimed process calculi cooperatively to perform the required analysis. The formal analysis tools used are hosted on a high-level modelling platform with support for scripting and orchestration which enables users to build custom analysis processes from the general-purpose analysers which are hosted as services on the platform.
date: 2008
date_type: published
series: Communications in Computer and Information Science
number: 17
publisher: Springer
pagerange: 191-205
id_number: 10.1007/978-3-540-88479-8_14
refereed: TRUE
book_title: Leveraging Applications of Formal Methods, Verification and Validation
official_url: http://dx.doi.org/10.1007/978-3-540-88479-8_14
citation:   Argent-Katwala, Ashok and Clark, Allan and Foster, Howard and Gilmore, Stephen and Mayer, Philip and Tribastone, Mirco  Safety and response-time analysis of an automotive accident assistance service.   In:  Leveraging Applications of Formal Methods, Verification and Validation.   Communications in Computer and Information Science  (17).  Springer, pp. 191-205.       (2008)