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

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