分布式航电系统可调度性分析的建模框架
软件工程
2018-03-30 v1 分布式、并行与集群计算
摘要
本文提出了一个用于分布式综合模块化航电（DIMA）系统可调度性分析的建模框架，该系统由通过统一 AFDX 网络连接的空间分布式 ARINC-653 模块组成。我们在 UPPAAL 中将 DIMA 系统建模为一组秒表自动机（SWA），以通过经典模型检测（MC）和统计模型检测（SMC）分析其可调度性。该框架旨在实现三种类型的分析：全局 SMC、全局 MC 和组合 MC。这提供了一种有效的方法，包括：(1) 使用全局 SMC 分析进行快速可调度性证伪；(2) 在简单情况下使用全局 MC 分析进行直接可调度性证明；(3) 针对较大状态空间使用组合 MC 分析进行严格可调度性证明。该框架被应用于一个具体 DIMA 系统的分析。
引用
@article{arxiv.1803.11050,
title = {A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems},
author = {Pujie Han and Zhengjun Zhai and Brian Nielsen and Ulrik Nyman},
journal= {arXiv preprint arXiv:1803.11050},
year = {2018}
}
备注
In Proceedings MARS/VPT 2018, arXiv:1803.08668