CN109697058B - 一种适用于嵌入式系统的网络建模方法、装置及存储介质 - Google Patents
一种适用于嵌入式系统的网络建模方法、装置及存储介质 Download PDFInfo
- Publication number
- CN109697058B CN109697058B CN201811511278.XA CN201811511278A CN109697058B CN 109697058 B CN109697058 B CN 109697058B CN 201811511278 A CN201811511278 A CN 201811511278A CN 109697058 B CN109697058 B CN 109697058B
- Authority
- CN
- China
- Prior art keywords
- class
- frame
- network
- time
- model
- 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
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
- G06F8/24—Object-oriented
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
- G06F8/315—Object-oriented languages
Landscapes
- Engineering & Computer Science (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computing Systems (AREA)
- Small-Scale Networks (AREA)
Abstract
本发明属于嵌入式系统建模技术领域,涉及一种适用于嵌入式系统的网络建模方法。为了实现网络建模,首先需建立网络元模型。具体步骤如下:对AS6802进行相关建模特征提取,分模块建立时间触发以太网元模型各部分子模型,首先建立时间触发以太网主要元素概览图,建立时间触发以太网调度资源子模型,建立帧分类子模型,建立调度器的调度子模型,建立分区化系统子元模型,然后将子模型进行集成,即可得到能够完成时间触发网络建模的时间触发以太网总体元模型。基于该元模型,便可对嵌入式系统进行网络建模。本发明基于模型的方法,提高嵌入式软件开发效率,节省了人力成本,丰富了模型驱动开发。
Description
技术领域
本发明属于嵌入式航电系统建模技术领域,具体涉及一种适用于嵌入式系统的网络建模方法、装置及存储介质。
背景技术
发明内容
本发明的目的:
为了解决现有标准体系结构和分析建模语言不能支持网络方面的建模,以及为满足混合关键性级别应用在网络级别部署的确定性及实时性等需求。
本发明的技术方案:
第一方面,提供一种适用于航电系统的网络建模方法,包括以下主要步骤:
建立时间触发以太网的元模型,为时间触发以太网络创建网络元模型类NetworkMetamodel,该类由同步域类SynchronizationDomain,网络组件类NetworkComponent及调度资源类SchedulableResource聚合而成;
其中,所述NetworkMetamodel类有一个或多个所述 SynchronizationDomain类;所述SynchronizationDomain类关联一个多簇类MultiCluster,所述MultiCluster类由多个簇类聚合合成;所述簇类Cluster 是由至少3个NetworkComponent类聚合而成;每个簇类Cluster关联一个同步优先级类SynchronizationPriority关联;
根据EMF框架,时间触发网络以太网组件类NetworkComponent继承NetworkNameElement类。端系统类EndSystem和交换机类 NetworkSwitch继承时间触发网络以太网组件类NetworkComponent;
其中,NetworkMetamodel类至少包含3个NetworkComponent类,其中包括2个端系统类EndSystem和1个交换机类NetworkSwitch。每个 EndSystem类由至少一个Partition类聚合而成,每个Partition类表示不同的应用功能;Partition类关联0至多个Frame类;Frame类表示在时间触发网络以太网网络中进行传输的数据单元;Frame类的帧类型包括:TT 帧类、RC帧类、BE帧类和PCF帧类,所述TT帧类、RC帧类、BE帧类和PCF帧类继承Frame类;
建立虚链路类VirtualLink;所述VirtualLink类表示源EndSystem和目的EndSystem之间的逻辑连接;其中,所述VirtualLink类仅有一个源 EndSystem,有至少一个目的EndSystem;每个帧类Frame仅属于一个 VirtualLink类,一个VirtualLink类承载不同的帧类Frame;
建立用于负责对SchedulableResource类进行调度,并生成调度表 Schedule类的调度器类Scheduler;
其中,调度资源类SchedulableResource是与所述Scheduler类相关的类;Frame类、VirtualLink类、Partition类和Channel类四个子类继承 SchedulableResource类;调度器类Scheduler由一个或多个调度表Schedule 类以及大于等于0个约束类Constraint聚合而成。
进一步的,所述Schedule类用于:
在所述元模型中,负责防止运行时冲突;
其中,NetworkMetamodel类为Schedule类确定了专属的数据结构;所述数据结构用于存储Frame发送的调度结果,以确保帧发送的实时性。Schedule类是由Scheduler类生成。
进一步的,Scheduler类需要满足的约束 ConstraintType类型枚举包括:
BoundedSwitchMemoryConstraints,EndToEndTransmissionConstraints,ApplicationLevelConstraints,DomainSpecificConstraints,PathDependentConstraints,SimultaneousRelayConstraints ,ContentionFreeConstraints,ProtocolControlFlowConstraints。
其中,所述约束的类型ConstraintType是一种枚举类型。
第二方面,提供一种适用于航电系统的网络建模装置,包括:
第一建立模块,用于建立时间触发以太网的元模型,为时间触发以太网络创建网络元模型类NetworkMetamodel,该类由同步域类 SynchronizationDomain,网络组件类NetworkComponent及调度资源类 SchedulableResource聚合而成;
其中,所述NetworkMetamodel类有一个或多个所述 SynchronizationDomain类;所述SynchronizationDomain类关联一个多簇类MultiCluster,所述MultiCluster类由多个簇类聚合合成;所述簇类Cluster 是由至少3个NetworkComponent类聚合而成;每个簇类Cluster关联一个同步优先级类SynchronizationPriority关联;
继承模块,用于根据EMF框架,时间触发网络以太网组件类 NetworkComponent继承NetworkNameElement类。端系统类EndSystem 和交换机类NetworkSwitch继承时间触发网络以太网组件类 NetworkComponent;
其中,NetworkMetamodel类至少包含3个NetworkComponent类,其中包括2个端系统类EndSystem和1个交换机类NetworkSwitch。每个 EndSystem类由至少一个Partition类聚合而成,每个Partition类表示不同的应用功能;Partition类关联0至多个Frame类;Frame类表示在时间触发网络以太网网络中进行传输的数据单元;Frame类的帧类型包括:TT 帧类、RC帧类、BE帧类和PCF帧类,所述TT帧类、RC帧类、BE帧类和PCF帧类继承Frame类;
第二建立模块,用于建立虚链路类VirtualLink;所述VirtualLink类表示源EndSystem和目的EndSystem之间的逻辑连接;其中,所述VirtualLink类仅有一个源EndSystem,有至少一个目的EndSystem;每个帧类Frame仅属于一个VirtualLink类,一个VirtualLink类承载不同的帧类Frame;
第三建立模块,用于建立用于负责对SchedulableResource类进行调度,并生成调度表Schedule类的调度器类Scheduler;
其中,调度资源类SchedulableResource是与所述Scheduler类相关的类;Frame类、VirtualLink类、Partition类和Channel类四个子类继承 SchedulableResource类;调度器类Scheduler由一个或多个调度表Schedule 类以及大于等于0个约束类Constraint聚合而成。
第三方面,提供一种计算机可读的存储介质,所述存储介质上存储有指令,所述指令被处理器执行时实现所述第一方面任一项所述方法的步骤。
有益技术效果:
本发明针对混合关键性嵌入式系统应用,进行时间触发以太网建模,并满足了不同关键性应用实时性需求的消息传输。
附图说明
图1为时间触发以太网元模型概览图;
图2为时间触发以太网调度资源子元模型图;
图3为时间触发以太网帧分类子元模型图;
图4为时间触发以太网调度器的调度子元模型图;
图5为分区化系统子元模型图;
图6为某导航系统网络拓扑结构;
图7为某导航系统组成及通信图;
图8为某导航系统建模图;
图9为网络元模型总图;
图10为网络建模实现关系图。
具体实施方式
本发明实施例提供一种适用于嵌入式系统的网络建模方法,包括以下主要步骤:
为了实现网络建模,首先需建立网络元模型,网络建模实现关系图如图10所示,首先对AS6802进行相关建模特征提取,建立时间触发以太网总体元模型。基于该元模型,便可对嵌入式系统进行网络建模,得到嵌入式系统网络模型。
建立时间触发以太网元模型,TTE元模型概览图如图1所示。为时间触发网络以太网网络创建时间触发以太网元模型类TTEMetamodel,该类由同步域类SynchronizationDomain,时间触发网络以太网组件类 TTEComponent及调度资源类SchedulableResource聚合而成。
一个时间触发以太网络元模型类TTEMetamodel可以有一或多个同步域类SynchronizationDomain。时间触发以太网网络中优先级与同步域的关系由表1所示。
表1
层级 | 同步域 | 同步优先级 |
网络 | Y | (Y,Z) |
多簇 | 1 | X |
簇 | 1 | 1 |
簇类Cluster是由至少3个TTEComponent类聚合而成,通过Cluster 类与TTEComponent类之间的EReference来表示。通道类Channel表示簇或多簇之间的逻辑连接,包含一个Boolean类型的属性isDirectional来表示通道是单向还是双向的。根据EMF框架,时间触发网络以太网组件类TTEComponent继承TTENameElement类。端系统类EndSystem和交换机类TTESwitch继承时间触发网络以太网组件类TTEComponent,时间触发以太网络至少包含3个时间触发网络以太网组件,其中包括2个端系统和一个交换机。
时间触发网络以太网组件在网络中可以充当三种角色,分别为SynchronizationMaste,CompressionMaster和SynchronizationClient,通过在TTEComponent类中添加Boolean类型的属性 SynchronizationMaster,CompressionMaster和SynchronizationClient来确定时间触发网络以太网组件的角色。端系统类EndSystem表示执行系统功能的节点。由于每个端系统可执行多个功能,为了保证各功能之间的隔离性,建立分区类Partition来隔离各功能,每个类Partiton包含一个功能,分区化系统子元模型如图5所示。
端系统类EndSystem包含MajorFrame和PartitionSlot两个属性来表示端系统的主要帧及分区槽。
帧类Frame表示在时间触发网络以太网网络中进行传输的数据单元,帧包含在分区Partiton中。Frame类包含length,period和vi_id来表示帧的帧长,周期和虚链路ID。TT帧,RC帧,BE帧,PCF帧继承帧类Frame, 分别表示不同的帧类型。TT帧表示时间触发流量,包含属性offset表示偏移,RC帧表示速率受限流量,包含transmission属性表示帧传输速率,BE帧表示标准以太网流量,TTE帧分类子元模型如图3所示。虚链路类 VirtualLink表示源端系统EndSystem和目的端系统EndSystem之间的逻辑连接,且虚链路类VirtualLink只能有一个源端系统EndSystem,但是可以有多个目的端系统EndSystem。每个帧类Frame都属于一个虚链路类VirtualLink,而一个虚链路类VirtualLink可以承载多个帧类Frame,这一关联关系通过Frame与VirtualLink类之间的EReference来表示。 VirtualLink类包含Integer类型的属性BAG来表示虚链路的带宽分配间隙,Integer类型的属性MaxFrameLength属性来表示虚链路能传输的最大帧长,Integer类型的属性vl_id来标识唯一的虚链路。
调度资源类SchedulableResource指的是与调度器Scheduler相关的类,帧类Frame,虚链路类VirtualLink,分区类Partition和通道类Channel四个子类继承调度资源类SchedulableResource。调度器类Scheduler负责对调度资源SchedulableResource进行调度,并生成调度表Schedule,时间触发以太网调度器的调度子元模型如图4所示。调度器类Scheduler由一个或多个调度表Schedule以及大于等于0个约束类Constraint聚合而成。约束类Constraint包含String类型的属性name来标识约束的名称,以及属性ConstraintType来表示约束类型,TTE调度资源子元模型如图2所示。时间触发以太网中,脱机调度表负责防止运行时冲突。
调度器Scheduler生成调度表Schedule为防止冲突需要满足的约束ConstraintType类型枚举为 BoundedSwitchMemoryConstraints,EndToEndTransmissionConstraints,ApplicationLevelConstraints,DomainSpecificConstraints,PathDependentConstraints,SimultaneousRelayConstraints ,ContentionFreeConstraints,ProtocolControlFlowConstraints。(具体每种枚举成员的含义,参考Wilfried Steiner在2010 31st IEEE Real-Time Systems Symposium会议中发表《An Evaluation of SMT-based Schedule Synthesis For Time-Triggered Multi-Hop Networks》的第三章节III.FORMAL TIME-TRIGGERED SCHEDULING CONSTRAINTS。)
将所有子元模型进行整合,可得网络总元模型图如图9所示。
本发明实施例提供一种适用于嵌入式系统的网络建模方法,该方法的具体实施例如下所述:
本方案以某个简化的导航和制导系统为例,使用时间触发以太网元模型进行网络建模。如图6所示,该系统包括:交换机(Switch)1、Switch2,端系统(EndSystem)1、EndSystem2、EndSystem3、EndSystem4。其中, Switch1作为同步网络的压缩控制器CM,Switch2和EndSystem4作为同步客户端,EndSystem1、EndSystem2、EndSystem3作为同步主机。
端系统1表示惯导系统,端系统2表示自动驾驶系统,端系统3表示多功能控制显示单元,端系统4表示飞行管理系统。惯导系统负责计算和广播速度和姿态给自动驾驶仪系统。自动驾驶仪系统根据飞行计算的航路点发出飞行命令。多功能控制显示单元表示系统和驾驶员的接口。飞行管理系统周期性发出下一个航路点给自动驾驶仪系统。空速信息和姿态信息是关键数据,封装为TT帧Frame1,来自惯导系统的分区1,通过虚链路1发送给自动驾驶仪系统;飞行告警信息也是关键数据,封装为TT帧Frame2,来自惯导系统的分区2,通过虚链路2发送给多功能控制显示单元。航路信息封装为RC帧Frame3,来自飞行管理系统分析,通过虚链路3发给自动驾驶仪系统;驾驶员的飞行命令,封装为RC帧 Frame4,来自多功能控制显示单元,通过虚链路4发给自动驾驶仪系统。
根据本方案设计的元模型,对上述案例进行建模,首先建立端系统和交换机实例模型,完成网络拓扑结构,然后端系统中建立分区实例,建立虚链路的实例,并确定帧的属性及所属虚链路。调度器根据所选约束进行调度,确定帧的发送时间。由于系统规模较小,所有组件属于同一个簇中,属于一个同步域,每个组件有各自优先级,建立实例模型如图8所示。
Claims (5)
1.一种适用于嵌入式系统的网络建模方法,其特征在于,包括:
建立时间触发以太网的元模型 ,为时间触发以太网络创建网络元模型类NetworkMetamodel,该类由同步域类SynchronizationDomain,网络组件类NetworkComponent及调度资源类SchedulableResource聚合而成;
其中,所述NetworkMetamodel类有一个或多个所述SynchronizationDomain类;所述SynchronizationDomain类关联一个多簇类MultiCluster,所述MultiCluster类由多个簇类聚合合成;所述簇类Cluster是由至少3个NetworkComponent类聚合而成;每个簇类Cluster关联一个同步优先级类SynchronizationPriority;
根 据EMF框架 ,时间 触发网 络以太网组件类NetworkComponent继 承NetworkNameElement类;端系统类EndSystem和交换机类NetworkSwitch继承时间触发网络以太网组件类NetworkComponent;时 间 触 发 网 络 以 太 网 组 件 在 网 络 中充当 三 种 角 色 ,分 别 为 SynchronizationMaster、CompressionMaster和SynchronizationClient,通过在TTEComponent类中添加Boolean类型的属性SynchronizationMaster,CompressionMaster和SynchronizationClient来确定时间触发网络以太网组件的角色;
其中,NetworkMetamodel类至少包含3个NetworkComponent类,其中包括2个端系统类EndSystem和1个交换机类NetworkSwitch;每个EndSystem类由至少一个Partition类聚合而成,每个Partition类表示不同的应用功能;Partition类关联0至多个Frame类;Frame类表示在时间触发网络以太网网络中进行传输的数据单元;Frame类的帧类型包括:TT帧类、RC帧类、BE帧类和PCF帧类,所述TT帧类、RC帧类、BE帧类和PCF帧类继承Frame类;
建立虚链路类VirtualLink;所述VirtualLink类表示源EndSystem和目的EndSystem之间的逻辑连接;其中,所述VirtualLink类仅有一个源EndSystem,有至少一个目的EndSystem;每个帧类Frame仅属于一个VirtualLink类,一个VirtualLink类承载不同的帧类Frame;
建立用于负责对SchedulableResource类进行调度,并生成调度表Schedule类的调度器类Scheduler;
其中,调度资源类SchedulableResource是与所述Scheduler类相关的类;Frame类、VirtualLink类、Partition类和Channel类四个子类继承SchedulableResource类;调度器类Scheduler由一个或多个调度表Schedule类以及大于等于0个约束类Constraint聚合而成;Schedule类用于:在所述元模型中,负责防止运行时冲突;其中,NetworkMetamodel类为Schedule类确定了专属的数据结构;所述数据结构用于存储Frame发送的调度结果,以确保帧发送的实时性;通道类Channel表示簇或多簇之间的逻辑连接,包含一个Boolean类型的属性isDirectional来表示通道是单向还是双向的。
2.根据权利要求1所述的方法,其特征在于,所述Schedule类用于:
在所述元模型中,负责防止运行时冲突;
其中,NetworkMetamodel类为Schedule类确定了专属的数据结构;所述数据结构用于存储Frame发送的调度结果,以确保帧发送的实时性;Schedule类是由Scheduler类生成。
3.根据权利要求2所述的方法,其特征在于,所述Scheduler类需要满足的约束ConstraintType类型枚举包括:
BoundedSwitchMemoryConstraints,EndToEndTransmissionConstraints,ApplicationLevelConstraints,DomainSpecificConstraints,PathDependentConstraints,SimultaneousRelayConstraints ,ContentionFreeConstraints,ProtocolControlFlowConstraints。
4.一种适用于嵌入式系统的网络建模装置,其特征在于,包括:
第一建立模块,用于建立时间触发以太网的元模型,为时间触发以太网络创建网络元模型类NetworkMetamodel,该类由同步域类SynchronizationDomain,网络组件类NetworkComponent及调度资源类SchedulableResource聚合而成;
其中,所述NetworkMetamodel类有一个或多个所述SynchronizationDomain类;所述SynchronizationDomain类关联一个多簇类MultiCluster,所述MultiCluster类由多个簇类聚合合成;所述簇类Cluster是由至少3个NetworkComponent类聚合而成;每个簇类Cluster关联一个同步优先级类SynchronizationPriority;
继承模块,用于根据EMF框架,时间触发网络以太网组件类NetworkComponent继承NetworkNameElement类;端系统类EndSystem和交换机类NetworkSwitch继承时间触发网络以太网组件类NetworkComponent;时 间 触 发 网 络 以 太 网 组 件 在 网 络 中充当 三 种 角 色 ,分 别 为 SynchronizationMaster、CompressionMaster和SynchronizationClient,通过在TTEComponent类中添加Boolean类型的属性SynchronizationMaster,CompressionMaster和SynchronizationClient来确定时间触发网络以太网组件的角色;
其中,NetworkMetamodel类至少包含3个NetworkComponent类,其中包括2个端系统类EndSystem和1个交换机类NetworkSwitch;每个EndSystem类由至少一个Partition类聚合而成,每个Partition类表示不同的应用功能;Partition类关联0至多个Frame类;Frame类表示在时间触发网络以太网网络中进行传输的数据单元;Frame类的帧类型包括:TT帧类、RC帧类、BE帧类和PCF帧类,所述TT帧类、RC帧类、BE帧类和PCF帧类继承Frame类;
第二建立模块,用于建立虚链路类VirtualLink;所述VirtualLink类表示源EndSystem和目的EndSystem之间的逻辑连接;其中,所述VirtualLink类仅有一个源EndSystem,有至少一个目的EndSystem;每个帧类Frame仅属于一个VirtualLink类,一个VirtualLink类承载不同的帧类Frame;
第三建立模块,用于建立用于负责对SchedulableResource类进行调度,并生成调度表Schedule类的调度器类Scheduler;
其中,调度资源类SchedulableResource是与所述Scheduler类相关的类;Frame类、VirtualLink类、Partition类和Channel类四个子类继承SchedulableResource类;调度器类Scheduler由一个或多个调度表Schedule类以及大于等于0个约束类Constraint聚合而成;Schedule类用于:在所述元模型中,负责防止运行时冲突;其中,NetworkMetamodel类为Schedule类确定了专属的数据结构;所述数据结构用于存储Frame发送的调度结果,以确保帧发送的实时性;通道类Channel表示簇或多簇之间的逻辑连接,包含一个Boolean类型的属性isDirectional来表示通道是单向还是双向的。
5.一种计算机可读的存储介质,所述存储介质上存储有指令,其特征在于,所述指令被处理器执行时实现所述权利要求1-3任一项所述方法的步骤。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811511278.XA CN109697058B (zh) | 2018-12-11 | 2018-12-11 | 一种适用于嵌入式系统的网络建模方法、装置及存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201811511278.XA CN109697058B (zh) | 2018-12-11 | 2018-12-11 | 一种适用于嵌入式系统的网络建模方法、装置及存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN109697058A CN109697058A (zh) | 2019-04-30 |
CN109697058B true CN109697058B (zh) | 2022-05-17 |
Family
ID=66230511
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201811511278.XA Active CN109697058B (zh) | 2018-12-11 | 2018-12-11 | 一种适用于嵌入式系统的网络建模方法、装置及存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN109697058B (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111030835B (zh) * | 2019-10-23 | 2022-08-09 | 东南大学 | 一种ttfc网络的任务调度模型及消息调度表生成方法 |
CN110955411B (zh) * | 2019-10-25 | 2023-07-14 | 江西洪都航空工业集团有限责任公司 | 一种软件集成交互设计方法 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8719649B2 (en) * | 2009-03-04 | 2014-05-06 | Alcatel Lucent | Method and apparatus for deferred scheduling for JTAG systems |
CN102970156A (zh) * | 2012-10-11 | 2013-03-13 | 上海交通大学 | Afdx航空数据网络中端到端延迟的优化建模的方法 |
US9762501B2 (en) * | 2015-04-01 | 2017-09-12 | Honeywell International Inc. | Systematic hybrid network scheduling for multiple traffic classes with host timing and phase constraints |
CN105245301B (zh) * | 2015-10-16 | 2017-08-11 | 北京航空航天大学 | 一种基于时间触发的机载光网络仿真系统 |
CN106341205B (zh) * | 2016-08-31 | 2019-02-22 | 上海交通大学 | 低延时时间触发网络系统及优化方法 |
CN108848146B (zh) * | 2018-05-25 | 2020-02-18 | 西安云维智联科技有限公司 | 一种基于时间触发通信业务的调度优化方法 |
-
2018
- 2018-12-11 CN CN201811511278.XA patent/CN109697058B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
CN109697058A (zh) | 2019-04-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Seol et al. | Timely survey of time-sensitive networking: Past and future directions | |
EP2583437B1 (en) | Distributed avionics system and method | |
EP2591419B1 (en) | Simulating and testing avionics | |
US9172589B2 (en) | Method for configuring a distributed avionics control system | |
Li et al. | An enhanced reconfiguration for deterministic transmission in time-triggered networks | |
CN109150559B (zh) | 时间触发以太网仿真系统 | |
Mubeen et al. | Communications-oriented development of component-based vehicular distributed real-time embedded systems | |
CN109697058B (zh) | 一种适用于嵌入式系统的网络建模方法、装置及存储介质 | |
Mubeen et al. | Holistic modeling of time sensitive networking in component-based vehicular embedded systems | |
Beji et al. | SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures | |
Abuteir et al. | Simulation environment for time-triggered ethernet | |
Gavriluţ et al. | Constructive or optimized: An overview of strategies to design networks for time-critical applications | |
Phan et al. | Towards a compositional multi-modal framework for adaptive cyber-physical systems | |
CN106919386A (zh) | 基于arinc653操作系统生成代码的方法与装置 | |
US20110188520A1 (en) | Method for operating a time-controlled bus system | |
Badache et al. | End-to-end delay analysis in an integrated modular avionics architecture | |
CN114285541B (zh) | 一种基于时延误差时间触发以太网调度表生成方法 | |
Zhang et al. | Modeling time-triggered ethernet in systemc/tlm for virtual prototyping of cyber-physical systems | |
US11075858B2 (en) | A664 synch network design | |
Li et al. | Modelling and simulation of integrated modular avionics systems | |
Zheng et al. | Design optimization of time-triggered Ethernet based on routing and scheduling strategy | |
Tariq et al. | Analysis of synchronization in distributed avionics systems based on time-triggered Ethernet | |
Tang et al. | Online schedule of sporadic life-critical traffic in ttethernet | |
Badache et al. | Managing temporal allocation in integrated modular avionics | |
CN104065707A (zh) | 基于计算与通信协同设计的时间触发调度系统 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |