CN106341276B - 一种基于约束满足理论的ima系统配置生成方法 - Google Patents
一种基于约束满足理论的ima系统配置生成方法 Download PDFInfo
- Publication number
- CN106341276B CN106341276B CN201610946522.XA CN201610946522A CN106341276B CN 106341276 B CN106341276 B CN 106341276B CN 201610946522 A CN201610946522 A CN 201610946522A CN 106341276 B CN106341276 B CN 106341276B
- Authority
- CN
- China
- Prior art keywords
- constraint
- time
- configuration
- subproblem
- module
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/08—Configuration management of networks or network elements
- H04L41/0803—Configuration setting
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/08—Configuration management of networks or network elements
- H04L41/0803—Configuration setting
- H04L41/0823—Configuration setting characterised by the purposes of a change of settings, e.g. optimising configuration for enhancing reliability
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
- H04L41/145—Network analysis or design involving simulating, designing, planning or modelling of a network
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Multi Processors (AREA)
Abstract
本发明公开了一种基于约束满足理论的IMA系统配置生成方法,包含以下步骤:步骤一:构建包括系统资源约束、分配约束、时间约束和非功能性约束的IMA系统配置约束问题模型;步骤二:将资源约束和分配约束确定为主子问题,根据主子问题对各配置进行搜索,找出满足条件的解集合,即满足可调度性的配置集;步骤三:将时间约束和非功能性约束确定为从子问题,对满足可调度性的配置集中的各配置分别结合从子问题进行检查,筛选出满足可调度性和可靠性要求的解集合并输出,即为约束满足问题的最终解,经过格式转换得到对应的IMA系统的配置描述。本发明将提高系统配置设计效率并有助于配置优化与改进。
Description
技术领域
本发明涉及综合模块化航电系统设计领域。
技术背景
综合模块化航电系统(Integrated Module Avionics,IMA)完成了软硬件的高度集成化,并通过高速总线网络实现整机的集中控制,有效地减轻了飞机重量,目前正广泛应用于各军用、民用飞机中。作为机载安全关键系统,在IMA设计中普遍采用了ARINC 653标准中定义的时间和空间隔离机制实现分区,并通过两级调度方式运行各个应用。这种时间和空间隔离机制有效避免了各个不同安全等级应用的互相影响,从而提升IMA的整体可靠性和安全性。
当前IMA系统的集成化程度和复杂程度越来越高,这包括执行平台(处理模块、总线网络、交换机等)、各类应用软件(分区和应用软件)以及系统的各种功能和非功能性(可靠性、安全性等)需求等诸多考虑,因此对应的系统设计过程也将相应受到影响。在系统配置设计过程中,需要综合考虑这些要素的限制,并将各个应用软件映射到硬件执行平台上,以及确定运行调度方式,最终满足系统需求规范,即生成一种IMA系统的配置方案。这个过程通常是在设计阶段中的诸多分离的子阶段中完成。
约束满足问题(Constraint Satisfaction Problem,CSP)是人工智能的重要分支,利用领域知识构建约束模型并给出相应的决策结果,该过程通常采用推理算法,结合约束的形式化描述给出问题的推荐和建议,所具备的冲突解释能力可以辅助设计人员查找冲突根源。CSP目前广泛运用于运筹领域如动态规划、任务调度等问题。
发明内容
为了适应复杂IMA系统设计的需要,提高设计效率和自动化水平,本发明提出了一种基于约束满足问题求解的IMA系统配置生成方法,实现IMA系统配置的集成设计和优化,从而辅助系统设计人员进行设计决策及改进。
本发明的发明目的通过以下技术方案实现:
一种基于约束满足理论的IMA系统配置生成方法,包含以下步骤:
步骤一:构建包括系统资源约束、分配约束、时间约束和非功能性约束的IMA系统配置约束问题模型;
步骤二:将资源约束和分配约束确定为主子问题,根据主子问题对各配置进行搜索,找出满足条件的解集合,即满足可调度性的配置集;
步骤三:将时间约束和非功能性约束确定为从子问题,对满足可调度性的配置集中的各配置分别结合从子问题进行检查,筛选出满足可调度性和可靠性要求的解集合并输出,即为约束满足问题的最终解,经过格式转换得到对应的IMA系统配置描述。
进一步,所述步骤二中还包含对不满足主子问题的配置给出主子问题约束冲突解释。
进一步,所述步骤三中还包含对不满足从子问题的配置给出从子问题约束冲突解释。
进一步,所述资源约束为:
内存容量:单个模块内的CPU的内存使用量不能使用超过总内存容量;所有的分区应用不能使用超过所在分区所分配的内存容量,并且模块全部应用的内存使用量之和必须小于内存容量;
CPU使用量:单个模块的CPU总使用量不能超过该CPU的处理能力;
网络使用量:单位时间的网络总线信息传输量不能超过该网络总线的带宽大小。
进一步,所述分配约束为:
驻留关系:一个应用软件应该运行于某个或某些特定模块的分区上,使用该分区的软硬件资源;
应用共存关系:标出哪些应用必须共同驻留于某个模块上的,共享该模块的软硬件资源;
互斥关系:标出哪些应用不能共同驻留于某个模块上的。
进一步,所述时间约束为:
应用的最坏执行时间:某个应用软件针对该应用软件的优先级以及调度算法,计算出最坏情况下的执行时间,该执行时间必须小于应用软件的超时时间;
通信的最坏响应时间:每一条消息、数据或事件发送和接收之间的时间必须小于规定的消息超时时间。
进一步,所述非功能性约束为:
架构可靠性:航电系统架构设计及配置过程必须满足架构规范的指标要求。
发明效果
本发明根据约束满足理论将系统资源和需求转化为约束问题并求解,并将问题解转化为相应的系统配置,还可以根据需要给出导致约束问题冲突,即配置不满足要求的理由解释。该技术将提高系统配置设计效率并有助于配置优化与改进。
附图说明
图1为IMA系统的平台架构示意图;
图2为IMA系统的软件结构模型;
图3约束满足问题求解策略;
图4约束满足问题求解流程。
具体实施方式
下面结合附图对本发明的具体实施方式进行详细描述。
1.构建IMA系统配置约束问题模型:
构建航电系统约束问题需要对航电系统领域知识进行形式化描述,确定配置问题中变量X、值域D及约束C的形式,从而构建整个航电系统约束问题CSP:(X,D,C),目标是根据约束C的限制,寻找出变量X在值域D中的合理取值,即问题解集,它们描述了配置选择及参数设置,可转换为系统配置描述文件。在约束满足问题CSP中,变量X描述IMA中的基本组件元素;值域D即变量X的取值范围,用于抽象和量化这些基本组件元素的取值;而约束C是描述这些组件元素之间的关系,用以描述系统各类限制条件,也可以描述系统的某些规范及指标要求。下面将详细描述IMA系统配置所对应的约束满足问题形式。
参考图1所示,本发明示例的典型IMA系统的平台架构,该架构包含平台硬件结构和软件结构,平台硬件结构主要有通用处理模块(Module)和总线(Bus)构成,而软件结构包含一组应用软件(Application)。根据ARINC 653标准,运行于通用处理模块上的应用软件以分区驻留方式实现空间隔离,此外模块上的应用软件采用在某个主时间框架下的时间窗调度方式运行,从而实现时间隔离。驻留在同一个模块内的应用软件采用模块内通信机制进行数据交换,而不同模块上的应用软件需要通过总线网络进行通信。根据典型的IMA系统的平台架构梳理出组件元素对应的变量X、变量值域D以及约束集合C如下:
1)变量X及其取值域D:
根据IMA系统平台架构总结得到典型组件元素及对应变量包括:
a)通用处理模块(Module),运行有1个中央处理器(Processor),内存(Memory),对于K个通用处理模块即有:
CPU:{p1,…,pK}
Memory:{m1,…,mK}
b)总线网络(Bus),总线主要参数为其带宽(Bandwidth):
Bandwidth:b
c)应用软件(Application),参考图2所示,根据典型航电系统软件结构模型,应用之间需要进行消息(MSG)交互通信,形成一定的功能关联。每一个应用驻留于相应的ARINC653分区,并具有其特定的时间属性和资源需求:周期(Period,应用会周期性激活执行);内存需求(Memory need,应用执行需要占用一定量的内存空间);优先级(Priority,在某些时候可以实行优先级抢占调度,高优先级的应用可以先于低优先级应用执行);最坏执行时间(Worst case execution time,WCET,不超过应用超时时间Deadline);应用间消息属性(MSG,标记本应用与其他应用之间的关联以及数据交换的属性信息,包括数据方向Mij,数据量dij等)。具体应用属性描述如下:
Period:Ti,0≤Ti≤∞;
MemoryNeed:ui,0≤ui≤mk;
Priory:prii,0≤prii≤255,prik∈Z;
Deadline:Li,0≤Li≤∞;
WCET:ci,0≤ci≤Li;
MSG:Mi={(Mij,dij),…,(Mik,dik)};
Application:Ai={Ti,ui,prii,ci,Mi}
2)约束C及配置问题:
在依据IMA系统平台架构确定配置问题的变量X和值域D之后,需要根据系统架构规范需求构建该配置问题的约束集,用以描述这些组件元组之间的关联和限制。变量X,值域D以及约束集C组成整个约束满足问题CSP,即IMA系统配置问题。配置问题的约束包括资源约束、分配约束、时间约束以及非功能性约束。
定义某个应用Ai分配到某个处理器pk上的映射为:
AL(Ai,pk)∈{0,1}
a)资源约束:本约束主要考虑如下方面:
●内存容量(Memory Capacity):单个模块内的CPU的内存使用量不能使用超过总内存容量;所有的分区应用不能使用超过其分区所分配的内存容量,并且模块全部应用的内存使用量之和必须小于内存容量,具体描述如下:
●CPU使用量(CPU Utilization):单个模块的CPU总使用量不能超过其处理能力,具体描述如下:
●网络使用量(Network Usage):单位时间的网络总线信息传输量量不能超过其带宽大小,具体描述如下:
b)分配约束:本约束主要考虑如下方面:
●驻留关系(Residence):一个应用软件应该运行于某个(或某些)特定模块的分区上,使用其软硬件资源。映射关系可描述为:
k∈{1,K};i∈{1,I};AL(Ai,pk)=1
●应用共存关系(Co-residence):某些应用软件因设计需要,必须共同驻留于某个模块上,共享其软硬件资源,该关系可描述为:
k∈{1,K};i,j∈{1,I};AL(Ai,pk)=AL(Aj,pk)=1
●互斥关系(Exclusion):某些应用软件由于故障容错等原因,必须将相同软件配置于不同的模块上以实现冷热温备份,从而这些软件实体必须分配到不同的模块上执行,该关系可以描述为:
k∈{1,K};i,j∈{1,I};AL(Ai,pk)≠AL(Aj,pk)
c)时间约束:本约束主要考虑如下方面:
●应用的最坏执行时间(Application worst case execution time):某个应用软件针对其优先级以及特定调度算法,可以计算出其最坏情况下的执行时间,该最坏执行时间必须小于应用软件的超时时间(Application Deadline),具体描述如下式。
●通信的最坏响应时间(Message worst case response time):每一条消息(数据或事件)发送和接收之间的时间必须小于规定的消息超时时间(Message Deadline)。
d)非功能性约束:本约束主要考虑如下方面:
●架构可靠性(Architecture Reliability):航电系统架构设计及配置过程必须考虑整体架构的可靠性指标,不同的架构配置将会得到不同的可靠性值,但是必须满足按照架构规范的指标要求。
2.系统配置约束满足问题求解:
求解上述的约束满足问题即得到配置集合,这些配置满足上述约束需求的限制。但是如果直接求解约束满足问题CSP的全部约束集,将带来很大的计算消耗,因此可以将该约束满足问题进行分解。参考图3所示,本发明中提出采用“主-从”子问题顺序求解方式进行解搜索,求解器将首先解决主子问题获得初步的可行解集,然后再结合从子问题对解集进行进一步的检察和更新,剔除不满足从问题约束的解,最后给出满足全部约束的解集合。最后根据约束冲突解释器的推理算法,找出冲突原因和给出解释。
参考图4所示,根据本发明所提出的配置问题求解流程,首先需要构建航电系统配值约束问题CSP模型,即形式化变量X、值域D,构造约束集C。配置问题求解过程中需要将资源约束和分配约束确定为主子问题,求解器的搜索算法根据这两大约束条件搜索满足条件的解集合,即可行的配置集。主子问题中出现的约束冲突将按需要发送给约束冲突解释器,它将给出主子问题约束冲突解释。
在从子问题求解过程中,需要确定时间约束和非功能性约束(这里为架构可靠性约束)。求解采用验证的方式,将上述的可行配置集中的配置分别结合从子问题约束进行检查。检查算法将抽取可行配置集,检验其可调度性、运行时间约束、消息通信时间约束,最后验证各个配置下系统整体可靠性指标,从而逐步筛选出满足可调度性和可靠性要求的解集合并输出,即为该约束满足问题的最终解,经过格式转换可得到对应的航电系统配置描述。对于不满足从子问题约束的配置,求解过程也可按照需要给出其不满足约束的原因解释。
无论是主子问题还是从子问题求解产生的不可用配置,都可以通过冲突解释器,给出与约束相冲突的解释,反馈到原约束问题模型上,设计人员可以通过给出的解释对原始约束集合进行修改,从而进行迭代设计改进和优化。
Claims (3)
1.一种基于约束满足理论的综合模块化航电IMA系统配置生成方法,包含以下步骤:
步骤一:构建包括系统资源约束、分配约束、时间约束和非功能性约束的IMA系统配置约束问题模型;其中:资源约束为:
内存容量:单个模块内的CPU的内存使用量不能使用超过总内存容量;所有的分区应用不能使用超过所在分区所分配的内存容量,并且模块全部应用的内存使用量之和必须小于总内存容量;
CPU使用量:单个模块的CPU总使用量不能超过该CPU的处理能力;
网络使用量:单位时间的网络总线信息传输量不能超过该网络总线的带宽大小;
分配约束为:
驻留关系:一个应用软件应该运行于某个或某些特定模块的分区上,使用该分区的软硬件资源;
应用共存关系:标出哪些应用必须共同驻留于某个模块上的,共享该模块的软硬件资源;
互斥关系:标出哪些应用不能共同驻留于某个模块上的;
时间约束为:
应用的最坏执行时间:某个应用软件针对该应用软件的优先级以及调度算法,计算出最坏情况下的执行时间,该执行时间必须小于应用软件的超时时间;
通信的最坏响应时间:每一条消息、数据或事件发送和接收之间的时间必须小于规定的消息超时时间;
非功能性约束为:
架构可靠性:航电系统架构设计及配置过程必须满足架构规范的指标要求;
步骤二:将资源约束和分配约束确定为主子问题,根据主子问题对各配置进行搜索,找出满足条件的解集合,即满足可调度性的配置集;
步骤三:将时间约束和非功能性约束确定为从子问题,对满足可调度性的配置集中的各配置分别结合从子问题进行检查,筛选出满足可调度性和可靠性要求的解集合并输出,即为约束满足问题的最终解,经过格式转换得到对应的IMA系统的配置描述。
2.根据权利要求1所述的一种基于约束满足理论的综合模块化航电IMA系统配置生成方法,其特征在于所述步骤二中还包含对不满足主子问题的配置给出主子问题约束冲突解释。
3.根据权利要求1所述的一种基于约束满足理论的综合模块化航电IMA系统配置生成方法,其特征在于所述步骤三中还包含对不满足从子问题的配置给出从子问题约束冲突解释。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610946522.XA CN106341276B (zh) | 2016-11-02 | 2016-11-02 | 一种基于约束满足理论的ima系统配置生成方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201610946522.XA CN106341276B (zh) | 2016-11-02 | 2016-11-02 | 一种基于约束满足理论的ima系统配置生成方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN106341276A CN106341276A (zh) | 2017-01-18 |
CN106341276B true CN106341276B (zh) | 2019-10-29 |
Family
ID=57840671
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201610946522.XA Active CN106341276B (zh) | 2016-11-02 | 2016-11-02 | 一种基于约束满足理论的ima系统配置生成方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN106341276B (zh) |
Families Citing this family (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN107070750B (zh) * | 2017-04-11 | 2018-02-27 | 中国民航大学 | 基于约束的预配置ima平台网络通信调度数据生成方法 |
CN109614214B (zh) * | 2018-12-11 | 2020-12-01 | 电子科技大学 | 面向分布式ima架构基于milp的分区映射调度方法 |
CN110737441B (zh) * | 2019-09-03 | 2023-08-01 | 中国航空无线电电子研究所 | 一种基于微服务架构的ima配置生成方法 |
CN115858112B (zh) * | 2022-11-18 | 2024-02-09 | 南京航空航天大学 | 一种基于约束规划的综合化航空电子系统任务分配与调度方法 |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103745116A (zh) * | 2014-01-17 | 2014-04-23 | 清华大学 | 分布式综合模块化航电dima系统评估方法及优化方法 |
CN104182624A (zh) * | 2014-08-13 | 2014-12-03 | 中国民航大学 | 一种综合模块化航电系统服务能力评估方法 |
CN105718591A (zh) * | 2016-01-27 | 2016-06-29 | 武汉大学 | 一种基于规则和约束满足的定性空间关系推理方法 |
CN105843995A (zh) * | 2016-03-17 | 2016-08-10 | 南京航空航天大学 | 一种基于模型驱动的ima系统时间资源配置验证方法 |
-
2016
- 2016-11-02 CN CN201610946522.XA patent/CN106341276B/zh active Active
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103745116A (zh) * | 2014-01-17 | 2014-04-23 | 清华大学 | 分布式综合模块化航电dima系统评估方法及优化方法 |
CN104182624A (zh) * | 2014-08-13 | 2014-12-03 | 中国民航大学 | 一种综合模块化航电系统服务能力评估方法 |
CN105718591A (zh) * | 2016-01-27 | 2016-06-29 | 武汉大学 | 一种基于规则和约束满足的定性空间关系推理方法 |
CN105843995A (zh) * | 2016-03-17 | 2016-08-10 | 南京航空航天大学 | 一种基于模型驱动的ima系统时间资源配置验证方法 |
Non-Patent Citations (2)
Title |
---|
the mapping mechanism between distributed integrated modular avionics and data distribution sevice;Qing Zhou;《2015 12th international conference on fuzzy systems and knowledge discovery》;20151231;第2502页至2506页 * |
基于Harmony系统工程的IMA应用开发;徐文,熊智勇;《北京航空航天大学学报》;20151130;第41卷(第11期);第2067页至2076页 * |
Also Published As
Publication number | Publication date |
---|---|
CN106341276A (zh) | 2017-01-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106341276B (zh) | 一种基于约束满足理论的ima系统配置生成方法 | |
CN111427681B (zh) | 边缘计算中基于资源监控的实时任务匹配调度系统和方法 | |
Peña et al. | Sat-iot: An architectural model for a high-performance fog/edge/cloud iot platform | |
Ramamritham | Allocation and scheduling of complex periodic tasks | |
US9172589B2 (en) | Method for configuring a distributed avionics control system | |
CN109687998B (zh) | 一种面向任务服务的卫星网络资源管理模型的构建方法 | |
US20120054716A1 (en) | Deployment method and device and assistance in deploying components forming an embedded real time system | |
Mangharam et al. | Distributed control for cyber-physical systems | |
CN111181773A (zh) | 面向异构边云协同智能系统的多组件应用的延迟预测方法 | |
Blas et al. | Routing structure over discrete event system specification: a DEVS adaptation to develop smart routing in simulation models | |
Jha et al. | Multiobjective deployment of data analysis operations in heterogeneous IoT infrastructure | |
CN105843995A (zh) | 一种基于模型驱动的ima系统时间资源配置验证方法 | |
CN102780583A (zh) | 物联网业务描述、组合和服务质量评估的方法 | |
CN113010296A (zh) | 基于形式化模型的任务解析与资源分配方法及系统 | |
Fanti et al. | Fleet sizing for electric car sharing systems in discrete event system frameworks | |
CN106156413A (zh) | 一种面向大规模分布式综合模块化航电系统dima的多层次建模设计方法 | |
CN104991849A (zh) | 一种通过zabbix监控Linux进程占用系统资源的方法 | |
Aminev et al. | Comparative analysis of reliability prediction models for a distributed radio direction finding telecommunication system | |
CN104166581A (zh) | 一种面向增量制造设备的虚拟化方法 | |
CN110515716A (zh) | 一种支持优先级和反亲和的云优化调度方法及系统 | |
Portero et al. | Flood Prediction Model Simulation With Heterogeneous Trade-Offs In High Performance Computing Framework. | |
Marchese et al. | Communication Aware Scheduling of Microservices-based Applications on Kubernetes Clusters. | |
Herrera et al. | Towards a modelling and design framework for mixed-criticality SoCs and systems-of-systems | |
CN114036769A (zh) | 面向航电系统物理架构的功能部署方案生成方法及装置 | |
US20160147857A1 (en) | Method and system for synchronizing data |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |