Architecture description languages (ADLs) are beginning to address the system as a set of interconnected components subject to an overall execution model. An ADL aimed at a specific domain can give designers a way to check their system against particular properties required by their application. Formal ADLs can also be transformed automatically into executable 'glue' code that ties the components together according to the specified connections and execution model. MetaH is an ADL and toolset originally developed to meet the strict requirements of flight control and avionics, including hard realtime, safety, security, fault-tolerance and multiprocessing. However, an increasingly broad range of applications shares these requirements.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Fitting the pieces together: system/software analysis and code integration using METAH


    Contributors:
    Krueger, J.W. (author) / Vestal, S. (author) / Lewis, B. (author)


    Publication date :

    1998


    Size :

    8 Seiten, 8 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Integration Science: More Than Putting Pieces Together

    Bellman, K. L. / Landauer, C. / Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2000


    Integration science: more than putting pieces together

    Bellman, K.L. / Landauer, C. | IEEE | 2000


    Putting the pieces together

    Bruce,M. | Automotive engineering | 2007


    Putting All The Pieces Together

    Online Contents | 2011


    METAL FITTING FOR PRESSING SUSPENDED CARGO PIECES, SUSPENSION METHOD OF CARGO PIECES, AND LOADING METHOD OF SUSPENDED BAGS USING THE SAME

    SUGIMOTO AKIRA / TANAKA HIROYUKI / OKUDA TOSHIFUMI et al. | European Patent Office | 2020

    Free access