发布求助
文献互助 智能选刊 最新文献

9th IEEE/AIAA/NASA Conference on Digital Avionics Systems最新文献

筛选
英文 中文
Formal methods in software engineering 软件工程中的形式化方法
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111291
G. Hird
{"title":"Formal methods in software engineering","authors":"G. Hird","doi":"10.1109/DASC.1990.111291","DOIUrl":"https://doi.org/10.1109/DASC.1990.111291","url":null,"abstract":"The application of formal methods at various stages of software development, and to selected critical aspects of software systems is discussed. A number of specific formal methods tools as well as application illustrating their use, are described. The tools discussed include verification systems for Ada and C. Also considered is the Romulus tool which allows the user to specify and verify security properties at the system design level. In addition, the application of formal methods to the building of a secure network component and a secure distributed operating system is described.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133153705","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The fault tolerant parallel processor operating system concepts and performance measurement overview 对容错并行处理器操作系统的概念和性能测量进行概述
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111316
C.A. Babikyan
{"title":"The fault tolerant parallel processor operating system concepts and performance measurement overview","authors":"C.A. Babikyan","doi":"10.1109/DASC.1990.111316","DOIUrl":"https://doi.org/10.1109/DASC.1990.111316","url":null,"abstract":"It is pointed out that mission critical applications of the future will require a computing system capable of high throughput as well as very high reliability. The fault tolerant parallel processor (FTPP), a system designed specifically to satisfy these goals, is described. The FTPP architecture consists of interconnection network/redundancy management hardware and standard commercial processors. The architecture provides flexibility in the appropriate balance of throughput and reliability for a given application. Furthermore, to maintain a system of high reliability the FTPP expeditiously identifies faulty components and performs some remedial operations. These redundancy management functions are performed by the operating system to relive the application from the knowledge of the underlying fault tolerance. How the operating system achieves redundancy management in conjunction with the fault tolerant hardware is described. Performance data to characterize system behavior are presented. Performance measurements indicate that the cost of fault tolerance does not significantly penalize forming redundancy management functions requires a mere .93 ms/frame more than a simplex processor performing no redundancy management.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115890944","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Techniques and tools for efficiently modeling multiprocessor systems 有效建模多处理器系统的技术和工具
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111339
T. Carpenter, S. Yalamanchili
{"title":"Techniques and tools for efficiently modeling multiprocessor systems","authors":"T. Carpenter, S. Yalamanchili","doi":"10.1109/DASC.1990.111339","DOIUrl":"https://doi.org/10.1109/DASC.1990.111339","url":null,"abstract":"System-level tools and methodologies associated with an integrated approach to the development of multiprocessor systems are examined. Tools for capturing initial program structure, automated program partitioning, automated resource allocation, and high-level modeling of the combined application and resource are discussed. The primary language focus of the current implementation is Ada, although the techniques should be appropriate for other programming paradigms.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"125 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117103677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Generation and analysis of large reliability models (avionics) 大型可靠性模型的生成与分析(航电)
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111313
D. Palumbo, D. Nicol
{"title":"Generation and analysis of large reliability models (avionics)","authors":"D. Palumbo, D. Nicol","doi":"10.1109/DASC.1990.111313","DOIUrl":"https://doi.org/10.1109/DASC.1990.111313","url":null,"abstract":"An effort has been underway for several years at NASA's Langley Research Center to extend the capability of Markov modeling techniques for reliability analysis to the designers of highly reliable avionic systems. This effort has been focused in the areas of increased model abstraction and increased computational capability. The reliability model generator (RMG), a software tool which uses as input a graphical, object-oriented block diagram of the system, is discussed. RMG uses an automated failure modes-effects analysis algorithm to produce the reliability model from the graphical description. Also considered is the ASSURE software tool, a parallel processing program which uses the ASSIST modeling language and SURE semi-Markov solution technique. An executable failure modes-effects analysis is used by ASSURE. The successful combination of the power of graphical representation, automated model generation, and parallel computation leads to the conclusion that large system architectures can now be analyzed.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"5 2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129753376","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
A concurrent distributed system for aircraft tactical decision generation 飞机战术决策生成并行分布式系统
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111340
J. W. McManus
{"title":"A concurrent distributed system for aircraft tactical decision generation","authors":"J. W. McManus","doi":"10.1109/DASC.1990.111340","DOIUrl":"https://doi.org/10.1109/DASC.1990.111340","url":null,"abstract":"A research program investigating the use of artificial intelligence (AI) techniques to aid in the development of a tactical decision generator (TDG) for within visual range (WVR) air combat engagements is discussed. The application of AI programming and problem-solving methods in the development and implementation of a concurrent version of the computerized logic for air-to-air warfare simulations (CLAWS) program, a second-generation TDG, is presented. Concurrent computing environments and programming approaches are discussed, and the design and performance of prototype concurrent TDG system (Cube CLAWS) are presented. It is concluded that the Cube CLAWS has provided a useful testbed to evaluate the development of a distributed blackboard system. The project has shown that the complexity of developing specialized software on a distributed, message-passing architecture such as the Hypercube is not overwhelming, and that reasonable speedups and processor efficiency can be achieved by a distributed blackboard system.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127037765","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
The need for formal description techniques in validating communication protocols 在验证通信协议时需要正式的描述技术
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111266
J. DeCarlo
{"title":"The need for formal description techniques in validating communication protocols","authors":"J. DeCarlo","doi":"10.1109/DASC.1990.111266","DOIUrl":"https://doi.org/10.1109/DASC.1990.111266","url":null,"abstract":"The Consultative Committee for Space Data Systems (CCSDS) validation program to check the quality of the advanced orbiting systems (AOS) services and protocols is discussed. Formal description techniques (FDTs) and the need for using these techniques to validate the AOS communications services and protocols are then considered. In particular, the use of the language of temporal ordering specification (LOTOS) and FDT as part of the AOS validation program has proven to be useful in identifying ambiguities, inconsistencies, and imprecise statements in the English-language recommendation. By more completely and precisely specifying the AOS services and protocols, it will also play a major role in implementing them.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130777063","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Integrated Inertial Navigation System/Global Positioning System (INS/GPS) for automatic space return vehicle 用于自动空间返回飞行器的综合惯性导航系统/全球定位系统(INS/GPS)
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111323
K. Braden, C. Browning, H. Gelderloos
{"title":"Integrated Inertial Navigation System/Global Positioning System (INS/GPS) for automatic space return vehicle","authors":"K. Braden, C. Browning, H. Gelderloos","doi":"10.1109/DASC.1990.111323","DOIUrl":"https://doi.org/10.1109/DASC.1990.111323","url":null,"abstract":"A digital GN&C system that automatically returns a space vehicle from orbit to a precision touchdown/landing is described. It is demonstrated that a capsule or lifting body manned return vehicle (MRV) with integrated INS/GPS (inertial navigation system/global positioning system) provides a highly autonomous and automatic deorbit, entry, and precision landing capability. Simulation results are used to demonstrate automatic MRV landing feasibility using absolute GPS for a vertically landing capsule vehicle and the feasibility of using integrated differential GPS/INS to provide the accuracy for a lifting body to perform a safe runway landing without needing TACAN (tactical air navigation) or microwave landing system (MLS) navigational aids. Testing of an advanced system using differential GPS/INS is expected to provide an extensive database on GPS/INS system accuracies and to demonstrate a lower cost alternative to TACAN, DME (distance measuring equipment), and MLS navigation aids.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132960427","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
NASA Langley and AF RADC high-speed fiber optic transceiver program NASA兰利和AF RADC高速光纤收发器项目
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111302
H. D. Hendricks, A. Cook, T. Mack, J. R. Hunter
{"title":"NASA Langley and AF RADC high-speed fiber optic transceiver program","authors":"H. D. Hendricks, A. Cook, T. Mack, J. R. Hunter","doi":"10.1109/DASC.1990.111302","DOIUrl":"https://doi.org/10.1109/DASC.1990.111302","url":null,"abstract":"NASA Langley Research Center and the Air Force Rome Air Development Center have been pursuing the development of military- and space-qualified fiber optic transceivers for a variety of ground-based, space-based, and general avionic applications. An initial development pursued a design called the multipurpose fiber optic transceiver (MFOX) and provided a family of fiber optic transceivers which operated up to 1 Gb/s. A second generation of high-speed fiber optic transceivers (HSFOX) utilizes an all-integrated-circuits approach in order to develop a lighter-weight, smaller-size, and more efficient transceiver. The high-speed fiber optic transceiver will be military-and-space-operating in the 0.05-5 Gb/s data rate range. The initial results of tests, performance, and availability of commercial high-speed all-integrated-circuit chipsets for fiber-optic transceivers are discussed, as well as the performance of transceivers fabricated from these chipsets.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131340293","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reliable specification and execution tool 可靠的规范和执行工具
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111289
A. Rudmik
{"title":"Reliable specification and execution tool","authors":"A. Rudmik","doi":"10.1109/DASC.1990.111289","DOIUrl":"https://doi.org/10.1109/DASC.1990.111289","url":null,"abstract":"A reliable specification and execution tool (RSET) that supports a rigorous object-oriented constraint-based specification method called box structures for object-oriented development (Box Structures/OOD) is described. RSET also supports the simulation of systems from their specifications. The object-oriented paradigm employs concepts such as object classification, relationships between objects, and constraints on objects, that are natural to human discourse. In all cases, there is exactly a one-to-one correspondence between objects in the specification and the specifier's view of the objects in the system being specified. There is a straightforward mapping from the specification to an Ada implementation. The specifications are formal and support automatic consistency and completeness checking. The specifications are executable, allowing systems to be simulated at the specification level. Box Structures/OOD is uniformly applicable to the specification, design, and implementation of large complex software systems (e.g. real-time, distributed, parallel).<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121660507","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Automatic alert code and test generation system 自动报警代码和测试生成系统
9th IEEE/AIAA/NASA Conference on Digital Avionics Systems Pub Date : 1990-10-15 DOI: 10.1109/DASC.1990.111270
S. Taylor, J. Janelle
{"title":"Automatic alert code and test generation system","authors":"S. Taylor, J. Janelle","doi":"10.1109/DASC.1990.111270","DOIUrl":"https://doi.org/10.1109/DASC.1990.111270","url":null,"abstract":"The MD-11 aircraft alerting function (AAF) software system was developed with the customer as the aircraft systems expert and the avionics supplier responsible for designing, implementing, testing and maintaining the software. Due to the complexity of the MD-11, frequent changes in alert logic were anticipated, forming a volatile development environment. In spite of these obstacles, a cost-effective method for developing the AAF software was devised and implemented. The authors address the following topics: how the MD-11 AAF operates; how the MD-11 AAF provides a cost-effective and timely method of allowing the customer to design each alert, make flight test changes, and maintain the alert data base; and how the MD-11 AAF allows the avionics supplier to easily verify and validate the alert logic using automatically generated test cases.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116723737","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信