反应性约束下某发射装置飞控系统参数可重构性分析
Parametric schedulability analysis of a launcher flight control system under reactivity constraints
摘要：
下一代空间系统将不得不完成越来越复杂的任务。为了掌握这种系统的开发成本和持续时间，人工设计的替代方案是自动综合系统的主要参数。在本文中，我们提出了一种方法的具体情况下的调度空间发射器的飞行控制。该方法需要两个连续的步骤：（1）在一个参数化的形式化模型和（2）的模型参数的合成要解决的问题的形式化。我们首先描述了发射器飞行控制调度的问题，然后我们展示了这个问题如何可以用参数秒表自动机形式化，然后我们提出了由参数定时模型检查器IMITATOR计算的结果。我们加强我们的模型，考虑到切换上下文的时间，我们比较的结果，由其他工具经典的调度。
英文摘要：
The next generation of space systems will have to achieve more and more complex missions. In order to master the development cost and duration of such systems, an alternative to a manual design is to automatically synthesize the main parameters of the system. In this paper, we present an approach for the specific case of the scheduling of the flight control of a space launcher. The approach requires two successive steps: (1) the formalization of the problem to be solved in a parametric formal model and (2) the synthesis of the model parameters with a tool. We first describe the problem of the scheduling of a launcher flight control, then we show how this problem can be formalized with parametric stopwatch automata; we then present the results computed by the parametric timed model checker IMITATOR. We enhance our model by taking into consideration the time for switching context, and we compare the results to those obtained by other tools classically used in scheduling.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
