安全关键软件采购方法和工具的选择

Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools Pub Date : 1994-06-07 DOI:10.1109/AQSDT.1994.315746

Y. Mayadoux

{"title":"安全关键软件采购方法和工具的选择","authors":"Y. Mayadoux","doi":"10.1109/AQSDT.1994.315746","DOIUrl":null,"url":null,"abstract":"The production of a safety critical software can be improved by the relevant use of methods and tools; as shown by experience with the DARTS project. The article makes recommendations on what to look for in the selection of appropriate methods and tools. The paper gives an overview of the characteristics of safety critical software; referring to existing recommendations. The DARTS project is then presented. Finally, recommendations on the selection of methods and tools for the production of safety critical software are made.<<ETX>>","PeriodicalId":349987,"journal":{"name":"Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-06-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"The selection of methods and tools for the procurement of safety critical software\",\"authors\":\"Y. Mayadoux\",\"doi\":\"10.1109/AQSDT.1994.315746\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The production of a safety critical software can be improved by the relevant use of methods and tools; as shown by experience with the DARTS project. The article makes recommendations on what to look for in the selection of appropriate methods and tools. The paper gives an overview of the characteristics of safety critical software; referring to existing recommendations. The DARTS project is then presented. Finally, recommendations on the selection of methods and tools for the production of safety critical software are made.<<ETX>>\",\"PeriodicalId\":349987,\"journal\":{\"name\":\"Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-06-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/AQSDT.1994.315746\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/AQSDT.1994.315746","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

安全关键软件的生产可以通过使用相关的方法和工具来改进;正如dart项目的经验所显示的那样。本文就在选择合适的方法和工具时应注意的事项提出了建议。本文概述了安全关键软件的特点;参考现有的建议。然后介绍了dart项目。最后，对安全关键软件的生产方法和工具的选择提出了建议。

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

查看原文本刊更多论文

The selection of methods and tools for the procurement of safety critical software

The production of a safety critical software can be improved by the relevant use of methods and tools; as shown by experience with the DARTS project. The article makes recommendations on what to look for in the selection of appropriate methods and tools. The paper gives an overview of the characteristics of safety critical software; referring to existing recommendations. The DARTS project is then presented. Finally, recommendations on the selection of methods and tools for the production of safety critical software are made.<>

求助全文

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

来源期刊

Proceedings of 3rd Symposium on Assessments of Quality Software Development Tools

自引率

0.00%

发文量