Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems where both intra-vehicle and inter-vehicles interactions require that a set of federated components (services) be properly orchestrated. The interactions and cooperations among the members of such federations suggest the use of well-known architectural styles to properly design new systems. Among the various styles, we explore the use of the publish-subscribe paradigm for intra-vehicle cooperations and the service-oriented paradigm for vehicle-to-vehicle and vehicle-to-environment interactions. We argue that available modeling notations provide adequate support to specification, but still lack proper support to the validation phase. In this paper we discuss component models and their validation in the context of the automotive domain. In particular, we show how publish/subscribe and service-oriented applications can be analyzed through model-checking techniques by drawing simple examples from the automotive domain.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Validation of Component and Service Federations in Automotive Software Applications


    Contributors:


    Publication date :

    2006-01-01


    Size :

    17 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English




    Validation of Component and Service Federations in Automotive Software Applications

    Baresi, L. / Ghezzi, C. | British Library Conference Proceedings | 2006



    Service-Based Software Development for Automotive Applications

    Kruger, I. H. / Nelson, E. C. / Prasad, K. V. | British Library Conference Proceedings | 2004


    Service-based software development for automotive applications

    Krueger,I.H. / Nelson,E.C. / Prasad,K.V. et al. | Automotive engineering | 2004


    Service-based software development for automotive applications

    Krüger, Ingolf H. / Nelson, Edward C. / Prasad, K. Venkatesh | Tema Archive | 2004