Sophisticated vehicle control systems require a close coordination among ECUs. Highly dependable communication network is a backbone for these systems and how to develop it is a significant challenge in terms of electronic platform. In this work, we focus on membership middleware that is one of indispensable functionalities for the dependable network system. The membership middleware provides the application program with a consistent view on the status of other ECUs in the system. Thus, a disagreement in the control mode among ECUs can be avoided even though a certain network failure happens. This paper will discuss how to design the membership middleware including our proposed new protocol to reduce overhead of computation power and communication bandwidth, as well as formal verification process to guarantee design correctness.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Design and formal verification of membership middleware for dependable automotive network systems


    Beteiligte:
    Sakurai, Kohei (Autor:in) / Serafini, Marco (Autor:in) / Bokor, Peter (Autor:in) / Suri, Neeraj (Autor:in)


    Erscheinungsdatum :

    2009


    Format / Umfang :

    12 Seiten, 8 Bilder, 12 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Design and Formal Verification of Membership Middleware for Dependable Automotive Network Systems

    Sakurai, K. / Serafini, M. / Bokor, P. et al. | British Library Conference Proceedings | 2009


    Dependable and cost-effective architecture for systems with membership middleware

    Sakurai, Kohci / Matsubara, Masahiro / Scrafini, Marco et al. | Tema Archiv | 2008


    Membership middleware for dependable and cost effective x-by-wire systems

    Sakurai,K. / Matsubara,M. / Hoshino,M. et al. | Kraftfahrwesen | 2008


    Membership Middleware for Dependable and Cost-Effective X-by-Wire Systems

    Sakurai, K. / Matsubara, M. / Hoshino, M. et al. | British Library Conference Proceedings | 2008


    Membership Middleware for Dependable and Cost-Effective X-by-Wire Systems

    Sakurai, Kohei / Matsubara, Masahiro / Hoshino, Masatoshi | SAE Technical Papers | 2008