Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical app...Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing （GSA） is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems.展开更多
针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system manageme...针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分。然后,使用架构分析与设计语言(architecture analysis and design language,AADL)及其相关附件对DIMA动态重构的架构基础、行为细节等要素进行建模。在此基础上,设计了一种基于形式化定义的模型转换规则,该规则将AADL动态重构模型转换成可执行的时间自动机模型。最后,利用模型验证工具UPPAAL验证了可重构DIMA系统逻辑及时序的正确性和不安全控制行为的可达性。结果表明,所提方法具有可行性和有效性,并且能够为后续DIMA动态重构的形式化安全性评估提供模型基础。展开更多
对综合模块化航空电子系统(integrated modular avionics,IMA)架构安全性进行准确客观的评估是民机安全性评估乃至适航工程的重要研究内容。提出了一种面向适航认证的IMA架构安全性定性与定量相结合的综合评估方法。首先,提出了IMA架构...对综合模块化航空电子系统(integrated modular avionics,IMA)架构安全性进行准确客观的评估是民机安全性评估乃至适航工程的重要研究内容。提出了一种面向适航认证的IMA架构安全性定性与定量相结合的综合评估方法。首先,提出了IMA架构安全性评估框架,在此基础上建立了安全性多维属性评估模型与评估指标体系;然后,利用中介真值程度度量(measure of medium truth degree,MMTD)理论对指标得分进行综合处理与评估;最后,给出架构安全性评估实例,表明该方法可操作性较强,评估结果可量化且有可比性,能有效保障IMA架构安全性评估过程的客观性和评估结果的准确度。展开更多
介绍了结合Harmony系统工程(SE)建模方法进行综合模块化航空电子(IMA)系统应用的开发,采用Rhapsody Harmony框架作为系统设计工具,在IMA应用软件需求进行分析的基础上创建软件模型,对系统的用例图、活动图、时序图、内部块图以及状态图...介绍了结合Harmony系统工程(SE)建模方法进行综合模块化航空电子(IMA)系统应用的开发,采用Rhapsody Harmony框架作为系统设计工具,在IMA应用软件需求进行分析的基础上创建软件模型,对系统的用例图、活动图、时序图、内部块图以及状态图进行了分析.阐述了在软件模型的基础上,基于Vx Works 653操作系统(OS)的IMA应用开发过程,涉及到模块操作系统的构建、分区操作系统的构建、应用的构建以及综合的构建,其中,模块操作系统的构建涉及到核心操作系统Makefile的开发,分区操作系统的构建涉及到分区操作系统配置表以及其Makefile的开发,应用的构建涉及到应用源程序、应用配置表以及其Makefile的开发,综合的构建涉及到模块配置表以及其Makefile的开发,将应用加载到IMA模块上进行了功能测试,IMA应用运行状态与Harmony软件模型行为一致.展开更多
基金supported by the National Natural Science Foundation of China (60879024)
文摘Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing （GSA） is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems.
文摘针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分。然后,使用架构分析与设计语言(architecture analysis and design language,AADL)及其相关附件对DIMA动态重构的架构基础、行为细节等要素进行建模。在此基础上,设计了一种基于形式化定义的模型转换规则,该规则将AADL动态重构模型转换成可执行的时间自动机模型。最后,利用模型验证工具UPPAAL验证了可重构DIMA系统逻辑及时序的正确性和不安全控制行为的可达性。结果表明,所提方法具有可行性和有效性,并且能够为后续DIMA动态重构的形式化安全性评估提供模型基础。
文摘对综合模块化航空电子系统(integrated modular avionics,IMA)架构安全性进行准确客观的评估是民机安全性评估乃至适航工程的重要研究内容。提出了一种面向适航认证的IMA架构安全性定性与定量相结合的综合评估方法。首先,提出了IMA架构安全性评估框架,在此基础上建立了安全性多维属性评估模型与评估指标体系;然后,利用中介真值程度度量(measure of medium truth degree,MMTD)理论对指标得分进行综合处理与评估;最后,给出架构安全性评估实例,表明该方法可操作性较强,评估结果可量化且有可比性,能有效保障IMA架构安全性评估过程的客观性和评估结果的准确度。
文摘介绍了结合Harmony系统工程(SE)建模方法进行综合模块化航空电子(IMA)系统应用的开发,采用Rhapsody Harmony框架作为系统设计工具,在IMA应用软件需求进行分析的基础上创建软件模型,对系统的用例图、活动图、时序图、内部块图以及状态图进行了分析.阐述了在软件模型的基础上,基于Vx Works 653操作系统(OS)的IMA应用开发过程,涉及到模块操作系统的构建、分区操作系统的构建、应用的构建以及综合的构建,其中,模块操作系统的构建涉及到核心操作系统Makefile的开发,分区操作系统的构建涉及到分区操作系统配置表以及其Makefile的开发,应用的构建涉及到应用源程序、应用配置表以及其Makefile的开发,综合的构建涉及到模块配置表以及其Makefile的开发,将应用加载到IMA模块上进行了功能测试,IMA应用运行状态与Harmony软件模型行为一致.
