支持運(yùn)行監(jiān)控的可信軟件體系結(jié)構(gòu)設(shè)計(jì)方法
資料介紹
近年來,軟件的可信性成為軟件質(zhì)量的焦點(diǎn),對(duì)軟件可信性的分析、度量和應(yīng)用支撐成為熱點(diǎn)問題.對(duì)軟件實(shí)施有效的監(jiān)控是提升軟件可信性的一種重要途徑.然而目前的研究工作主要集中在軟件編碼以及相關(guān)技術(shù)的實(shí)現(xiàn)層,缺乏一套系統(tǒng)的軟件體系結(jié)構(gòu)設(shè)計(jì)方法以指導(dǎo)、支持運(yùn)行監(jiān)控的可信軟件的分析和設(shè)計(jì).通過引入面向側(cè)面的軟件體系結(jié)構(gòu)設(shè)計(jì)方法及其相關(guān)概念,文中提出一種支持運(yùn)行監(jiān)控的可信軟件體系結(jié)構(gòu)設(shè)計(jì)方法.在支持運(yùn)行監(jiān)控的可信軟件構(gòu)造模型TSCM的基礎(chǔ)上,利用一種面向側(cè)面的體系結(jié)構(gòu)描述語言AC2 ADL描述具有監(jiān)控能力的軟件體系結(jié)構(gòu),試圖為分析和設(shè)計(jì)具有監(jiān)控能力的系統(tǒng)的軟件體系結(jié)構(gòu)提供一種有效的解決方案.通過結(jié)合網(wǎng)上拍賣系統(tǒng)的案例展示該方法的主要步驟和結(jié)果,討論了研究中存在的問題和進(jìn)一步的工作.
- 《抑制開關(guān)磁阻電機(jī)振動(dòng)的結(jié)構(gòu)設(shè)計(jì)研究》pdf 3次下載
- 英特爾64和IA-32體系結(jié)構(gòu)軟件開發(fā)人員手冊(cè) 5次下載
- 軟件無線電的體系結(jié)構(gòu) 12次下載
- 軟件無線電的體系結(jié)構(gòu)總結(jié) 9次下載
- 軟件無線電的體系結(jié)構(gòu)講解 9次下載
- SCA軟件通信體系結(jié)構(gòu)的核心框架和使用說明 66次下載
- 一種基于體系結(jié)構(gòu)模板的粗粒度可重構(gòu)SoC設(shè)計(jì)方法 0次下載
- 軟件體系結(jié)構(gòu)的分析 15次下載
- 基于SIMD體系結(jié)構(gòu)的指令級(jí)并行結(jié)構(gòu)設(shè)計(jì) 12次下載
- 面向可維護(hù)性的軟件體系結(jié)構(gòu)設(shè)計(jì) 1次下載
- 嵌入式DSP處理器的體系結(jié)構(gòu)設(shè)計(jì)
- 基于UML 的C4ISR 體系結(jié)構(gòu)設(shè)計(jì)過程
- 基于構(gòu)件運(yùn)算的軟件體系結(jié)構(gòu)設(shè)計(jì)方法
- Agent系統(tǒng)軟件體系結(jié)構(gòu)形式化建模方法
- 軟件無線電體系結(jié)構(gòu)研究
- GPGPU體系結(jié)構(gòu)優(yōu)化方向(1) 313次閱讀
- 嵌入式微處理器的體系結(jié)構(gòu) 1010次閱讀
- 機(jī)械結(jié)構(gòu)設(shè)計(jì)解決方案 1530次閱讀
- 基于ML的異構(gòu)金屬材料結(jié)構(gòu)設(shè)計(jì)及性能預(yù)測(cè) 1550次閱讀
- Tesla充電口結(jié)構(gòu)設(shè)計(jì)的變化 1072次閱讀
- 變頻電動(dòng)機(jī)結(jié)構(gòu)設(shè)計(jì)注意事項(xiàng) 4433次閱讀
- 米爾科技ARM體系結(jié)構(gòu)與編程介紹 2057次閱讀
- 氣體報(bào)警控制器產(chǎn)品結(jié)構(gòu)設(shè)計(jì)中的EMC缺陷分析 1067次閱讀
- 采用ARM和CPLD結(jié)構(gòu)的檢測(cè)系統(tǒng)可重構(gòu)設(shè)計(jì)方法 2259次閱讀
- 一個(gè)簡化的PCIe總線體系結(jié)構(gòu) 5540次閱讀
- 淺談ARM處理器的特點(diǎn)和體系結(jié)構(gòu) 1.7w次閱讀
- 幾類器件慎重采用串并聯(lián)結(jié)構(gòu)設(shè)計(jì) 6894次閱讀
- 淺談面板燈結(jié)構(gòu)設(shè)計(jì)及注意事項(xiàng) 3543次閱讀
- ADSS光纜結(jié)構(gòu)設(shè)計(jì)與施工問題的探討 2655次閱讀
- 一種基于B/S結(jié)構(gòu)與C/S結(jié)構(gòu)結(jié)合的新體系結(jié)構(gòu) 1292次閱讀
下載排行
本周
- 1PC3103 低功耗電流模式PWM控制器技術(shù)手冊(cè)
- 1.23 MB | 3次下載 | 免費(fèi)
- 2L7805CV TO-220三端穩(wěn)壓IC規(guī)格書
- 0.71 MB | 1次下載 | 免費(fèi)
- 3LoRa2021 全頻段無線通訊模塊規(guī)格書
- 814.22 KB | 1次下載 | 免費(fèi)
- 4L7812CV TO-220三端穩(wěn)壓IC規(guī)格書
- 1.35 MB | 次下載 | 免費(fèi)
- 5L7815CV TO-220三端穩(wěn)壓IC規(guī)格書
- 1.48 MB | 次下載 | 免費(fèi)
- 6N-12電子傾斜儀指南
- 0.24 MB | 次下載 | 10 積分
- 7基于CP500S掃描測(cè)頭的三坐標(biāo)測(cè)量系統(tǒng):復(fù)雜曲面零件解決方案
- 0.35 MB | 次下載 | 免費(fèi)
- 8STM32H747xI/G 英文數(shù)據(jù)手冊(cè)
- 5.09 MB | 次下載 | 免費(fèi)
本月
- 1PFC電路與BOOST電路設(shè)計(jì)實(shí)例分享
- 1.83 MB | 18次下載 | 4 積分
- 2電源測(cè)試報(bào)告-基于 國民技術(shù) N32L406 和杰華特 JW3376+3330 的 BMS 方案
- 6.47 MB | 17次下載 | 免費(fèi)
- 3世平基于靈動(dòng)微 SPIN560C 的低壓無刷電機(jī)應(yīng)用方案
- 10.93 MB | 11次下載 | 免費(fèi)
- 4900MHz全雙工無線發(fā)射器參考設(shè)計(jì)原理圖資料
- 0.40 MB | 6次下載 | 免費(fèi)
- 5PWM控制器的控制方法
- 0.39 MB | 3次下載 | 4 積分
- 6900MHz全雙工無線發(fā)射器參考設(shè)計(jì)
- 0.15 MB | 3次下載 | 1 積分
- 7美的電磁爐TM-S1-20B PN8124F+CHK S009資料圖
- 0.28 MB | 3次下載 | 10 積分
- 8FS313B USB 的 PD和QC 快充協(xié)議電壓誘騙控制器規(guī)格書
- 2.61 MB | 3次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935134次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420064次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233089次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191424次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183352次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81602次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73819次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65991次下載 | 10 積分
電子發(fā)燒友App






創(chuàng)作
發(fā)文章
發(fā)帖
提問
發(fā)資料
發(fā)視頻
上傳資料賺積分
評(píng)論