AESOP home


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

Ashok Argent-Katwala, A Clark, Howard Foster, Stephen T. Gilmore, Philip Mayer, Mirco Tribastone

Conference or Workshop Paper
ISOLA'08, 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
September, 2008
Communications in Computer and Information Science
Volume 17
Issue 6
DOI 10.1007/978-3-540-88479-8_14

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.

PDF of full publication (1.8 megabytes)
(need help viewing PDF files?)
Copyright notice

Information from