免费论文：鉴于Safety Case的安定要害软硬件安定性归纳评价本领接洽

连接爆发的软硬件作废和事变使人们渐渐看法到，安定要害软硬件的安定性对安定要害体例的平常处事和安定是至关要害的，商量体例安定性时必需格外关心个中的软硬件安定性。软硬件安定性评价的手段是评介软硬件能否到达体例所诉求的安定性，所以发展软硬件安定性评价表面及关系本领的接洽具备极为要害的表面意旨和适用价格。正文在对国表里关系接洽功效领会的普通上，对准软硬件安定性评价中生存的重要题目，给出了一个软硬件安定性归纳评价接洽的观念框架，并在该框架的引导下，对软硬件安定性归纳评价表面及其关系本领举行了接洽，简直接洽处事囊括：（1）对软硬件安定性举例证明（Safety Case）的表述本领举行了接洽。 运用非情势论理中的图尔敏论据形式关系常识，领会了图尔敏论据形式与目的建立法（GSN）之间的特性，提出了一种矫正的GSN软硬件Safety Case表述本领，弥补了GSN中的基础元素，并精确了相映的开拓准则，为软硬件Safety Case实质的开拓供给论据情势的维持。（2）对软硬件Safety Case的建立实质举行了接洽。经过领会软硬件安定性的实质，从伤害辨别-伤害遏制-遏制实行的观点，提出了鉴于产物为主、进程为辅，二者相贯串的独力于简直表述本领的软硬件Safety Case通用开拓框架，指明软硬件Safety Case论据论据和证明典型，能赶快灵验地启发了软硬件Safety Case的开拓。（3）对软硬件Safety Case通用开拓框架的运用本领举行了接洽。运用形式的内在对已创造的软硬件Safety Case框架举行笼统，再经过矫正的GSN对框架举行刻画，在此普通上提出鉴于GSN形式的软硬件Safety Case通用开拓框架的运用本领，开拓与框架对立应的Safety Case形式库，大大普及了软硬件Safety Case开拓的功效。（4）对软硬件安定性归纳评价的目标体制举行了接洽。经过领会软硬件Safety Case与评价目标体制之间在构造、元素摆设、取值等上面关系联系，提出鉴于Safety Case的软硬件安定性归纳评价目标体制的建立本领，使得软硬件Safety Case不妨变换成评价的目标体制，而且建立的目标体制的有理性和充溢性更强，为灵验发展软硬件安定性归纳评价奠定了普通。（5）对软硬件安定性归纳评价的计划本领举行了接洽。从软硬件安定性归纳评价生存洪量不决定性的这个个性动身，运用D-S证明表面在处置不决定性的上风，提出矫正的Dempster合成规则的软硬件安定性归纳评价的计划本领，缩小合成进程中证明辩论对合成截止的感化，进而普及评价的精确性，缩小评价的不决定性。正文经过对软硬件安定性举例证明、安定性评价之目标体制、安定性评价计划本领等上面的接洽，建立出安定要害软硬件安定性举例证明通用开拓框架，在此普通上，提出囊括目标体制到计划本领二个上面的软硬件安定性归纳评价本领，为软硬件安定性评价接洽引入新的思维，探究了普及软硬件安定性评价功效的新道路，拓广和深入了软硬件安定性评价的接洽实质，对于普及软硬件安定性评价的精确性和灵验性有要害的表面和试验意旨。

来源：半壳优胜育转载请保留出处和链接！

本文链接：http://www.87cpy.com/262066.html