基于IEC61508的嵌入式软件可靠性设计与验证

来源 :第二十二届中国过程控制会议 | 被引量 : 0次 | 上传用户:chshlu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
作为流程工业领域中典型的现场设备,智能变送器的嵌入式软件可靠性备受关注。利用IEC61508 功能安全标准中 软件开发V 模型的思想,对智能压力变送器进行了软件设计与验证,包括系统安全需求分析、软件结构设计、模块设计与 测试,最后采用失效模式影响及诊断分析(FMEDA)和故障注入试验两种方法对系统进行了安全评估。评估结果表明,在 生产工艺给安全性带来很大不确定性的条件下,本研究的智能变送器的安全失效分数为88.3%,基本达到了当前先进智能变 送器的安全失效分数水平。
其他文献
“卓越工程师”的培养以专业实践为导向,重视实践和应用,培养在专业和专门技术上 受到正规的、高水平训练的高层次人才。如何提高“卓越工程师”的综合素质,使其能适应我国 经济社会发展需要具有很强的现实意义。本文以“卓越工程师”的培养为出发点,提出了本科生 导师制的培养模式。考虑到导师制目前在我国高校的各种弊端,针对卓越工程师培养的特殊性, 本文分析了本科生导师制对提高“卓越工程师”综合素质的重要意义,在
对产学合作教育模式和“卓越计划”的实施作了简述。根据教育部关于实施卓越工程 师教育培养计划的若干意见,针对工程实践教育中心建设,从遴选、管理体制、运行模式、师 资队伍建设和质量评估五个方面进行思考,并提出建设性意见。
以自动化专业卓越工程师教育培养计划为背景,研究本科层次培养的课程体系问题。 提出包括公共基础课、学科基础课和专业限选基础课的教学计划,以及校内集中实践性教学和 企业实践教学的课程体系。对于校内集中实践性教学和企业实践教学给出了具体的实施内容和 考核办法。
根据“微机原理与接口技术”省级精品课程建设规划,结合应用型本科“卓越工程师”培养计划的基本要求,提出了“微机原理与接口技术”课程建设的基本思路和实施过程,阐述了课程建设的基本内容,确立了以“能力”培养为主线的课程建设目标,全面提高学生的实际应用能力,增强创新意识。
轧机液压AGC系统中因轧辊偏心和来料厚度偏差以及其他不确定性扰动的存在严重影响出料的精度。针对传统PID控制抗干扰能力较弱的局限性,本文将LQG优化控制算法应用到轧机厚度的调节中。同时,采用卡尔曼滤波器来进行状态估计,提高反馈信息的精度。仿真实验表明,与传统PID控制相比,LQG控制具有超调量小,跟踪迅速、抗干扰性强等优点,能够较好地适用于轧机厚度控制。
随着智能电网的发展,对电网中的关键设备提出状态监测的要求,而变压器作为电网中的重要设备,运行状态直接关系到电网的稳定。本文应用LabVIEW软件开发平台和硬件CompactRIO搭建在线监测平台对变压器多通道振动信号监测和预判记录,同时进行实时分析。该测试平台优点在于合理选择与协调数据传输的各个过程从而保证了数据准确可靠和大数据流量下的数据可靠传输与实时处理。除了为以后提出变压器状态监测判据的提出
系统研究基于现场总线的工业轮胎成型机控制网络的构建,对其网络中的灯标定位系统,采用CC-Link技术完成了网络通信的硬件和软件设计,利用PLC控制器的高速脉冲输出功能实现了两轴定位,并应用于实际的工业生产中。实际运行表明,采用本设计方案,运行效率高,定位灵活方便,可靠性高。
以磨矿过程的湿式球磨机为背景,针对传统磨机负荷(ML)检测方法存在的只能监督判 断ML状态,难以检测磨机内部负荷参数的问题,提出了一种基于筒体振动频谱的集成建模方 法。首先,依据磨矿过程的研磨机理,将振动频谱采用波峰聚类方法自动划分具有不同物理意 义的分频段;然后利用核偏最小二乘(KPLS)算法分别建立各分频段的ML 参数子模型;最后, 依据子模型训练数据预测误差的信息熵获得初始权重,加权得到最终
本文提出采用高维投影空间多切面分类方法改进独立成份(ICA)与支持向量机(SVM)集成诊断 方法。在高维独立成份特征空间中采用多切面分类方法在不同切面上分别建立二叉树SVM 故障分类 模型,通过分析故障在不同切面的分类情况进行故障根源定位,提高SVM 分类速度和精度,从而改 进ICA-SVM 集成故障诊断性能。针对动态执行器基准平台(DAMADICS)19 种阀门故障模式,对多切面 改进ICA-S
青霉素发酵过程是一个严重非线性、时变、复杂的动态过程,发酵过程中一些关键参量(如菌体浓度X、基 质浓度S 和产物浓度P)难以通过常规仪表在线测量,这些参数的获取非常耗时和困难。提出一种基于粒子群模糊 神经网络逆(PSO-FNN 逆)的软测量方法。首先给出青霉素发酵过程数学模型,然后根据逆系统理论证明其可逆性, 在此基础上构建基于PSO-FNN 逆的青霉素发酵软测量模型,最后通过仿真验证该方法性能。