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

TitleFitting the pieces together: system/software analysis and code integration using METAH
Publication TypeConference Paper
Year of Publication1998
AuthorsKrueger JW, Vestal S, Lewis B
Conference Name17th Digital Avionics Systems Conference
Date Published11/1998
Conference LocationSeattle, WA
Abstract

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