Integrated toolset for high-integrity system verification and validation support (avionics)

机译：集成工具集，用于高完整性系统验证和验证支持（航空电子设备）

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

The basic principles and underlying design of a toolset for high-integrity system verification and validation support are presented. First experiences in the application of the toolset to an avionics software maintenance project are discussed. An outline is given of work, which features the extension of the existing toolset to a certification support system.

机译：提出了用于高完整性系统验证和验证支持的工具集的基本原理和底层设计。讨论了将工具集应用于航空电子软件维护项目的第一个经验。概述的工作，它具有对认证支持系统的现有工具集的扩展。

著录项

来源
《IEEE/AIAA/NASA Digital Avionics Systems Conference》|1990年||共6页
会议地点
作者
Cabos R.P.; Institute of Electric and Electronic Engineer;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE [J] . Lisong Wang, Miaofang Chen, Jun Hu International journal of aerospace engineering . 2018,第2期

机译：基于MARTE的模块化组合航空电子系统配置的形式验证方法。
2. Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE [J] . Wang Lisong, Chen Miaofang, Hu Jun International journal of aerospace engineering . 2018,第PTa1期

机译：基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
3. Assessment of Decision Support Systems for Envisioned Human Extravehicular Activity Operations: From Requirements to Validation and Verification [J] . Miller Matthew J., Feigh Karen M. Journal of cognitive engineering and decision making . 2020,第1期

机译：预期的人类舱外活动操作的决策支持系统的评估：从需求到验证和验证
4. Integrated toolset for high-integrity system verification and validation support (avionics) [C] . Cabos, R.P. . 1990

机译：集成工具集，用于高完整性系统验证和确认支持（航空电子）
5. A formal approach to contract verification for high-integrity applications. [D] . Zhang, Zhi. 2016

机译：一种用于高完整性应用程序的合同验证的正式方法。
6. Verification validation algorithms for data used in critical care decision support systems. [O] . D. Carlson, C. J. Wallace, T. D. East, 1995

机译：重症监护决策支持系统中使用的数据的验证和确认算法。
7. Towards the verification of real-time systems in avionics the Cotre approach11Cotre (“COmposant Temps Réel”) is a two years project starting january 2002, supported by Réseau National des Technologies Logicielles (RNTL). The consortium is constituted by AIRBUS, TNI-Valiosys, ENST-Bretagne and the three laboratories of FéRIA (LAAS, IRIT, CERT.). Home page of project: http://www.laas.fr/COTRE [O] . Berthomieu B., Ribet P-O., Vernadat F., 2003

机译：验证航空电子系统中的实时系统，采用Cotre方法11Cotre（“共性临时工”）是一项为期两年的项目，始于2002年1月，由国家逻辑技术研究所（RNTL）支持。该财团由空客，TNI-Valiosys，ENST-布列塔尼和FéRIA的三个实验室（LAAS，IRIT，CERT。）组成。项目主页：http://www.laas.fr/COTRE
8. Design of the Core Elements of the Digital Avionics Information System (DAIS). Volume I. System Design,Design Verification,DAIS Integrated Test System (DITS),Information Transfer System. [R] . chamberlin,leo a. 1974

机译：数字航空电子信息系统（DaIs）核心要素的设计。第一卷系统设计，设计验证，DaIs综合测试系统（DITs），信息传输系统。

Integrated toolset for high-integrity system verification and validation support (avionics)

摘要

著录项

相似文献

相关主题

期刊订阅