Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033)最新文献_第2页

Self-checking software: improving the quality of mission-critical systems 自检软件:提高关键任务系统的质量

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.863702

T. Reinhart, C. Boettcher, S. Tomashefsky

{"title":"Self-checking software: improving the quality of mission-critical systems","authors":"T. Reinhart, C. Boettcher, S. Tomashefsky","doi":"10.1109/DASC.1999.863702","DOIUrl":"https://doi.org/10.1109/DASC.1999.863702","url":null,"abstract":"Testing of mission-critical systems to a high degree of reliability is a long time problem that continues to plague system integrators. As a result, system failures may occur in the field due to faults that result from unusual environmental conditions or unexpected sequences of events that are never encountered in the laboratory. While the problem is widespread, cost effective and practical solutions have not been forthcoming. This paper reports on a novel technique called self-checking systems that promises a significant step forward in providing a practical approach to improving productivity in the system test and integration process, while producing systems with fewer residual errors. The technique, originally based on theoretical University results, is transitioning to practice under the Air Force Self-Checking Embedded Information System Software (SCEISS) research and development program. A brief introduction will be given to the theoretical roots of self-checking, as well as results obtained from applying result checkers to several important applications. The preliminary results reported here include a description of the example applications and their checkers, the process used to select checkers, and initial data points on any additional costs that may accrue due to the development and test of checkers.","PeriodicalId":269139,"journal":{"name":"Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033)","volume":"276 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121996937","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

Fibre Channel: leveraging a commercial networking technology for military applications 光纤通道:利用商业网络技术用于军事应用

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.863706

M. Glass

{"title":"Fibre Channel: leveraging a commercial networking technology for military applications","authors":"M. Glass","doi":"10.1109/DASC.1999.863706","DOIUrl":"https://doi.org/10.1109/DASC.1999.863706","url":null,"abstract":"The emerging adoption of Fibre Channel will enable the military to leverage the work of over 80 commercial companies involved in the development of the Fibre Channel ANSI standard. Beyond that, there are nearly two dozen companies participating on the FC-AE (Fibre Channel for Avionics Environment) subcommittee. Currently, Fibre Channel provides 100 MB/s bandwidth over copper or optical media. Other salient features of Fibre Channel include multiple topologies, including point-to-point, arbitrated loop, or switched fabric; end-to-end latencies on the order of 10 /spl mu/s; multiple classes of service, including non-guaranteed delivery, guaranteed delivery, and quality of service (QoS); multiple options for flow control; a mechanism for message prioritizing; and a time distribution service. As a means of providing portability for many types of applications, Fibre Channel is able to leverage multiple ULPs (Upper Layer Protocols), including IF, SCSI, and VIA (Virtual Interface Architecture). In particular, VIA, a relatively new standard developed by Microsoft, Intel, and Compaq, provides a lightweight, high-performance protocol that's particularly well suited for the distributed processor environment. In comparison with other upper layers, VIA provides a lean stack architecture that supports both high bandwidth and low latency messaging by providing a doorbell type interface enabling very fast initiation of message transmission; a means for message prioritizing; and a high degree of hardware and firmware assist to minimize the need for computational resources by allowing for streamlined code size, reducing the number of data copies, and eliminating the need for processor checksum calculations.","PeriodicalId":269139,"journal":{"name":"Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033)","volume":"33 1-2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116729759","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}

引用次数: 3

Distributed object visualization for sensor-driven systems 面向传感器驱动系统的分布式对象可视化

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.863692

C. Gill, D. Levine, C. O'Ryan, D. Schmidt

{"title":"Distributed object visualization for sensor-driven systems","authors":"C. Gill, D. Levine, C. O'Ryan, D. Schmidt","doi":"10.1109/DASC.1999.863692","DOIUrl":"https://doi.org/10.1109/DASC.1999.863692","url":null,"abstract":"Many sensor-driven systems, such as those for avionics mission computing and for manufacturing process control, have stringent timing requirements for processing sensor data. Furthermore, many of these systems manage multiple sources of sensor simultaneously. Our previous work has shown that sensor-driven systems can be implemented efficiently and predictably using a real-time CORBA Event Service. This approach allows designers of real-time systems to leverage the benefits of flexible and open distributed computing architectures, such as those defined in the CORBA specification, while still meeting real-time requirements for efficiency, scalability, and predictability. To build and manage these types of systems, application developers and test engineers must be able to monitor and visualize the systems' real-time behavior. This paper describes how we have extended our distributed object visualization environment (DOVE) framework to monitor the timing behavior of a real-time application that generates and processes two separate streams of simulated sensor data events. The principal contributions of this paper are: (1) applying the DOVE framework to a simulated sensor-driven application, (2) extending the DOVE framework to support new application requirements, and (3) demonstrating and visualizing quality of service (QoS) control for multiple event streams within a real-time CORBA Event Service.","PeriodicalId":269139,"journal":{"name":"Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129295435","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

Automotive electrical systems: architecture and components 汽车电气系统:结构和部件

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.863660

I. Khan

引用次数: 21

Performance and behavioral modeling of avionics subsystems 航空电子子系统的性能与行为建模

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.863683

W. Hanna, M. Macke, R.M. Traversy, M. Martinez

{"title":"Performance and behavioral modeling of avionics subsystems","authors":"W. Hanna, M. Macke, R.M. Traversy, M. Martinez","doi":"10.1109/DASC.1999.863683","DOIUrl":"https://doi.org/10.1109/DASC.1999.863683","url":null,"abstract":"In this paper we provide a brief description of some of the current efforts and report experiences and lessons learned in the use of modeling on some avionics development programs at Boeing. Performance and behavioral modeling is a valuable tool for evaluating hardware and software designs. Electronic component and assembly hardware models, based on standard languages such as Verilog and VHDL, have been useful for evaluating hardware architectures. Software models that can interoperate with the hardware models are useful for evaluating software architectures and the performance of the software architectures on given hardware platforms (co-simulation). These performance models can be used to specify systems and parts of systems. The simulations of the models can be used to provide a minimum set of acceptance tests that any design must achieve. In this sense, the models contain the dynamic specifications for the desired design. The authors have experience that includes performance only, behavior only, and performance and behavioral models used in the development of avionics systems, subsystems, and components. These models were useful at different stages of development and were able to provide insight into system requirements as well as the suitability of any proposed implementations. This paper addresses performance and behavioral modeling and simulation as applied to avionics systems and sub-systems in the product development phases.","PeriodicalId":269139,"journal":{"name":"Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033)","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1999-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124307772","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}

引用次数: 1

Verification tools for embedded robotic electronics 嵌入式机器人电子验证工具

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.821999

A. Sarǎu

引用次数: 0

Conflict detection and alerting for separation assurance systems 用于分离保证系统的冲突检测和警报

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.821978

W. E. Kelly

引用次数: 35

An innovative architecture for military tanker/transport platforms ensures a tie to commercial upgrades to meet future GATM requirements 军用加油机/运输平台的创新架构确保了与商业升级的联系，以满足未来的GATM要求

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.863743

J. Sturdy, T. Redling, P. Cox

引用次数: 3

Practical validation of model based code generation for automotive applications 汽车应用中基于模型的代码生成的实际验证

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.822081

S. Toeppe, S. Ranville, D. Bostic, Y. Wang

引用次数: 19

Selecting an avionics real-time application progam interface (api) 选择航电实时应用程序接口(api)

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033) Pub Date : 1999-10-24 DOI: 10.1109/DASC.1999.813674

C. Segura

引用次数: 0