TY  - CHAP
N1  - Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
AV  - none
ID  - eprints2566
EP  - 205
TI  - Safety and response-time analysis of an automotive accident assistance service
SP  - 191
N2  - 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.
T3  - Communications in Computer and Information Science
A1  - Argent-Katwala, Ashok
A1  - Clark, Allan
A1  - Foster, Howard
A1  - Gilmore, Stephen
A1  - Mayer, Philip
A1  - Tribastone, Mirco
UR  - http://dx.doi.org/10.1007/978-3-540-88479-8_14
Y1  - 2008///
PB  - Springer
T2  - Leveraging Applications of Formal Methods, Verification and Validation
ER  -