-
公开(公告)号：CN105608247A
公开(公告)日：2016-05-25
申请号：CN201510766190.2
申请日：2015-11-11
申请人： 北京航空航天大学
IPC分类号： G06F17/50
摘要： 本发明是一种面向IMA资源安全性分析的AADL到ECPN模型转换方法，用于航空电子系统建模与分析。本方法将IMA系统映射的AADL模型作为源模型，基于CPN，扩展定义了变迁点火的时间函数和颜色集，修改了变迁点火规则；将处理器、虚拟处理器和分区映射为库所，将通信和分区调度映射为变迁，将分区通信数据、起始时间和调用次数映射为库所中的托肯，将分区的执行时间映射为时间函数，将分区的调用周期映射为弧函数，将IMA系统运行时对资源的约束映射为守卫函数；本发明在模型转换过程中不丢失任何关键资源建模元素，可准确描述IMA系统的时间资源和物理资源，帮助分析系统的资源配置问题。
-
公开(公告)号：CN105373650A
公开(公告)日：2016-03-02
申请号：CN201510666462.1
申请日：2015-10-15
申请人： 北京航空航天大学
IPC分类号： G06F17/50
CPC分类号： G06F17/5036 , G06F2217/16
摘要： 本发明是一种基于AADL的IMA动态重构建模方法，用于航电系统安全性建模。本方法包括：确立动态重构过程要素，分解动态重构过程为一个个子状态，确立每个状态配置情况和状态之间转换需要的触发和转换动作；利用ARINC653附件来表示IMA的软硬件组成，利用行为附件来描述动态重构过程，利用错误模型附件描述触发行为，利用模态表示动态重构过程的不同配置情况；确定IMA动态重构过程模型实例；利用AADL行为附件和模态结合，描述动态重构转换过程；利用软件实现并完善所建模型。本发明使复杂的动态重构过程模型化，便于分析动态重构过程的安全性，将成熟的AADL语言与IMA动态重构过程结合，创立了全新的过程建模方法。
-
公开(公告)号：CN105373650B
公开(公告)日：2018-09-28
申请号：CN201510666462.1
申请日：2015-10-15
申请人： 北京航空航天大学
IPC分类号： G06F17/50
摘要： 本发明是一种基于AADL的IMA动态重构建模方法，用于航电系统安全性建模。本方法包括：确立动态重构过程要素，分解动态重构过程为一个个子状态，确立每个状态配置情况和状态之间转换需要的触发和转换动作；利用ARINC653附件来表示IMA的软硬件组成，利用行为附件来描述动态重构过程，利用错误模型附件描述触发行为，利用模态表示动态重构过程的不同配置情况；确定IMA动态重构过程模型实例；利用AADL行为附件和模态结合，描述动态重构转换过程；利用软件实现并完善所建模型。本发明使复杂的动态重构过程模型化，便于分析动态重构过程的安全性，将成熟的AADL语言与IMA动态重构过程结合，创立了全新的过程建模方法。
-
公开(公告)号：CN105608247B
公开(公告)日：2018-08-28
申请号：CN201510766190.2
申请日：2015-11-11
申请人： 北京航空航天大学
IPC分类号： G06F17/50
摘要： 本发明是一种面向IMA资源安全性分析的AADL到ECPN模型转换方法，用于航空电子系统建模与分析。本方法将IMA系统映射的AADL模型作为源模型，基于CPN，扩展定义了变迁点火的时间函数和颜色集，修改了变迁点火规则；将处理器、虚拟处理器和分区映射为库所，将通信和分区调度映射为变迁，将分区通信数据、起始时间和调用次数映射为库所中的托肯，将分区的执行时间映射为时间函数，将分区的调用周期映射为弧函数，将IMA系统运行时对资源的约束映射为守卫函数；本发明在模型转换过程中不丢失任何关键资源建模元素，可准确描述IMA系统的时间资源和物理资源，帮助分析系统的资源配置问题。
-
-
-
搜索结果
4 条记录 (耗时 0.031 秒)
