面向数据流计算模型与通信的扩展调查与比较框架
系统与控制
2025-01-22 v2 系统与控制
摘要
数据流计算模型与通信（DF MoCCs）是用于指定赛博物理系统（CPSs）行为的形式化方法。DF MoCCs广泛用于CPSs的设计，因为它们提供了一种指定系统行为的高级抽象。DF MoCCs规则为数据流CPS的规范提供语义，静态分析算法依赖于这些语义来保证数据流规范的安全属性，如有限内存使用和死锁自由。存在多种DF MoCCs，每种都具有其独特的特征和静态分析。本文对这些DF MoCCs进行了调查，并以八个类别对其进行分类。此外，针对DF MoCCs，列出了一组综合特征和静态分析，这些特征反映了它们的表达性和可分析性。基于这种特征，提出了一个用于定量比较DF MoCCs表达性和可分析性的框架。
引用
@article{arxiv.2501.07273,
title = {An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication},
author = {Guillaume Roumage and Selma Azaiez and Cyril Faure and Stéphane Louise},
journal= {arXiv preprint arXiv:2501.07273},
year = {2025}
}