24小时热门版块排行榜    

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

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 的主题更新
普通表情 高级回复 (可上传附件)
最具人气热帖推荐 [查看全部] 作者 回/看 最后发表
[考研] 297求调剂 +5 戏精丹丹丹 2026-03-17 5/250 2026-03-18 12:46 by Linda Hu
[考研] 307求调剂 +3 冷笙123 2026-03-17 3/150 2026-03-18 09:55 by macy2011
[基金申请] 被我言中:新模板不强调格式了,假专家开始管格式了 +4 beefly 2026-03-14 4/200 2026-03-17 22:04 by 黄鸟于飞Chao
[考研] 085601专硕,总分342求调剂,地区不限 +4 share_joy 2026-03-16 4/200 2026-03-17 21:32 by hmn_wj
[考研] 274求调剂0856材料化工 +13 z2839474511 2026-03-11 14/700 2026-03-17 16:51 by share_joy
[考研] 085600材料与化工 +4 安全上岸! 2026-03-16 4/200 2026-03-17 14:02 by 勇敢太监王公公
[论文投稿] 有没有大佬发小论文能带我个二作 +3 增锐漏人 2026-03-17 4/200 2026-03-17 09:26 by xs74101122
[考研] 283求调剂 +3 听风就是雨; 2026-03-16 3/150 2026-03-17 07:41 by 热情沙漠
[考研] 一志愿211 0703方向310分求调剂 +3 努力奋斗112 2026-03-15 3/150 2026-03-16 16:44 by houyaoxu
[考研] 085600调剂 +5 漾漾123sun 2026-03-12 6/300 2026-03-16 15:58 by 漾漾123sun
[考研] 0703化学调剂,求各位老师收留 +8 秋有木北 2026-03-14 8/400 2026-03-16 15:21 by 哦哦123
[考研] 285求调剂 +6 ytter 2026-03-12 6/300 2026-03-16 15:05 by njzyff
[考研] 一志愿华中师范071000,325求调剂 +6 RuitingC 2026-03-12 6/300 2026-03-16 14:50 by 可淡不可忘
[考研] 288求调剂 +4 奇点0314 2026-03-14 4/200 2026-03-14 23:04 by JourneyLucky
[考研] 中科大材料与化工319求调剂 +3 孟鑫材料 2026-03-14 3/150 2026-03-14 20:10 by ms629
[考研] 本科南京大学一志愿川大药学327 +3 麦田耕者 2026-03-14 3/150 2026-03-14 20:04 by 外星文明
[考研] 复试调剂 +3 呼呼?~+123456 2026-03-14 3/150 2026-03-14 16:53 by WTUChen
[考研] 学硕285求调剂 +13 Wisjxn 2026-03-12 46/2300 2026-03-14 10:33 by JourneyLucky
[考研] 26调剂/材料科学与工程/总分295/求收留 +9 2026调剂侠 2026-03-12 9/450 2026-03-13 20:46 by 18595523086
[考研] 308求调剂 +3 是Lupa啊 2026-03-12 3/150 2026-03-13 14:30 by 求调剂zz
信息提示
请填处理意见