反应性约束下运载火箭飞控系统的参数化可调度性分析
软件工程
2021-12-15 v1 系统与控制
系统与控制
摘要
下一代空间系统须执行愈发复杂的任务。为掌控此类系统的开发成本与周期，相较手工设计，一种替代方案是自动综合系统的主参数。本文针对空间运载火箭飞控调度这一具体情形提出一种方法。该方法需两个相继步骤：（1）将待解问题形式化为参数化形式模型；（2）用工具综合模型参数。我们首先描述运载火箭飞控调度问题，继而展示如何用参数化秒表自动机形式化该问题；随后给出参数化时间模型检测工具 IMITATOR 计算的结果。我们通过考虑上下文切换时间增强模型，并将结果与传统调度常用其他工具所得结果比较。
引用
@article{arxiv.2112.07548,
title = {Parametric schedulability analysis of a launcher flight control system under reactivity constraints},
author = {Étienne André and Emmanuel Coquard and Laurent Fribourg and Jawher Jerray and David Lesens},
journal= {arXiv preprint arXiv:2112.07548},
year = {2021}
}
备注
This manuscript is the author version of the manuscript of the same name published in Fundamenta Informatica 182(1). This is an extended version of the manuscript published in the proceedings of the 19th International Conference on Application of Concurrency to System Design (ACSD 2019). arXiv admin note: substantial text overlap with arXiv:1903.07217