24小时热门版块排行榜    

Znn3bq.jpeg
查看: 394  |  回复: 1
本帖产生 1 个 基金HEPI ,点击这里进行查看
当前只显示满足指定条件的回帖,点击这里查看本话题的所有回帖

stonnie

木虫 (正式写手)


[交流] 【摘要编号】61073013

求助摘要的编号:
61073013
项目名称:
面向航空关键系统的AADL转换语义及其特性保持证明研究
项目类型:
面上

谢谢了。

» 猜你喜欢

» 抢金币啦!回帖就可以得到:

查看全部散金贴

已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖

jyzh19801012

铜虫 (小有名气)


stonnie(金币+4, 基金HEPI+1): 谢谢 2011-01-20 13:38:56
项目编号 61073013
项目名称 面向航空关键系统的AADL转换语义及其特性保持证明研究  
项目类型 面上项目   
申报学科1 实时与嵌入式软件(F020207)  
申报学科2 实时与嵌入式软件(F020208)  
研究性质 应用基础研究   
资助金额 30.00万元
开始日期 2011年1月1日  
完成日期 2013年12月31日   
项目摘要 航空航天等领域的嵌入式实时系统日趋复杂,由于分式结构以及模式变换、分区等机制的引入,给系统性质验证和分析带来了新的挑战。AADL是近年提出来的一种嵌入式实时系统体系结构分析与设计语言国际标准。当前,AADL模型验证、分析以及自动代码生成,主要是采用模型转换方式,而精确的转换语义及其特性保持是模型转换的基础。课题提出了一种基于时间抽象状态机(TASM)的AADL转换语义方法,形式化刻画AADL和时间抽象状态机的抽象语法、类型系统及操作语义,使转换语义更加精确、抽象;提出了一种基于定理证明器Coq的AADL特性保持证明方法,采用Coq对AADL转换语义进行重写,提供通用的AADL语义基础,并给出特性保持的证明;研究该转换语义模型的可调度、资源优化等关键性质验证和分析方法;最后,基于模型转换语言ATL实现AADL模型到TASM模型的自动转换,构建一体化的验证与分析框架。  
获资助单位 北京航空航天大学(项目负责人)
2楼2011-01-19 01:24:49
已阅   回复此楼   关注TA 给TA发消息 送TA红花 TA的回帖
相关版块跳转 我要订阅楼主 stonnie 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 收到复试调剂但是去不了 +8 小蜗牛* 2026-04-16 8/400 2026-04-18 11:15 by zixin2025
[考研] 化工学硕294分,求导师收留 +33 yzyzx 2026-04-12 37/1850 2026-04-17 23:00 by wunaiy88
[考研] 求调剂 +9 小聂爱学习 2026-04-16 11/550 2026-04-17 22:34 by chixmc
[考研] 一志愿华中农业071010,320求调剂 +17 困困困困坤坤 2026-04-14 19/950 2026-04-17 20:08 by 关一盏灯cd
[考研] 304求调剂 +7 castLight 2026-04-16 7/350 2026-04-17 20:05 by 关一盏灯cd
[考博] 求博导|生物质基多孔碳/超级电容方向,已有相关成果,寻能源材料/碳材料方向老师 +3 猪猪人Zzz 2026-04-12 3/150 2026-04-17 19:10 by 阳阳阳^_^
[有机交流] 二苯甲酮酸类衍生物 50+3 小白爱主人 2026-04-17 6/300 2026-04-17 18:47 by kf2781974
[考研] 一志愿中科大材料与化工,353分还有调剂学校吗 +10 否极泰来2026 2026-04-15 12/600 2026-04-17 17:54 by mapenggao
[考研] 322求调剂 +6 tekuzu 2026-04-17 6/300 2026-04-17 13:48 by Espannnnnol
[考研] 335求调剂 +20 想上岸呀!! 2026-04-12 23/1150 2026-04-17 10:50 by cuisz
[考研] 恳请有学校收留 +8 柯淮然 2026-04-12 8/400 2026-04-17 09:34 by 猪会飞
[考研] 26药学专硕105500求调剂 +6 喽哈加油 2026-04-13 7/350 2026-04-16 14:31 by zhouxiaoyu
[考博] 申博自荐 +3 Linxia林夏 2026-04-13 3/150 2026-04-16 12:55 by 墨荷之露
[考研] 求调剂推荐 +8 小聂爱学习 2026-04-14 8/400 2026-04-16 07:22 by 学员JpLReM
[考研] 求调剂学校 +14 不会吃肉 2026-04-13 16/800 2026-04-15 21:59 by noqvsozv
[考研] 一志愿A区211,22408 321求调剂 +6 随心所欲☆ 2026-04-15 7/350 2026-04-15 21:45 by lbsjt
[考研] 085404 22408 309分求调剂 +9 lzmk 2026-04-14 10/500 2026-04-15 20:02 by 学员JpLReM
[考研] 药学求调剂 +11 RussHu 2026-04-12 13/650 2026-04-15 19:07 by zhuwenxu
[考研] 245求调剂 +6 冰糖橘?汽水 2026-04-13 10/500 2026-04-14 10:49 by jyl0317
[考研] 302求调剂 +10 易!? 2026-04-13 10/500 2026-04-13 19:04 by lbsjt
信息提示
请填处理意见