| 查看: 382 | 回复: 1 | |||||||||
| 本帖产生 1 个 基金HEPI ，点击这里进行查看 | |||||||||
| 当前只显示满足指定条件的回帖，点击这里查看本话题的所有回帖 | |||||||||
[交流]
【摘要编号】61073013
|
|||||||||
谢谢了。 |
回复此楼» 猜你喜欢
什么是人一生最重要的？
已经有6人回复
-
为什么中国大学工科教授们水了那么多所谓的顶会顶刊，但还是做不出宇树机器人？
已经有11人回复
-
网上报道青年教师午睡中猝死、熬夜猝死的越来越多，主要哪些原因引起的？
已经有9人回复
-
【博士招生】太原理工大学2026化工博士
已经有5人回复
-
280求调剂
已经有3人回复
-
面上可以超过30页吧？
已经有11人回复
-
版面费该交吗
已经有15人回复
-
体制内长辈说体制内绝大部分一辈子在底层，如同你们一样大部分普通教师忙且收入低
已经有18人回复
» 抢金币啦！回帖就可以得到:
-
澳大利亚科廷大学招收全奖博士（采矿与冶金工程专业）
+1/297
-
侯旭课题组(化学、化工、环境、能源相关方向)欢迎你的加入
+1/179
-
有机
+1/100
-
【全奖博士招生】美国科罗拉多大学科罗拉多斯普林斯分校----固体与结构力学
+1/84
-
福建师范大学环境与资源学院刘斯宝课题组招聘青年教师（带编）
+1/84
-
山东理工大学材料学院泰山学者青年专家招收2026年调剂硕士研究生
+1/79
-
招收桥梁工程方向博士研究生！
+3/74
-
博洛尼亚大学能源材料课题组2个博后位置招聘（PNRR & MSCA）
+1/60
-
坐标南京，高校老师，诚征女友
+1/40
-
青岛科技大学2026年高分子材料方向科研助理招聘
+1/33
-
南通大学生物医药方向国家级人才团队招收“申请-考核”制博士研究生20260222
+2/30
-
同济大学 环境科学与工程学院 国家级青年人才团队 诚聘脱产博士后
+1/29
-
211大学【2026学博】补招
+1/28
-
南京林业大学-国家级青年人才团队 招2026级申请考核制博士
+1/14
-
【少数民族】【生物医药】2026青岛大学招博士生
+1/11
-
新西兰 奥克兰理工大学（AUT）招博士，海藻资源化方向，详情请见如下内容，谢谢！
+1/8
-
大连理工大学智能系统实验室优秀博士研究生招生
+1/6
-
湖北工业大学2026年博士研究生（生物医药专博+轻工技术与工程学博）
+1/5
-
哈尔滨工程大学动力学院赵建辉团队招收2026博士研究生
+1/4
-
中国科学技术大学 工程科学学院 国家级人才团队 诚聘博士后
+1/1
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