Sciweavers

Share
ICSE
2008
IEEE-ACM

Formal verification of an automotive scenario in service-oriented computing

10 years 2 months ago
Formal verification of an automotive scenario in service-oriented computing
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing domain. The aim of this industrial case study is to verify a priori, thus before implementation, certain design issues. The specific scenario is a simplified version of one of possible new services for car drivers to be provided by the in-vehicle computers. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification--Model checking General Terms Experimentation,Verification Keywords Automotive systems, Service-Oriented Computing, Model checking
Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Fr
Added 17 Nov 2009
Updated 09 Dec 2009
Type Conference
Year 2008
Where ICSE
Authors Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti
Comments (0)
books