用于高完整性系统验证和验证支持的集成工具集(航空电子)

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

R.P. Cabos

{"title":"用于高完整性系统验证和验证支持的集成工具集(航空电子)","authors":"R.P. Cabos","doi":"10.1109/DASC.1990.111298","DOIUrl":null,"url":null,"abstract":"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.<<ETX>>","PeriodicalId":141205,"journal":{"name":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-10-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Integrated toolset for high-integrity system verification and validation support (avionics)\",\"authors\":\"R.P. Cabos\",\"doi\":\"10.1109/DASC.1990.111298\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"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.<<ETX>>\",\"PeriodicalId\":141205,\"journal\":{\"name\":\"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-10-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"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.111298\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"9th IEEE/AIAA/NASA Conference on Digital Avionics Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.1990.111298","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

介绍了一个用于高完整性系统验证和验证支持的工具集的基本原理和基本设计。讨论了该工具集在航电软件维护项目中的初步应用经验。给出了工作大纲，其特点是将现有工具集扩展为认证支持系统。

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

查看原文本刊更多论文

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.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量