使用MALPAS工具对军械软件进行分析

Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. Pub Date : 1990-06-25 DOI:10.1109/CMPASS.1990.175404

K. Hayman

{"title":"使用MALPAS工具对军械软件进行分析","authors":"K. Hayman","doi":"10.1109/CMPASS.1990.175404","DOIUrl":null,"url":null,"abstract":"Results of using the MALPAS static analysis package are presented, both as they relate to the specific software being analyzed and more generally in terms of the experience and insight gained into the application of static analysis techniques to the verification of real-time software. The translation of the software into the intermediate language used by the MALPAS analyzers, the results of code analysis, the answers to questions posed about the software, and the conclusions arising from the analysis are discussed. Two significant safety-related flaws were detected during the analysis, one in the software itself and the other in the specification of the device. Comparisons are made between the findings of the analysis and currently proposed standards for writing safety-critical software.<<ETX>>","PeriodicalId":122768,"journal":{"name":"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"An analysis of ordnance software using the MALPAS tools\",\"authors\":\"K. Hayman\",\"doi\":\"10.1109/CMPASS.1990.175404\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Results of using the MALPAS static analysis package are presented, both as they relate to the specific software being analyzed and more generally in terms of the experience and insight gained into the application of static analysis techniques to the verification of real-time software. The translation of the software into the intermediate language used by the MALPAS analyzers, the results of code analysis, the answers to questions posed about the software, and the conclusions arising from the analysis are discussed. Two significant safety-related flaws were detected during the analysis, one in the software itself and the other in the specification of the device. Comparisons are made between the findings of the analysis and currently proposed standards for writing safety-critical software.<<ETX>>\",\"PeriodicalId\":122768,\"journal\":{\"name\":\"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-06-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPASS.1990.175404\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPASS.1990.175404","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

介绍了使用MALPAS静态分析包的结果，因为它们与正在分析的特定软件有关，并且更普遍地涉及到将静态分析技术应用于实时软件验证方面所获得的经验和洞察力。讨论了将软件翻译成MALPAS分析器使用的中间语言、代码分析的结果、对软件提出的问题的回答以及分析得出的结论。在分析过程中发现了两个与安全相关的重大缺陷，一个在软件本身，另一个在设备规格中。将分析结果与目前提出的编写安全关键软件的标准进行比较。

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

查看原文本刊更多论文

An analysis of ordnance software using the MALPAS tools

Results of using the MALPAS static analysis package are presented, both as they relate to the specific software being analyzed and more generally in terms of the experience and insight gained into the application of static analysis techniques to the verification of real-time software. The translation of the software into the intermediate language used by the MALPAS analyzers, the results of code analysis, the answers to questions posed about the software, and the conclusions arising from the analysis are discussed. Two significant safety-related flaws were detected during the analysis, one in the software itself and the other in the specification of the device. Comparisons are made between the findings of the analysis and currently proposed standards for writing safety-critical software.<>

求助全文

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

来源期刊

Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.

自引率

0.00%

发文量