【摘 要】
：
在早期概念设计阶段,考虑安全目标和系统动力学特性,通过系统设计验证确认可以提高系统设计效率,因此提出了一种适用于系统行为模型和安全临界约束的正式安全系统设计准则及
论文部分内容阅读
在早期概念设计阶段,考虑安全目标和系统动力学特性,通过系统设计验证确认可以提高系统设计效率,因此提出了一种适用于系统行为模型和安全临界约束的正式安全系统设计准则及相应设计方法,安全关键约束定义为在车辆或系统级状态下可观察到的危险域或容错域。对于系统行为模型,给出了所选的项目验证方法,作为系统行为模型的一部分,数学模型考虑了系统动力学特性,这在ISO 26262中未明确考虑,并阐述了将所提出的方法应用于简单系统的过程。正式安全设计准则有助于防止保守设计和复杂动态系统的安全危害,减少分布式开发的协调工作,但由于可能的系统动态复杂性,需要一些工具来进行自动安全系统验证确认。
其他文献
介绍羟基磷灰石的结构特点和纳米羟基磷灰石的制备方法。回顾介孔材料的发展历程,分析介孔羟基磷灰石的研究现状并对其应用前景进行展望。
HER2基因的定量检测对于乳腺癌的预后与个体化治疗具有十分重要的意义,常规的检测方法存在着一些不尽人意的方面。近几年来,许多新的基因定量技术相继发展起来并被应用于这一
采用InfoWorks CS模型,对合肥市塘西河流域雨污分流排水体制下的初期雨水截流参数进行测算。研究打破传统水文计算条件,截流参数采用综合设计频率下,以巢湖蓝藻水华的限制性
自然流产是常见的生殖疾病之一,其中复发性自然流产(RSA)严重影响了女性的生殖健康,且导致RSA的危险因素复杂多样。近年来发现,母亲妊娠期维生素D缺乏与自然流产等诸多妊娠期
在我国畜牧养殖行业中,白羽肉鸡是其中最常见的养殖品种,在白羽肉鸡养殖期间,其死亡率和传染性疾病感染率都是非常高的,一旦不幸发生疫情,势必会使养殖户遭受巨大经济损失。
新形势下,提升新经济组织党建工作层次,开辟新经济组织党建工作新境界,是一项亟待研究解决的重大课题。在党逐步对新经济组织党建提高重视程度的背景下,研究新经济组织党建中
<正>重点难点易混易错点剖析本节知识的重点难点:一是对圆的基本概念、基本性质的理解及运用,特别是垂径定理、圆周角定理及其推论的应用;二是直线与圆的位置关系,重点为切线
为在载波频率精确恢复前提高多进制数字相位调制（MPSK）信号在低信噪比下的估计精度,提出了一种数据辅助的MPSK信号频域信噪比估计算法.算法在符号定时恢复和帧同步后提取同步段
基于世界190个国家或地区与河南18个地市的数据,采用象限图分析法,研究河南省城市化与经济发展水平关系特征。研究表明：（1）河南省城市化与经济发展水平关系可划分为五个类型。城