Title :
Formal verification of an automotive scenario in service-oriented computing
Author :
Ter Beek, Maurice H. ; Gnesi, Stefania ; Koch, Nora ; Mazzanti, Franco
Author_Institution :
CNR, Pisa
Abstract :
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.
Keywords :
automotive engineering; formal verification; mobile computing; software architecture; automotive scenario; car drivers; formal modelling; formal verification; in-vehicle computers; service-oriented computing; Automotive engineering; Costs; Formal verification; Internet telephony; Permission; Roads; Service oriented architecture; Software engineering; Unified modeling language; Vehicle driving; automotive systems; model checking; service-oriented computing;
Conference_Titel :
Software Engineering, 2008. ICSE '08. ACM/IEEE 30th International Conference on
Conference_Location :
Leipzig
Print_ISBN :
978-1-4244-4486-1
Electronic_ISBN :
0270-5257
DOI :
10.1145/1368088.1368173
