为安全关键计算机软件制定英国国防标准的基本原理

Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security. Pub Date : 1990-11-01 DOI:10.1109/62.63161

M.J.D. Brown

{"title":"为安全关键计算机软件制定英国国防标准的基本原理","authors":"M.J.D. Brown","doi":"10.1109/62.63161","DOIUrl":null,"url":null,"abstract":"Developments leading to the publication of the UK Ministry of Defence (MOD) draft standards, specifically directed toward the development and certification of safety-critical computer applications are discussed. Highlights of the draft UK standards are presented, although they are working documents that are liable to change and do not represent settled MOD policy. The use of ADA for safety-critical software is also discussed. This discussion includes a list of programming design practices that, according to the draft standards, are to be avoided.<<ETX>>","PeriodicalId":122768,"journal":{"name":"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.","volume":"600 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Rationale for the development of the UK defence standards for safety-critical computer software\",\"authors\":\"M.J.D. Brown\",\"doi\":\"10.1109/62.63161\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Developments leading to the publication of the UK Ministry of Defence (MOD) draft standards, specifically directed toward the development and certification of safety-critical computer applications are discussed. Highlights of the draft UK standards are presented, although they are working documents that are liable to change and do not represent settled MOD policy. The use of ADA for safety-critical software is also discussed. This discussion includes a list of programming design practices that, according to the draft standards, are to be avoided.<<ETX>>\",\"PeriodicalId\":122768,\"journal\":{\"name\":\"Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security.\",\"volume\":\"600 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-11-01\",\"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/62.63161\",\"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/62.63161","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

讨论了导致英国国防部(MOD)标准草案出版的发展，特别是针对安全关键计算机应用程序的开发和认证。英国标准草案的重点被提出，尽管它们是工作文件，可能会改变，不代表确定的国防部政策。还讨论了ADA在安全关键软件中的应用。本讨论包括一个程序设计实践的列表，根据标准草案，这些实践是要避免的。

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

查看原文本刊更多论文

Rationale for the development of the UK defence standards for safety-critical computer software

Developments leading to the publication of the UK Ministry of Defence (MOD) draft standards, specifically directed toward the development and certification of safety-critical computer applications are discussed. Highlights of the draft UK standards are presented, although they are working documents that are liable to change and do not represent settled MOD policy. The use of ADA for safety-critical software is also discussed. This discussion includes a list of programming design practices that, according to the draft standards, are to be avoided.<>

求助全文

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

来源期刊

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

自引率

0.00%

发文量