International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

ISoLA 2008: Leveraging Applications of Formal Methods, Verification and Validation pp 191-205

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

  • Ashok Argent-Katwala
  • Allan Clark
  • Howard Foster
  • Stephen Gilmore
  • Philip Mayer
  • Mirco Tribastone
Conference paper

DOI: 10.1007/978-3-540-88479-8_14

Volume 17 of the book series Communications in Computer and Information Science (CCIS)
Cite this paper as:
Argent-Katwala A., Clark A., Foster H., Gilmore S., Mayer P., Tribastone M. (2008) Safety and Response-Time Analysis of an Automotive Accident Assistance Service. In: Margaria T., Steffen B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Ashok Argent-Katwala
    • 1
  • Allan Clark
    • 2
  • Howard Foster
    • 1
  • Stephen Gilmore
    • 2
  • Philip Mayer
    • 3
  • Mirco Tribastone
    • 2
  1. 1.Imperial CollegeLondonEngland
  2. 2.The University of EdinburghScotland
  3. 3.Ludwig-Maximilians-UniversitätMunichGermany