24小时热门版块排行榜

>论坛更新日志 (5231)
>导师招生 (425)
>休闲灌水 (239)
>虫友互识 (198)
>文献求助 (193)
>博后之家 (181)
>教师之家 (154)
>论文投稿 (115)
>硕博家园 (110)
>招聘信息布告栏 (99)
>考博 (77)
>公派出国 (31)
>健康生活 (29)
>论文道贺祈福 (27)
>基金申请 (27)
>考研 (24)

返回列表

本帖产生 1 个基金HEPI ，点击这里进行查看

stonnie

木虫 (正式写手)

应助: 0 (幼儿园)
金币: 1746.4
帖子: 338
在线: 174小时
虫号: 341710

[交流] 【摘要编号】61073013

求助摘要的编号:

61073013

项目名称:

面向航空关键系统的AADL转换语义及其特性保持证明研究

项目类型:

面上

谢谢了。

回复此楼

» 猜你喜欢

售一区SCI文章T0P，我:8O.551.O54,科目全,可十急已经有8人回复
售SCI一区文章，我:8.O.55.1.O.54,科目齐全,可伽急已经有3人回复
售SCI一区T0P文章，我:8O.55.1.O.5.4,科目齐全,可+急已经有3人回复
售SCI文章，我:8O5.5.1.O.54,科目齐全,可+急已经有3人回复
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急已经有3人回复
售SCI一区T0P文章，我:8.O55.1.O.54,科目全,可十急已经有9人回复
说走就走，走到哪便是哪已经有10人回复
亲密关系已经有13人回复
27秋申博自荐已经有4人回复
郑州大学申博已经有8人回复

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

查看全部散金贴

1楼 2011-01-19 00:41:36

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

jyzh19801012

铜虫 (小有名气)

基金HEPI: 277
应助: 0 (幼儿园)
金币: 113.2
帖子: 281
在线: 63.4小时
虫号: 360694

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模型的自动转换，构建一体化的验证与分析框架。
获资助单位北京航空航天大学(项目负责人)

赞一下