[發明專利]一種航天器軟件空間使用安全性檢查方法有效

申請號：	201310746198.3	申請日：	2013-12-30
公開（公告）號：	CN103745153A	公開（公告）日：	2014-04-23
發明（設計）人：	陳睿;王政;董曉剛;關小川;綦艷霞;顧斌;陳堯	申請（專利權）人：	北京控制工程研究所
主分類號：	G06F21/52	分類號：	G06F21/52
代理公司：	中國航天科技專利中心 11009	代理人：	陳鵬
地址：	100080 ***	國省代碼：	北京;11
權利要求書：	查看更多	說明書：	查看更多
摘要：
搜索關鍵詞：	一種航天器軟件空間使用安全性檢查方法
鉆瓜網技術展會專利詞庫專利權人專利榜在售專利公布日期熱門專利

【說明書】：

技術領域

本發明涉及一種航天器軟件在運行過程中空間使用的檢查方法，可以檢查出航天器軟件是否會出現內存使用違例的情況。

背景技術

作為一種嵌入式軟件，航天器軟件采用靜態分配的方式使用內存。為此，要建立內存使用劃分表。在這張表中，內存被固定劃分為若干個區域，至少包括一個全局數據區、一個或多個程序棧，這些區域不得交疊。軟件運行時，不得跨區域進行內存操作。表1給出了一個內存使用劃分表的例子。

表1航天器軟件內存劃分

起始地址～終止地址大小描述0x1000000～0x103FFFF256K全局數據區0x1040000～0x1040FFF4K數據隔離區0x1041000～0x1042FFF8K重要數據一區0x1043000～0x1043FFF4K數據隔離區0x1044000～0x1045FFF8K重要數據二區0x1046000～0x1046FFF4K數據隔離區0x1047000～0x1048FFF8K重要數據三區0x1049000～0x1049FFF4K數據隔離區0x105B000～0x106AFFF64K1號程序棧0x106B000～0x106BFFF4K數據隔離區0x107B000～0x107BFFF64K2號程序棧0x107C000～0x107CFFF4K數據隔離區0x107D000～0x108CFFF64K3號程序棧0x108D000～0x108DFFF4K數據隔離區0x108E000～0x109DFFF64K4號程序棧0x109E000～0x109EFFF4K數據隔離區0x109F000～0x1100000388K預留區

下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。

免登錄下載普通用戶下載升級VIP會員，免費下載

該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京控制工程研究所，未經北京控制工程研究所許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】

本文鏈接：http://www.szxzyx.cn/pat/books/201310746198.3/2.html，轉載請聲明來源鉆瓜專利網。