AADL2ECPN模型转换方法及其在IMA上的应用

在综合模块化航空电子（IMA）系统应用集成的过程中,对IMA系统的资源配置建模和安全性分析至关重要。首先利用模型转换的方法,提出一套从架构分析和设计语言（AADL）模型到扩展着色Petri 网（ECPN）模型的转换规则,将AADL模型转换为ECPN模型,并且确保在模型转换过程中不丢失任何关键资源建模元素;然后基于目标模型进行后续的安全性分析研究;最后用一个简单例子演示如何应用提出的模型转换方法。结果表明,AADL2ECPN模型转换方法分析IMA系统安全性的可行性。      

卫星发射试验风险控制

文章回顾了为保证安全执行发射任务所进行的“风云3号”卫星发射试验风险控制工作:通过分解卫星发射试验流程中的主要事件并结合FMEA和FTA分析结果,辨识并确认了卫星在执行进场发射试验时可能导致任务失败的安全性关键项目,在此基础上从设计、生产、试验、工艺保证、质量控制等方面制定并落实了一系列安全性保障措施,从而确保卫星安全发射。     

SAE AS4893《通用开放式结构（GOA）框架》评析

介绍和分析了SAE AS4893《通用开放式结构(GOA)框架》的编制背景、主要内容和应用原则;并与目前流行的开放式结构ASAAC、ISO OSI及POSIX进行了比较;最后分析了我国制定相应标准的必要性和可行性,并提出了相关标准化工作的建议。