航天器机载控制系统的综合软件验证技术

IF 0.6 4区计算机科学 Q4 AUTOMATION & CONTROL SYSTEMS

Automation and Remote Control Pub Date : 2024-02-25 DOI:10.1134/s0005117923100065

V. V. Kul’ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov

{"title":"航天器机载控制系统的综合软件验证技术","authors":"V. V. Kul’ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov","doi":"10.1134/s0005117923100065","DOIUrl":null,"url":null,"abstract":"<h3 data-test=\"abstract-sub-heading\">Abstract</h3><p>This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed.</p>","PeriodicalId":55411,"journal":{"name":"Automation and Remote Control","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2024-02-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft\",\"authors\":\"V. V. Kul’ba, E. A. Mikrin, B. V. Pavlov, S. K. Somov\",\"doi\":\"10.1134/s0005117923100065\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<h3 data-test=\\\"abstract-sub-heading\\\">Abstract</h3><p>This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed.</p>\",\"PeriodicalId\":55411,\"journal\":{\"name\":\"Automation and Remote Control\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2024-02-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Automation and Remote Control\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1134/s0005117923100065\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Automation and Remote Control","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1134/s0005117923100065","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}

引用次数: 0

摘要

摘要本文从概念上阐述了航天器机载控制系统软件综合验证的主要原则。通过严格阐述和求解相应的优化问题，选择了最佳的星载软件综合验证策略。提出了具有功能正确性指标的软件验证方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Comprehensive Software Verification Technology for Onboard Control Systems of Spacecraft

Abstract

This paper conceptualizes the main principles of comprehensive software verification for an onboard spacecraft control system. An optimal comprehensive verification strategy for onboard software is selected by rigorously stating and solving the corresponding optimization problem. Software verification methods with functional correctness indicators are proposed.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Automation and Remote Control 工程技术-仪器仪表

CiteScore

1.70

自引率

28.60%

发文量

审稿时长

3-8 weeks

期刊介绍： Automation and Remote Control is one of the first journals on control theory. The scope of the journal is control theory problems and applications. The journal publishes reviews, original articles, and short communications (deterministic, stochastic, adaptive, and robust formulations) and its applications (computer control, components and instruments, process control, social and economy control, etc.).