{"title":"将各个部分组合在一起:使用meta进行系统/软件分析和代码集成","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":"{\"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}","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}
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.