Automatic programming technologies for avionics software (APTAS)

9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI:10.1109/DASC.1990.111269

J. Williamson, P. Jensen, L. Ogata, W. Graves

{"title":"Automatic programming technologies for avionics software (APTAS)","authors":"J. Williamson, P. Jensen, L. Ogata, W. Graves","doi":"10.1109/DASC.1990.111269","DOIUrl":null,"url":null,"abstract":"The APTAS software development environment, which provides automatic programming support for both rapid prototyping and target software system development in Ada, is described. APTAS utilizes domain-specific knowledge base support for automatic code synthesis from high-level system specifications. Each domain knowledge base includes both generic system architectures, in the form of templates, and design rules which capture carefully developed implementation strategies of various high-level specifications. Early users of this system will be systems and software engineers whose responsibility is to develop avionics system architectures. With the APTAS system, engineers will be able to quickly compare and contrast various architectural designs, including hardware and software tradeoffs, by testing instrumented, operational prototypes. The engineer will specify the system in a high-level specification language tailored to the functional area. Drawing from a knowledge base germane to the specifications APTAS will then interpret the specification in order to synthesize executable code. The high-level design language CIDL is a key element of APTAS, since it provides all the resources required to specify and test real-time, parallel processing systems needed for avionics applications.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"63 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.1990.111269","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

Abstract

The APTAS software development environment, which provides automatic programming support for both rapid prototyping and target software system development in Ada, is described. APTAS utilizes domain-specific knowledge base support for automatic code synthesis from high-level system specifications. Each domain knowledge base includes both generic system architectures, in the form of templates, and design rules which capture carefully developed implementation strategies of various high-level specifications. Early users of this system will be systems and software engineers whose responsibility is to develop avionics system architectures. With the APTAS system, engineers will be able to quickly compare and contrast various architectural designs, including hardware and software tradeoffs, by testing instrumented, operational prototypes. The engineer will specify the system in a high-level specification language tailored to the functional area. Drawing from a knowledge base germane to the specifications APTAS will then interpret the specification in order to synthesize executable code. The high-level design language CIDL is a key element of APTAS, since it provides all the resources required to specify and test real-time, parallel processing systems needed for avionics applications.<>

查看原文本刊更多论文

航空电子软件自动编程技术(APTAS)

介绍了APTAS软件开发环境，该环境为Ada的快速原型和目标软件系统开发提供了自动编程支持。APTAS利用领域特定的知识库支持来自高级系统规范的自动代码合成。每个领域知识库都包括模板形式的通用系统架构和设计规则，这些规则捕获了精心开发的各种高级规范的实现策略。该系统的早期用户将是负责开发航空电子系统架构的系统和软件工程师。有了APTAS系统，工程师将能够快速比较和对比各种架构设计，包括硬件和软件的权衡，通过测试仪器，操作原型。工程师将使用适合功能领域的高级规格语言指定系统。从与规范相关的知识库中绘制，然后APTAS将解释规范，以便合成可执行代码。高级设计语言CIDL是APTAS的关键元素，因为它提供了指定和测试航空电子应用所需的实时、并行处理系统所需的所有资源。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

9th IEEE/AIAA/NASA Conference on Digital Avionics Systems

自引率

0.00%

发文量