Verifying Mode Consistency for On-Board Satellite Software
Verifying Mode Consistency for On-Board Satellite Software
复制标题
验证星载卫星软件的模式一致性
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
T. Latvala
中科院分区：
文献类型：
--
作者：
A. Iliasov;E. Troubitsyna;L. Laibinis;A. Romanovsky;Kimmo Varpaaniemi;Pauli Väisänen;D. Ilic;T. Latvala
空间卫星是复杂嵌入式系统的示例。这种系统的动态行为通常是用操作模式来描述的，这些模式与任务和组件状态的不同阶段相对应。组件容易受到使模式过渡方案复杂化的各种断层。然而，任务的成功取决于模式更改的正确实现。在本文中，我们提出了一种正式方法，该方法在通过改进开发系统体系结构的同时确保模式的一致性。该方法依赖于在实施模式过渡方案时执行正确性的建模和改进模式的递归应用。在ICT部署项目中采取的态度和轨道控制系统的发展可以说明拟议的方法。
Space satellites are examples of complex embedded systems. Dynamic behaviour of such systems is typically described in terms of operational modes that correspond to the different stages of a mission and states of the components. Components are susceptible to various faults that complicate the mode transition scheme. Yet the success of a mission depends on the correct implementation of mode changes. In this paper we propose a formal approach that ensures consistency of mode changes while developing a system architecture by refinement. The approach relies on recursive application of modelling and refinement patterns that enforce correctness while implementing the mode transition scheme. The proposed approach is exemplified by the development of an Attitude and Orbit Control System undertaken within the ICT DEPLOY project.