航天嵌入式操作系统的分析与验证
文献类型：期刊论文
| 作者 | 李斌 ; 马越 ; 李潇 ; 刘剑 |
| 刊名 | 载人航天
 |
| 出版日期 | 2012 |
| 卷号 | 18期号:6页码:69-74 |
| 关键词 | 嵌入式操作系统 分析验证 静态分析 模型检测 符号执行 航天系统 |
| ISSN号 | 1674-5825 |
| 其他题名 | analysis and verification of space embedded operating systems |
| 中文摘要 | 在介绍航天嵌入式操作系统的特点和应用概况的基础上,阐述了对航天嵌入式操作系统进行自动分析与验证的必要性,综述了自动分析和验证技术,并重点介绍了模型检测和符号执行两种分析技术,列举了领域内近年来具有代表性的工具及分析实例。结合航天嵌入式操作系统的特点,总结了嵌入式操作系统自动分析与验证技术面临的挑战,包括状态爆炸、描述不精确性、代码复杂度、实时性分析等。 |
| 英文摘要 | Based on a brief introduction of the characteristics and applications of space embedded operating systems, the necessity of automatic analysis and verification of the systems are explained. Techniques for automatic analysis and verification are introduced, with two techniques, namely, model checking and symbolic execution described in detail. Some representative tools and analysis practice in recent years are listed. Challenges for automatic analysis and verification of embedded operating systems, including the state explosion, inaccuracy of expression, code complexity and analysis of real-time performance, are summarized. |
| 学科主题 | Computer Science (provided by Thomson Reuters) |
| 收录类别 | CNKI ; WANFANG ; CSCD |
| 资助信息 | 载人航天领域预先研究项目(000301)|国家自然科学基金项目(61003028、61073044、60903051) |
| 语种 | 中文 |
| CSCD记录号 | CSCD:4707730 |
| 公开日期 | 2013-09-17 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15285]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 李斌,马越,李潇,等. 航天嵌入式操作系统的分析与验证[J]. 载人航天,2012,18(6):69-74. |
| APA | 李斌,马越,李潇,&刘剑.(2012).航天嵌入式操作系统的分析与验证.载人航天,18(6),69-74. |
| MLA | 李斌,et al."航天嵌入式操作系统的分析与验证".载人航天 18.6(2012):69-74. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。