資料介紹
近年來,軟件的可信性成為軟件質(zhì)量的焦點,對軟件可信性的分析、度量和應用支撐成為熱點問題.對軟件實施有效的監(jiān)控是提升軟件可信性的一種重要途徑.然而目前的研究工作主要集中在軟件編碼以及相關(guān)技術(shù)的實現(xiàn)層,缺乏一套系統(tǒng)的軟件體系結(jié)構(gòu)設(shè)計方法以指導、支持運行監(jiān)控的可信軟件的分析和設(shè)計.通過引入面向側(cè)面的軟件體系結(jié)構(gòu)設(shè)計方法及其相關(guān)概念,文中提出一種支持運行監(jiān)控的可信軟件體系結(jié)構(gòu)設(shè)計方法.在支持運行監(jiān)控的可信軟件構(gòu)造模型TSCM的基礎(chǔ)上,利用一種面向側(cè)面的體系結(jié)構(gòu)描述語言AC2 ADL描述具有監(jiān)控能力的軟件體系結(jié)構(gòu),試圖為分析和設(shè)計具有監(jiān)控能力的系統(tǒng)的軟件體系結(jié)構(gòu)提供一種有效的解決方案.通過結(jié)合網(wǎng)上拍賣系統(tǒng)的案例展示該方法的主要步驟和結(jié)果,討論了研究中存在的問題和進一步的工作.
- 《抑制開關(guān)磁阻電機振動的結(jié)構(gòu)設(shè)計研究》pdf 3次下載
- 英特爾64和IA-32體系結(jié)構(gòu)軟件開發(fā)人員手冊 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è)計方法 0次下載
- 軟件體系結(jié)構(gòu)的分析 15次下載
- 基于SIMD體系結(jié)構(gòu)的指令級并行結(jié)構(gòu)設(shè)計 12次下載
- 面向可維護性的軟件體系結(jié)構(gòu)設(shè)計 1次下載
- 嵌入式DSP處理器的體系結(jié)構(gòu)設(shè)計
- 基于UML 的C4ISR 體系結(jié)構(gòu)設(shè)計過程
- 基于構(gòu)件運算的軟件體系結(jié)構(gòu)設(shè)計方法
- Agent系統(tǒng)軟件體系結(jié)構(gòu)形式化建模方法
- 軟件無線電體系結(jié)構(gòu)研究
- 嵌入式微處理器的體系結(jié)構(gòu) 600次閱讀
- 機械結(jié)構(gòu)設(shè)計解決方案 1034次閱讀
- 基于ML的異構(gòu)金屬材料結(jié)構(gòu)設(shè)計及性能預測 1137次閱讀
- Tesla充電口結(jié)構(gòu)設(shè)計的變化 879次閱讀
- 變頻電動機結(jié)構(gòu)設(shè)計注意事項 4098次閱讀
- 米爾科技ARM體系結(jié)構(gòu)與編程介紹 1884次閱讀
- 氣體報警控制器產(chǎn)品結(jié)構(gòu)設(shè)計中的EMC缺陷分析 991次閱讀
- 采用ARM和CPLD結(jié)構(gòu)的檢測系統(tǒng)可重構(gòu)設(shè)計方法 2170次閱讀
- 一個簡化的PCIe總線體系結(jié)構(gòu) 5414次閱讀
- 淺談ARM處理器的特點和體系結(jié)構(gòu) 1.7w次閱讀
- 幾類器件慎重采用串并聯(lián)結(jié)構(gòu)設(shè)計 6759次閱讀
- 51單片機體系結(jié)構(gòu)初步分析 2670次閱讀
- 淺談面板燈結(jié)構(gòu)設(shè)計及注意事項 3353次閱讀
- ADSS光纜結(jié)構(gòu)設(shè)計與施工問題的探討 2494次閱讀
- 一種基于B/S結(jié)構(gòu)與C/S結(jié)構(gòu)結(jié)合的新體系結(jié)構(gòu) 1236次閱讀
下載排行
本周
- 1TC358743XBG評估板參考手冊
- 1.36 MB | 330次下載 | 免費
- 2開關(guān)電源基礎(chǔ)知識
- 5.73 MB | 6次下載 | 免費
- 3100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 4嵌入式linux-聊天程序設(shè)計
- 0.60 MB | 3次下載 | 免費
- 5基于FPGA的光纖通信系統(tǒng)的設(shè)計與實現(xiàn)
- 0.61 MB | 2次下載 | 免費
- 6基于FPGA的C8051F單片機開發(fā)板設(shè)計
- 0.70 MB | 2次下載 | 免費
- 751單片機窗簾控制器仿真程序
- 1.93 MB | 2次下載 | 免費
- 8基于51單片機的RGB調(diào)色燈程序仿真
- 0.86 MB | 2次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 2555集成電路應用800例(新編版)
- 0.00 MB | 33564次下載 | 免費
- 3接口電路圖大全
- 未知 | 30323次下載 | 免費
- 4開關(guān)電源設(shè)計實例指南
- 未知 | 21548次下載 | 免費
- 5電氣工程師手冊免費下載(新編第二版pdf電子書)
- 0.00 MB | 15349次下載 | 免費
- 6數(shù)字電路基礎(chǔ)pdf(下載)
- 未知 | 13750次下載 | 免費
- 7電子制作實例集錦 下載
- 未知 | 8113次下載 | 免費
- 8《LED驅(qū)動電路設(shè)計》 溫德爾著
- 0.00 MB | 6653次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935054次下載 | 免費
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537796次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234315次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191185次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183278次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138040次下載 | 免費
評論
查看更多