Formal verification of an automotive scenario in service-oriented computing

Maurice H. ter Beek, Stefania Gnesi, Nora Koch, Franco Mazzanti

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.

BibTeX

@inproceedings{terBeek-al:ICSE08,
  author    = {Maurice H. ter Beek and
               Stefania Gnesi and
               Nora Koch and
               Franco Mazzanti},
  title     = {Formal verification of an automotive scenario in service-oriented computing},
  booktitle = {ICSE},
  pages     = {613--622},
  publisher = {{ACM}},
  year      = {2008},
}

Formal verification of an automotive scenario in service-oriented computing

Abstract

Related papers