基于DFT-MARTE模型的时序分析算法.pdf

年月计算机工程与设计

20241Jan.2024

第卷第期COMPUTERENGINEERINGANDDESIGN

451Vol.45No.1

基于DFT-MARTE模型的时序分析算法

,,

121+112

,,,

徐嘉周晴杜家昊王一华

(,;

1.中国科学院国家空间科学中心复杂航天系统电子信息技术重点实验室北京101499

,)

2.中国科学院大学计算机与控制学院北京101408

:(,),

摘要针对航天嵌入式软件时序需求复杂带来的时序需求定义不准确问题提出

aerosaceembeddedsoftwareAES

p

一种基于()模型的数据流时序(

MARTEmodelinandanalsisofreal-timeandembeddedsstemsdataflowtiminbasedon

gyyg

,),、。

MARTEDFT-MARTE模型设计基于该模型的处理点缓存计算算法时序偏离概率检测算法和时序序列分析算法

,;

处理点缓存计算算法动态更新缓存空间使后续时序检测正常执行时序偏离概率检测算法利用多线程并发模拟时序特

,;,,。

性检测需求中时序偏离问题时序序列分析算法是基于梯度下降算法拟合时序序列指导用户优化需求该模型相比

,,。

传统数据流模型更适用航天嵌入式软件利于后续开发和维护具有极高的应用价值

:;;;;;;

关键词数据流时序模型数据流图嵌入式软件时序偏离检测多线程时序分析梯度下降算法

中图法分类号:文献标识号:文章编号:()

TP311.5A1000-7024202401-0120-10

:/

doi10.16208.issn1000-7024.2024.01.016

j

Timinanalsi