反应性约束下发射器飞行控制系统的参数化可调度性分析
软件工程
2019-03-19 v1 计算机科学中的逻辑
摘要
下一代空间系统将不得不完成愈发复杂的任务。为掌控此类系统的开发成本与周期，相较于手工设计，一种替代方案是自动综合系统的主参数。本文针对空间发射器飞行控制调度这一具体案例提出一种方法。该方法需两个连续步骤：(1) 将待解问题形式化于参数化形式模型之中；(2) 利用工具综合模型参数。我们首先描述发射器飞行控制调度的问题，继而展示该问题如何用参数化秒表自动机形式化；随后给出 IMITATOR 计算的结果。我们将所得结果与传统用于调度的其他工具所获得的结果进行比较。
引用
@article{arxiv.1903.07217,
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:1903.07217},
year = {2019}
}
备注
This work was supported by the Paris \^Ile-de-France Region (project DIM RFSI ASTREI). \'Etienne Andr\'e is partially supported by the ANR national research program PACS (ANR-14-CE28-0002), and the ERATO HASUO Metamathematics for Systems Design Project (No. JPMJER1603), JST