国产欧美久久一区二区三区_AV资源每日更新网站_不卡在线播放一区二区三区_久久综合给合久久狠狠狠974_暴力强j激烈反抗AV_2021久久最新国产精品_野花视频官网_日韩一区二区三区免费_女同一区二区三区免费视频_婷婷精品免费久久久久久久

成果信息

本項(xiàng)目旨在開發(fā)一套實(shí)時(shí)嵌入式軟件的分析與測(cè)試工具(Analysis and Testing of Real-time Embedded System: ATRES)，方便用戶進(jìn)行實(shí)時(shí)嵌入式系統(tǒng)的開發(fā)。ATRES能夠?qū)?shí)時(shí)嵌入式系統(tǒng)的運(yùn)行進(jìn)行追蹤(Traceability)；重現(xiàn)實(shí)時(shí)嵌入式系統(tǒng)的歷史運(yùn)行記錄(Reproducibility)；分析系統(tǒng)中的競(jìng)態(tài)條件(Race Condition Analysis)；對(duì)實(shí)時(shí)嵌入式軟件進(jìn)行覆蓋測(cè)試(Software Testing)；支持VxWorks和uC/OS II等實(shí)時(shí)操作系統(tǒng)。)

背景介紹

實(shí)時(shí)嵌入式系統(tǒng)是一個(gè)具有實(shí)時(shí)與并發(fā)特性的系統(tǒng)，當(dāng)外界事件或數(shù)據(jù)產(chǎn)生時(shí)，能夠接受并以足夠快的速度予以處理，其處理的結(jié)果又能在規(guī)定的時(shí)間之內(nèi)來(lái)控制生產(chǎn)過程或?qū)μ幚硐到y(tǒng)作出快速響應(yīng)，并控制所有實(shí)時(shí)任務(wù)協(xié)調(diào)一致運(yùn)行的嵌入式操作系統(tǒng)。)

應(yīng)用前景

該技術(shù)可用于分析與測(cè)試基于VxWorks和uC/OS II等實(shí)時(shí)操作系統(tǒng)開發(fā)的實(shí)時(shí)嵌入式軟件，應(yīng)用范圍較廣，經(jīng)濟(jì)效益顯著。)