基于软件产品线模型的安全苛求系统功能安全分析

被引量 : 0次 | 上传用户:kocis2815
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
产品线的应用提高了生产率,降低了生产成本,缩短了产品投放市场的时间。产品线工程的关键是有计划的,可以实现的复用。产品线的共性和可变性研究用以鉴别产品线中可复用的工件,然而,复用为产品线中安全关键系统的功能安全提出了挑战。目前产品线建模技术没有考虑其功能安全,而基于安全标准的功能安全分析只针对单个产品的特定功能,不适用于整个软件产品线。本文提出将软件产品线模型用于产品线功能安全分析的方法。软件产品线模型包含产品线的共性及可变性信息,这些信息为产品线的功能安全分析提供了依据。本文首先调查了各种产品线建模方法,并对其中具有实现可能的建模方法深入研究。我们选取轮式装载机为研究对象,利用基于特征的建模和基于UML的软件产品线设计方法对该对象产品线建模。最后提出软件产品线建模技术在领域分析中应用的评价规则。对于产品线的功能安全研究,本文首先调查了各种安全分析技术,最终选取故障树分析方法作为主要应用的方法,并对单个系统故障树扩展以用于产品线安全分析。我们将产品线模型与产品线故障树建立联系,基于此提出评价产品线建模技术在安全分析中应用的评价规则。作为基于UML的产品线建模的应用,本文建立嵌入式实时产品线PLUS模型,并将其模型包含的动态信息用于产品线安全分析,从而改进了产品线安全分析。最后我们验证了PLUS过程的有效性,并提出了PLUS模型的改进方法,以使其更适合产品线安全分析。
其他文献
随着石油产品在人类生产生活中的使用量逐渐增加,各国对石油的需求量不断加大,石油污染也越来越严重。石油在生产过程中会产生落地油和含油污水等污染物,对环境造成严重危害。这
[目的]研究芪味理肺汤对支气管哮喘大鼠模型肺组织中NF-κB/p65、I-κBa表达及细胞因子分泌的影响,探讨芪味理肺汤通过调节NF-κB及相关细胞因子的表达,控制大鼠气道炎症的治
温州乱弹,是当地的一种流行剧种。1949年新政权成立后,中共运用强大的政治力量在全国推行文化改造运动,温州乱弹的命运也随着“戏改”发生转变。本文选取温州乱弹剧团作为研
荧光探针由于具有高灵敏度、高选择性和快速便捷识别离子等优点,多年来被广泛应用于各种阴离子、阳离子和生物小分子的检测。但在实际检测中,很多有机荧光染料分子存在着水溶
本文提出的以医工为主体的呼吸机统分管理模式,是在当前医疗条件下,成本较低、效果较好、实现较易的一种将分散和集中管理相结合的设备调配模式。通过软件等信息化手段,在护
目的探讨肺结核患者的血小板参数,在诊断与治疗肺结核中的意义。方法分别定量检测104例肺结核初治患者(无肺部感染49例,合并肺部感染55例)治疗前后和50例健康对照组的血小板
印染废水是一种水质水量变化大、有机物含量高、可生化性差、COD高、色度高的难降解废水。介绍了各种印染废水处理的方法:物理化学法、化学法及生物技术法,分析了各类技术方
魏晋时期的中国和高丽时期的朝鲜,两个国家都经历了政权的交替,政治上的动荡和高压统治,使文人对现实失去信心,不在政途上寻找人生的归宿,而更多的把自己的理想和对自由的渴
本文基于人性观是社会价值和政治策略的人性根基,社会价值为政治策略和政治实践提供规范并通过政治实践而实现自身,政治策略是勾连社会价值和政治实践的现实中介,政治实践是
本文根据作者多年维修各种医疗设备经验,简要介绍医疗设备维修基本知识,包括医疗设备发生故障原因及分类,医疗设备发生故障的规律,医疗设备维修的定义、步骤、方法、原则和医