葡京娱乐场-富盈娱乐场开户_百家乐试玩_sz全讯网网址xb112 (中国)·官方网站

|
北京航空航天大學
北京航空航天大學 工業和信息化部
  • 19 高校采購信息
  • 298 科技成果項目
  • 1 創新創業項目
  • 0 高校項目需求

嵌入式實時系統建模驗證工具

2021-04-13 00:00:00
云上高博會 http://www.502d.xyz
關鍵詞: 系統建模
點擊收藏
所屬領域:
高端裝備制造
項目成果/簡介:

為了提高安全關鍵實時嵌入式軟件系統的質量,降低開發成本與周期,并使得軟件系統具有可重用、可移植和互操作等特性,基于目前國際標準體系結構描述語言AADL( Architecture Analysis and Design Language)和同步語言Signal,研發了輔助配套軟件工具集,可進行系統的可靠性、可調度性、安全性分析,以及自動代碼生成,從全生命周期的角度保證系統的可信性質。

本項目主要特點如下。

1.可以插件的形式集成在AADL開發平臺OSATE上,支持高可靠性實時系統的軟件設計建模;

2.可以提供集成開發環境,將AADL模型轉換為TASM模型和UPPAL模型,然后采用相關的模型分析和檢測工具進行驗證分析,包括可靠性、可調度性、時間屬性等分析;

3.可以支持基本的AADL到C,Signal到OpenMP的自動代碼生成技術。

目前該成果已指導多個關鍵實時系統的建模和驗證應用,獲得國家專利1項。


項目階段:
未應用
會員登錄可查看 合作方式、專利情況及聯系方式

掃碼關注,查看更多科技成果

取消
百家乐官网投注心得和技巧| 岳普湖县| 尊龙百家乐娱乐| 金沙百家乐官网娱乐城场| 合法赌博网站| 壤塘县| 立博百家乐官网的玩法技巧和规则| 反赌百家乐的玩法技巧和规则 | 狮威百家乐的玩法技巧和规则| 文山县| 百家乐打庄技巧| 百家乐真钱在线| 青岛棋牌室| 网上百家乐官网打牌| 大发888真人娱乐场游戏平台| 理塘县| 百家乐龙虎| 百家乐官网投注信用最好的| 盐津县| 海王星娱乐网| 江山百家乐官网的玩法技巧和规则 | 淘金盈开户| 百家乐手机软件| 鄂伦春自治旗| 定做百家乐官网桌子| 百家乐博娱乐网赌百家乐| 百家乐官网筹码方形筹码| 一直对百家乐很感兴趣.zibo太阳城娱乐城 | 百家乐官网趋势图怎么看| 新濠百家乐娱乐城| 百家乐官网游戏解码器| 大发888娱乐场官方下载| 綦江县| 百家乐国际娱乐场开户注册| 百家乐官网游戏资料网| 百家乐注册平台排名| 体育| 威尼斯人娱乐城官方网站| 长沙百家乐官网的玩法技巧和规则 | 彩票预测| 威尼斯人娱乐城惊喜|