中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Computer Science (provided by Thomson Reuters)
Title:
航天嵌入式操作系统的分析与验证
Alternative Title: analysis and verification of space embedded operating systems
Author: 李斌 ; 马越 ; 李潇 ; 刘剑
Keyword: 嵌入式操作系统 ; 分析验证 ; 静态分析 ; 模型检测 ; 符号执行 ; 航天系统
Source: 载人航天
Issued Date: 2012
Volume: 18, Issue:6, Pages:69-74
Indexed Type: CNKI ; WANFANG ; CSCD
Department: 中国科学院软件研究所基础软件国家工程研究中心;
Sponsorship: 载人航天领域预先研究项目(000301)|国家自然科学基金项目(61003028、61073044、60903051)
Abstract: 在介绍航天嵌入式操作系统的特点和应用概况的基础上,阐述了对航天嵌入式操作系统进行自动分析与验证的必要性,综述了自动分析和验证技术,并重点介绍了模型检测和符号执行两种分析技术,列举了领域内近年来具有代表性的工具及分析实例。结合航天嵌入式操作系统的特点,总结了嵌入式操作系统自动分析与验证技术面临的挑战,包括状态爆炸、描述不精确性、代码复杂度、实时性分析等。
English Abstract: 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.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15285
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
李斌,马越,李潇,等. 航天嵌入式操作系统的分析与验证[J]. 载人航天,2012-01-01,18(6):69-74.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李斌]'s Articles
[马越]'s Articles
[李潇]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李斌]‘s Articles
[马越]‘s Articles
[李潇]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace