{"title":"Fitting the pieces together: system/software analysis and code integration using METAH","authors":"J. Krueger, S. Vestal, B. Lewis","doi":"10.1109/DASC.1998.741493","DOIUrl":null,"url":null,"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.","PeriodicalId":335827,"journal":{"name":"17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.1998.741493","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 16
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
