DocumentCode
492619
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
fYear
2008
fDate
10-18 May 2008
Firstpage
613
Lastpage
622
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 2008. ICSE '08. ACM/IEEE 30th International Conference on
Conference_Location
Leipzig
ISSN
0270-5257
Print_ISBN
978-1-4244-4486-1
Electronic_ISBN
0270-5257
Type
conf
DOI
10.1145/1368088.1368173
Filename
4814173
Link To Document