Safety and Response-Time Analysis of an Automotive Accident Assistance Service

Ashok Argent-Katwala, Allan Clark, Howard Foster, Stephen Gilmore, Philip Mayer, Mirco Tribastone

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

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publicationThird International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer-Verlag GmbH
Number of pages15
ISBN (Electronic)978-3-540-88479-8
ISBN (Print)978-3-540-88478-1
Publication statusPublished - 2008

Publication series

NameCommunications in Computer and Information Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)1865-0929


Dive into the research topics of 'Safety and Response-Time Analysis of an Automotive Accident Assistance Service'. Together they form a unique fingerprint.

Cite this