摘要：安全关键系统广泛应用于航空、航天、核能、交通等领域,对安全性有着很高的要求。保障需求可追踪性是安全关键系统开发过程中的基本要求,也是各项安全性分析的重要前提。致力于建立需求与设计制品间的纵向追踪关系,采用模型驱动的方法来实现追踪模型的自动生成并实现追踪信息的图形化表达。首先通过配置文件的机制对SysML模型进行扩展,使用该扩展的SysML模型对需求以及设计制品进行建模用于捕获追踪信息。接着设计了一个追踪元模型用于表达以及存储追踪信息可供后期安全性分析使用,并使用模型转换技术实现从扩展的SysML模型到追踪模型的自动化生成。最后通过襟缝翼控制系统的案例来说明该方法的有效性。

摘要：嵌入式实时系统越来越多地应用于交通、航空、核能等安全关键环境。尽管系统设计可能没有任何缺陷,但由于物理组件的磨损或环境的突变而导致的随机故障在运行时仍可能导致系统发生危险。目前基于失效传播模型的危害分析方法要么仅考虑失效传播时间,要么仅考虑失效概率,缺少综合分析失效传播时间及失效概率对危害分析的影响。时间失效传播图TFPGs模型用于建模安全关键系统设计阶段中失效传播过程,该模型包含失效传播时延建模。考虑到失效传播路径的不确定对危害发生的概率影响,提出了一种危害分析方法,用概率-时间失效传播图P-TFPGs模型建模失效传播过程,并基于该模型设计了一种分析危害发生时间与发生概率之间关系的方法;最后,给出了一个案例来说明方法的可行性。

摘要：航空航天道路交通等高安全领域的系统开发需要保证高安全、高可靠,对于该类系统的合理建模以及模型验证则尤为重要。当前模型驱动开发方法已经广泛应用于安全关键系统的开发过程中,它支持在早期就对系统进行安全分析和验证,有效地控制开发时间和成本,并降低系统出现风险的可能性。但与此同时,需求与设计模型之间仍然存在着沟壑,设计模型是否很好地满足用户所提出的需求在完成系统设计后仍需验证。针对系统建模语言缺乏精确形式化语义难以进行模型验证的问题,文中给出一套从SysML设计模型到NuSMV模型转换的语义规则,实现了一个自动转换程序,将SysML模型文件转换成NuSMV输入文件,进而利用NuSMV实现SysML模型的验证。最后通过一个铁路控制系统的案例证明了该方法的有效性。

摘要：新能源汽车的数量日益增多,其在碰撞工况中的高压电路安全受到越来越多的关注。针对新能源汽车在碰撞安全性能开发中,如何评价高压线束的绝缘失效以及确定其保护措施这一问题,文章提出一种针对高压线束挤压工况的子系统试验方法,该方法可有效测定高压线束,以及其常用保护措施在不同挤压工况中所能承受的绝缘失效极限载荷。同时,设计直径为30mm、60mm以及120mm三种尺寸的冲击头,以选取50mm2的高压线束为例,通过该方法获取其绝缘失效极限载荷,为碰撞工况中高压线束的设计保护提供依据和指导。

摘要：[目的]调查四川省西南地区肿瘤科室护士癌痛管理的态度和行为,为癌痛知识培训和控制提供依据。[方法]采用自行设计的护士癌痛认知调查问卷,对四川省西南地区三级医院肿瘤科室209名护士进行调查、分析。[结果]肿瘤科室护士对癌痛管理的态度及行为很积极,肿瘤专科护士在"对护士开展癌痛知识培训""你能准确评估病人的癌痛程度"等方面的积极性高于肿瘤相关科室护士。[结论]积极的癌痛管理行为以及正确的癌痛知识教育对肿瘤科室护士非常重要,必须加强癌痛管理培训,以改善癌痛管理现状,提高病人生活质量。