The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-critical domains, component-based development is beginning to take hold as a mechanism for incorporating non-functional aspects such as real-time, quality-of-service, and distribution. To form an effective basis for development of such systems, we believe that support for reasoning about correctness properties of component-based designs is essential. In this paper, we present Cadena - an integrated environment for building and modeling CCM systems. Cadena provides facilities for defining component types using CCM IDL, specifying dependency information and transition System semantics for these types, assembling systems from CCM components, visualizing various dependence relationships between components, specifying and verifying correctness properties of models of CCM systems derived from CCM IDL, component assembly information, and Cadena specifications, and producing CORBA stubs and skeletons implemented in Java. We are applying Cadena to avionics applications built using Boeing's Bold Stroke framework.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Cadena: an integrated development, analysis, and verification environment for component-based systems


    Contributors:
    Hatcliff, J. (author) / Deng, Xinghua (author) / Dwyer, M.B. (author) / Jung, G. (author) / Ranganath, V.P. (author)


    Publication date :

    2003


    Size :

    13 Seiten, 24 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Cadena resistente

    WIENKE DIETRICH / MARISSEN ROELOF | European Patent Office | 2017

    Free access

    Una guía de cadena y un cabrestante de cadena que comprende tal guía de cadena

    ANTONSEN BJØRN TORE RAMBERG / HØVIK JON / FISKERGÅRD KNUT et al. | European Patent Office | 2022

    Free access

    Tensor de cadena con dispositivo conmutador de la cadena

    REMMERS VICTOR MARIA WILHELM GERARD | European Patent Office | 2022

    Free access

    Eslabón de cadena

    KUIVAMÄKI ISMO | European Patent Office | 2019

    Free access

    Cierre de cadena

    European Patent Office | 2021

    Free access