Autonomous onboard computer systems using real time trace models

P. Hristov, P. Angelov, M. Gousheva
{"title":"Autonomous onboard computer systems using real time trace models","authors":"P. Hristov, P. Angelov, M. Gousheva","doi":"10.1109/RAST.2005.1512560","DOIUrl":null,"url":null,"abstract":"In the paper some particularities of the autonomous spacecraft computer systems are discussed. The ways to reach the autonomy are described - high reliability and adaptability of the system, reached by application of AI elements formal structural models (specification, verification and real time control) and dynamic reconfiguration. A method using trace models In real time for testing of system operations is described. The method is suitable for systems specified by process algebras (CSP - Communicating Sequential Processes, Timed CSP, ASM - Abstract State Machine, and TAM - Temporal Agent Model) where process tracts are used. The computing processes and these in the hardware are observed. Special control processes (tracers) are specified. They allow to control in real time the correspondence of the real system traces and preliminary computed traces (the formal specification) and send messages to the other subsystems when no correspondence (e.g. to specification and dynamic reconfiguration subsystems). The method allows finding in real, time the software and hardware incorrectly functioning (disparity of the traces) based on rigorous mathematical specification. In the paper are described: an autonomous control system structural model, an algorithm for real time traces control, software simulations (laboratory models) of autonomous systems, the faults and reaction of the tracer-processes, all based on CPPCSP - C++ Communicating Sequential Processes library. The application of trace models in real time allows find any system incorrectly operating and this is one of the ways for,increasing the onboard computer systeme reliability and to achieve full operation autonomy.","PeriodicalId":156704,"journal":{"name":"Proceedings of 2nd International Conference on Recent Advances in Space Technologies, 2005. RAST 2005.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2005-06-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 2nd International Conference on Recent Advances in Space Technologies, 2005. RAST 2005.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RAST.2005.1512560","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

In the paper some particularities of the autonomous spacecraft computer systems are discussed. The ways to reach the autonomy are described - high reliability and adaptability of the system, reached by application of AI elements formal structural models (specification, verification and real time control) and dynamic reconfiguration. A method using trace models In real time for testing of system operations is described. The method is suitable for systems specified by process algebras (CSP - Communicating Sequential Processes, Timed CSP, ASM - Abstract State Machine, and TAM - Temporal Agent Model) where process tracts are used. The computing processes and these in the hardware are observed. Special control processes (tracers) are specified. They allow to control in real time the correspondence of the real system traces and preliminary computed traces (the formal specification) and send messages to the other subsystems when no correspondence (e.g. to specification and dynamic reconfiguration subsystems). The method allows finding in real, time the software and hardware incorrectly functioning (disparity of the traces) based on rigorous mathematical specification. In the paper are described: an autonomous control system structural model, an algorithm for real time traces control, software simulations (laboratory models) of autonomous systems, the faults and reaction of the tracer-processes, all based on CPPCSP - C++ Communicating Sequential Processes library. The application of trace models in real time allows find any system incorrectly operating and this is one of the ways for,increasing the onboard computer systeme reliability and to achieve full operation autonomy.
使用实时跟踪模型的自主机载计算机系统
本文讨论了自主航天器计算机系统的一些特点。描述了实现自主性的途径——系统的高可靠性和高适应性,通过应用人工智能元素的形式结构模型(规范、验证和实时控制)和动态重构来实现。介绍了一种利用跟踪模型实时测试系统运行的方法。该方法适用于由进程代数(CSP -通信顺序进程,定时CSP, ASM -抽象状态机和TAM -时间代理模型)指定的使用进程域的系统。观察了计算过程和硬件中的计算过程。指定了特殊控制过程(示踪剂)。它们允许实时控制实际系统轨迹和初步计算轨迹(正式规范)的对应关系,并在没有对应关系(例如规范和动态重构子系统)时向其他子系统发送消息。该方法可以根据严格的数学规范,实时发现软件和硬件的不正确功能(迹线差异)。本文介绍了基于CPPCSP - c++通信顺序过程库的自动控制系统结构模型、实时跟踪控制算法、自动控制系统的软件仿真(实验室模型)、跟踪过程的故障和反应。跟踪模型的实时应用可以发现任何系统的不正确运行,这是提高机载计算机系统可靠性和实现完全自主运行的途径之一。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信