航天器形式化系统设计验证综述

2008 Fifth IEEE International Symposium on Embedded Computing Pub Date : 2008-10-06 DOI:10.1109/SEC.2008.69

Huamao Wang, Yan Wang

{"title":"航天器形式化系统设计验证综述","authors":"Huamao Wang, Yan Wang","doi":"10.1109/SEC.2008.69","DOIUrl":null,"url":null,"abstract":"This paper introduces a system design verification method - Formal verification methods. The verification methods overcome the insufficiency of traditional test verification and simulation verification, it will omnidirectional verify the correctness of the design. By introducing formal system design and verification methods, pointing out that the formal verification ideas of the spacecraft design.","PeriodicalId":231129,"journal":{"name":"2008 Fifth IEEE International Symposium on Embedded Computing","volume":"81 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Review on Spacecraft Formal System Design Verification\",\"authors\":\"Huamao Wang, Yan Wang\",\"doi\":\"10.1109/SEC.2008.69\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper introduces a system design verification method - Formal verification methods. The verification methods overcome the insufficiency of traditional test verification and simulation verification, it will omnidirectional verify the correctness of the design. By introducing formal system design and verification methods, pointing out that the formal verification ideas of the spacecraft design.\",\"PeriodicalId\":231129,\"journal\":{\"name\":\"2008 Fifth IEEE International Symposium on Embedded Computing\",\"volume\":\"81 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-10-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 Fifth IEEE International Symposium on Embedded Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SEC.2008.69\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 Fifth IEEE International Symposium on Embedded Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEC.2008.69","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文介绍了一种系统设计验证方法——形式化验证方法。该验证方法克服了传统测试验证和仿真验证的不足，将全方位地验证设计的正确性。通过对形式化系统设计和验证方法的介绍，指出了航天器设计形式化验证的思路。

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

查看原文本刊更多论文

Review on Spacecraft Formal System Design Verification

This paper introduces a system design verification method - Formal verification methods. The verification methods overcome the insufficiency of traditional test verification and simulation verification, it will omnidirectional verify the correctness of the design. By introducing formal system design and verification methods, pointing out that the formal verification ideas of the spacecraft design.

求助全文

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

来源期刊

2008 Fifth IEEE International Symposium on Embedded Computing

自引率

0.00%

发文量