面向体系结构的软件安全性需求开发方法研究-计算机软件与理论专业论文.docxVIP

长春理工大学硕士学位论文原创性声睛本人郑藿声明：所呈变的硕士学位论文．《面向体系结构的软件安全性需求 长春理工大学硕士学位论文原创性声睛 本人郑藿声明：所呈变的硕士学位论文．《面向体系结构的软件安全性需求 丌发方法研究》是本人在指导教师的指导下．独立进行研究工作所取得的成果。 除文中已经注明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰 写过的作品成粜。对本文的研究做出重要贡献的个人和集体，均已在文中以明确 方式标明。本人完全意识到本声明的法律结果由本人承担。 作者签名 扭 2口¨年j q2口R 长春理工大学学位论文版权使用授权书 本学位论文作者及指导教师完全了解“k存理工大学硕士、博士学位论文版 权使用规定”，同意长春理工人学保尉并向。p国科学信息研究所、t和国优秀博硕 士学位论文全立数据库和CNKI系列数据库及其它周家有关矗Jf门或机构送变学 位论文的复印件和电子版．允许论文被查阅和借阅。本人授权长春理上火学可以 将本学位论文的全部或部分内容编入有关数据库进行检索，也可采用影印、缩印 或扫描等复制手段保存和舡编学位论文。 Jf 作者箍名：錾二lL兰型年三月型¨ 钏口箍影：；幽i少皇!L年立q兰日 摘 摘 要 随着软件在安全性关键系统中的应用规模越来越大、承担的安全性关键指挥控制 功能越来越多，安全性关键的软件密集型系统(SCSIS)已初露端倪。在SCSIS中，软 件安全性需求被认为是决定系统安全性的一个主要因素。 本文旨在研究体系结构设计阶段的软件安全性需求丌发技术，这是因为： ’方面 软件体系结构表征丁基本的安全性策略，另一方面确保体系结构全面、客观地反映软 件安全性需求，将能避免后期返工，本文主要工作和贡献体现在： (1)综述了软件安全性研究现状。剖析了安全性与系统、软件的关系，明确了 软件安全性的研究内容、工程过程：讨论了懿型的软件安全性需求丁{：发与表示方法． 获得了在体系结构殴计阶段丌发软件安全性需求的重要启示： (2)提出了一种基于目标和场景的软件安全性需求丌发方法。政方法要求软件 安全性需求丌发与体系结构设计协同进行。通过对分配在体系结构上的目标及实现场 景进行背离分析，J『发出相应的反目标及负面场景。然后针对风险不可接受的负面场 景，丌发出包含危险处馒策略及度量标准的软件安全性需求，求精软件体系结构设计。 以一个汽车电传制动系统为例说明了浚方法的应用可行性。 关键宇： 软件安全性安全-|生需求软件体系结构软件工程安全工程 ABSTRACTSafely·critical ABSTRACT Safely·critical intensive systems(SCSIS)are emerging software play more and more salbty·critical command and control roles in safety—critical systems Software safety requirements are seenits amajorcontributorto system safety The dissertation focuses o／／a new architecture-oriented development method to『 software sallety requirements because software architecture represents basic sal?ty lacfics And ifarchitecture represents all safety requirements it won’t do poorly work over again乩 last phases of softwarelifecycle Themain contributions ofthe dissertationare aslbllows Firstly,the paper surveysthe state ofthe art of software safety The relations of safetyto system and software are analyzed to show what software safety is and what safety engineering processes can be used Secondly．the paper focuses on how to develop and represent software safety requirement Two revelations derived from the existing techniqu