软件评估以支持现有电脑系统的认证

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI:10.1109/ECBS.1996.494528

Steven McDonnell, B. Melhart

{"title":"软件评估以支持现有电脑系统的认证","authors":"Steven McDonnell, B. Melhart","doi":"10.1109/ECBS.1996.494528","DOIUrl":null,"url":null,"abstract":"Industry and government recognize that as equipment functionality migrates from hardware control to software control, greater emphasis must be placed on verification of software. Particularly, issues regarding verification of safety within software design have captured the attention of these groups. Research and development work over the past decade has provided insight into the complex issues surrounding software safety. The result of this work is that software analysis techniques have been adopted which provide a means for safety certification. This paper is concerned with the application of software analysis on existing computer-based systems in order to improve the software safety design and achieve certification. The focus of the paper is assessment of the HUD multipurpose display as a case study for such analyses.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Software assessment to support certification for an existing computer-based system\",\"authors\":\"Steven McDonnell, B. Melhart\",\"doi\":\"10.1109/ECBS.1996.494528\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Industry and government recognize that as equipment functionality migrates from hardware control to software control, greater emphasis must be placed on verification of software. Particularly, issues regarding verification of safety within software design have captured the attention of these groups. Research and development work over the past decade has provided insight into the complex issues surrounding software safety. The result of this work is that software analysis techniques have been adopted which provide a means for safety certification. This paper is concerned with the application of software analysis on existing computer-based systems in order to improve the software safety design and achieve certification. The focus of the paper is assessment of the HUD multipurpose display as a case study for such analyses.\",\"PeriodicalId\":244671,\"journal\":{\"name\":\"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-03-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECBS.1996.494528\",\"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 IEEE Symposium and Workshop on Engineering of Computer-Based Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS.1996.494528","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

工业界和政府认识到，随着设备功能从硬件控制向软件控制的迁移，必须更加重视软件的验证。特别是，关于软件设计中的安全性验证的问题已经引起了这些小组的注意。过去十年的研究和开发工作为围绕软件安全的复杂问题提供了见解。这项工作的结果是采用了软件分析技术，为安全认证提供了一种手段。本文研究了软件分析在现有计算机系统上的应用，以改进软件安全设计，实现软件安全认证。本文的重点是对HUD多用途显示器进行评估，并以此为例进行分析。

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

查看原文本刊更多论文

Software assessment to support certification for an existing computer-based system

Industry and government recognize that as equipment functionality migrates from hardware control to software control, greater emphasis must be placed on verification of software. Particularly, issues regarding verification of safety within software design have captured the attention of these groups. Research and development work over the past decade has provided insight into the complex issues surrounding software safety. The result of this work is that software analysis techniques have been adopted which provide a means for safety certification. This paper is concerned with the application of software analysis on existing computer-based systems in order to improve the software safety design and achieve certification. The focus of the paper is assessment of the HUD multipurpose display as a case study for such analyses.

求助全文

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

来源期刊

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems

自引率

0.00%

发文量