提出改进以避免CRC妥协和沉默规范

C. Rogers
{"title":"提出改进以避免CRC妥协和沉默规范","authors":"C. Rogers","doi":"10.1109/DASC.2009.5347445","DOIUrl":null,"url":null,"abstract":"In this paper we examine the issues and benefits associated with the use of cyclic redundancy checks (CRC)s that manifest during the later phases of safety-critical software development projects. We look at some less obvious details that will potentially increase return on investment (ROI), avoid common DO-178B certification planning and design difficulties, as well as, speed development and integration. We propose software build process improvements with promise to improve version integrity, executable integrity, version identification, and executable identification. We examine the role of CRCs in software configuration management (SCM) and propose their potential for partial satisfaction of DO-178B objectives, like traceability. We look at time-saving steps for integrating with systems that use one of three standard algorithms. Of particular interest, we provide a table of residues from faulty algorithms and their likely causes and remedies, and provide overlooked tips for asynchronous communication devices to aid in the late development phase. There are analysis and data collection techniques proposed to support initial data transfer error rate claims in the early assessment of system integrity and availability, and to show the satisfaction of established bounds.","PeriodicalId":313168,"journal":{"name":"2009 IEEE/AIAA 28th Digital Avionics Systems Conference","volume":"206 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-12-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Proposing improvements to avoid the CRC compromise and the silent specification\",\"authors\":\"C. Rogers\",\"doi\":\"10.1109/DASC.2009.5347445\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we examine the issues and benefits associated with the use of cyclic redundancy checks (CRC)s that manifest during the later phases of safety-critical software development projects. We look at some less obvious details that will potentially increase return on investment (ROI), avoid common DO-178B certification planning and design difficulties, as well as, speed development and integration. We propose software build process improvements with promise to improve version integrity, executable integrity, version identification, and executable identification. We examine the role of CRCs in software configuration management (SCM) and propose their potential for partial satisfaction of DO-178B objectives, like traceability. We look at time-saving steps for integrating with systems that use one of three standard algorithms. Of particular interest, we provide a table of residues from faulty algorithms and their likely causes and remedies, and provide overlooked tips for asynchronous communication devices to aid in the late development phase. There are analysis and data collection techniques proposed to support initial data transfer error rate claims in the early assessment of system integrity and availability, and to show the satisfaction of established bounds.\",\"PeriodicalId\":313168,\"journal\":{\"name\":\"2009 IEEE/AIAA 28th Digital Avionics Systems Conference\",\"volume\":\"206 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-12-04\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 IEEE/AIAA 28th Digital Avionics Systems Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DASC.2009.5347445\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 IEEE/AIAA 28th Digital Avionics Systems Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.2009.5347445","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

在本文中,我们研究了与使用循环冗余检查(CRC)相关的问题和好处,这些问题和好处在安全关键型软件开发项目的后期阶段表现出来。我们着眼于一些不太明显的细节,这些细节将潜在地提高投资回报率(ROI),避免常见的DO-178B认证规划和设计困难,以及加快开发和集成。我们建议改进软件构建过程,并承诺改进版本完整性、可执行完整性、版本识别和可执行识别。我们研究了crc在软件配置管理(SCM)中的作用,并提出了它们部分满足DO-178B目标的潜力,比如可追溯性。我们着眼于与使用三种标准算法之一的系统集成的节省时间的步骤。特别有趣的是,我们提供了错误算法的残留表及其可能的原因和补救措施,并为异步通信设备提供了被忽视的提示,以帮助后期开发阶段。在系统完整性和可用性的早期评估中,提出了一些分析和数据收集技术来支持初始数据传输错误率声明,并显示对既定界限的满足。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Proposing improvements to avoid the CRC compromise and the silent specification
In this paper we examine the issues and benefits associated with the use of cyclic redundancy checks (CRC)s that manifest during the later phases of safety-critical software development projects. We look at some less obvious details that will potentially increase return on investment (ROI), avoid common DO-178B certification planning and design difficulties, as well as, speed development and integration. We propose software build process improvements with promise to improve version integrity, executable integrity, version identification, and executable identification. We examine the role of CRCs in software configuration management (SCM) and propose their potential for partial satisfaction of DO-178B objectives, like traceability. We look at time-saving steps for integrating with systems that use one of three standard algorithms. Of particular interest, we provide a table of residues from faulty algorithms and their likely causes and remedies, and provide overlooked tips for asynchronous communication devices to aid in the late development phase. There are analysis and data collection techniques proposed to support initial data transfer error rate claims in the early assessment of system integrity and availability, and to show the satisfaction of established bounds.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信