Simulink验证和代码生成工具通过IEC62304标准验证

来源 :单片机与嵌入式系统应用 | 被引量 : 0次 | 上传用户:Lyre_00
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
MathWorks已获得TnVSaD认证的Simulink Verificationand Validation、Simulink Design Verifier、SimulinkTest、EmbeddedCoder和Polyspace,经过相关专业验证,现可应用于符合IEC62304标准的开发流程。
其他文献
为探索磷酸氢二钠沉淀碎米荠醇沉多糖中共沉淀物的特性,选择磷酸氢二钠为沉淀剂,以磷酸氢二钠用量和pH值为试验因素,进行单因素和二次正交旋转组合试验,试验结果经方差和回归
<正> 印度尼西亚曾经是仅次于过去以西贡为首都时期的南越从泰国的胶合板公司进口平面胶合板的第二个最大进口国,但目前印尼从泰国进口平面胶合板已经明显减少,这是有一定原
通过有限元法计算分析CNG瓶组集装箱在常温环境下、考虑动态惯性力影响后结构的应力水平,直观地分析出其框架在受载情况下的应力情况;对框架的结构设计提出了改进意见,使框架结
试验利用RT-PCR技术将新鲜柑橘皮果胶酯酶基因克隆到pGEM T-Easy载体上,并进行了鉴定和序列测定。结果表明:该基因为克隆成功的果胶酯酶基因,全长1797bp,开放阅读框架长1785bp
<正> 1984年5月2日,印度尼西亚(以下简称印尼)共和国总统苏哈托,在雅加达史纳延(Senayan)体育场举行的纪念印尼国民教育节大会上庄严宣布:印尼的义务教育运动开始。他号召所
意法半导体(STMicroelectronics,简称ST)宣布对基于射线跟踪(ray—tracing)技术的实验性3D图形应用系统进行测试验证。该解决方案采用一颗与现场可编程门阵列(FPGA)相连、基于ARM处