• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Procedia Computer Science >Verification and online updating of decision making control logic for onboard real-time control systems
【24h】

Verification and online updating of decision making control logic for onboard real-time control systems

机译：车载实时控制系统的决策控制逻辑的验证和在线更新

获取原文
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The errors during the decision making process in the control system of a modern complex technical system such as a ship, a plane, a spaceship or a power station can lead to unacceptable consequences. Meanwhile, decision making is based on so-named “control logic” described in dedicated specification documents and then implemented by the hardware and software in the real time mode. There are some problems in this process, caused by contradictions and incompletenesses in the specification documents written in natural language, and misunderstanding between specialists in onboard systems, operational engineers, and programmers. In this paper, two practical examples of verification and online updating of spacecraft control logic are described. The approaches we used allow avoiding the mentioned problems. The theoretical basis for verification is Real-Time Control Algorithms Logic RTCAL. Using this, we have developed and successfully applied software tools and domain-specific languages used at the design and operational stages of spacecraft control. The ongoing work includes introducing SMT solvers into our approach, and automatic generation of valid control logic.
机译：在诸如船，飞机，宇宙飞船或发电站之类的现代复杂技术系统的控制系统中，决策过程中的错误可能导致无法接受的后果。同时，决策是基于专用规范文档中描述的所谓“控制逻辑”，然后由硬件和软件以实时模式实现的。在此过程中存在一些问题，这是由于以自然语言编写的规范文档中的矛盾和不完整，以及车载系统的专家，运营工程师和程序员之间的误解。在本文中，描述了两个验证和在线更新航天器控制逻辑的实际示例。我们使用的方法可以避免上述问题。验证的理论基础是实时控制算法逻辑RTCAL。使用此工具，我们开发并成功应用了在航天器控制的设计和运行阶段使用的软件工具和特定领域的语言。正在进行的工作包括将SMT求解器引入我们的方法，以及自动生成有效的控制逻辑。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号