自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(3)
  • 资源 (4)
  • 收藏
  • 关注

原创 STPA安全性分析方法原理

STPA安全性分析方法STPA原理STPA是基于STMAP的一种危险分析方法。在STMAP中,系统安全被视为是控制问题,即外部干扰、组件失效和(或)组件的异常交互没有很好地被控制将会导致系统事故地出现。STMAP基于系统理论分析在开发、设计和运行阶段中存在地控制问题,适用分层控制结构描述系统组件间地控制关系,并认为只有当这些控制满足安全约束时,系统地安全性才得以保障。换言之,当相应安全约束...

2019-01-16 16:02:25 6787

原创 STPA安全性分析方法

##STPA安全性分析目前借助机载系统实现的飞机安全关键功能(如飞行控制、机舱环境控制、通信、导航等)呈不断增加趋势,确保机载系统的安全性,即控制系统失效导致飞机丧失安全关键功能所带来的危险至关重要。根据适航要求,目前衡量机载系统安全性的主要途径是对其开展安全性分析,此项工作是现代飞机研制和适航审定的重点。STMAP(System-Theoretic Accident Model and Pr...

2019-01-16 14:18:52 3053

原创 嵌入式机载软件安全性分析

嵌入式软件在汽车、核能、航空等安全关键领域应用普遍,软件中潜在的失效都有可能造成财产的损失、环境的破坏甚至人员的伤亡,保障嵌入式软件的安全性已成为近年来软件工程领域的研究热点。近年来,由于软件故障引起的事故屡见不鲜,例如,2009 年,法国航空公司 AF447 航班的 A330-200 飞机由于测速仪结冰,给出了飞行控制软件错误的攀升指示,而软件中未设置高度值上限,最终导致飞机在大西洋上坠毁[2]...

2019-01-16 09:36:23 1844

基于FPGA的128分频器

基于FPGA的128分频器的128分频,可以直接用quartus软件打开

2015-03-20

基于FPGA的dds信号发生器代码

能够实现正弦波、方波、三角波、反三角波波形

2015-03-20

基于msp430的lcd12864三级菜单程序

三级菜单显示程序,通过按键切换页面,并能随意换行。

2014-12-28

基于msp430的数码管数字时钟

通过数码管显示时钟,并可用按键随意调节时间。

2014-12-28

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除