PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Gnesi S., Koch N., Mazzanti F. Formal verification of an automotive scenario in service-oriented computing. In: 30th International Conference on Software Engineering (ICSE'08) (Leipzig, Germany, 10-18 May 2008). Proceedings, pp. 613 - 622. ACM Press, 2008.
 
 
Abstract
(English)
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.
DOI: http://doi.acm.org/10.1145/1368088.1368173
Subject Automotive systems
Service-Oriented Computing
Model checking
D.2.4 Software/Program Verification. Model checking


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional