|
|
軌道交通信息系統(tǒng)及其設(shè)備專項(xiàng)檢測
服務(wù)熱線:400-669-0203 020-29178595 QQ:2557064750 2649046091 http://www.simou.net.cn/ http://www.innor.org/ http://www.softr.com.cn/
軌道交通信息系統(tǒng)及其設(shè)備專項(xiàng)檢測包括:高速鐵路、城市軌道交通、普通火車列、有軌電車、城市快速公交(BRT)、地鐵等信號系統(tǒng)、安全保障系統(tǒng)、控制系統(tǒng)、制動系統(tǒng)、指揮系統(tǒng)等,及其零部件的嵌入式產(chǎn)品。
軟件檢測服務(wù)中心,具備針對不同軟件特點(diǎn),提供制定軟件工程化管理過程標(biāo)準(zhǔn)規(guī)范、實(shí)施軟件過程質(zhì)量監(jiān)督服務(wù)的能力;
Ø 具備針對不同行業(yè)、領(lǐng)域軟件產(chǎn)品進(jìn)行軟件測評、質(zhì)量檢驗(yàn)服務(wù)的能力;
Ø 具備自主研發(fā)、集成構(gòu)建軟件工程化管理和測試工具環(huán)境的能力;
Ø 擁有一支由國內(nèi)知名軟件工程化管理和測評學(xué)科帶頭人牽頭,既具有扎實(shí)理論基礎(chǔ)又具有豐富實(shí)踐經(jīng)驗(yàn)的技術(shù)團(tuán)隊(duì),確立了國內(nèi)領(lǐng)先地位。
服務(wù)內(nèi)容和方式
Ø 提供軌道交通領(lǐng)域系統(tǒng)軟件工程化服務(wù);
Ø 提供軌道交通領(lǐng)域系統(tǒng)安全性評估的方法和技術(shù);
Ø 提供軌道交通領(lǐng)域產(chǎn)品研制階段技術(shù)評審服務(wù);
Ø 軟件測評服務(wù);
Ø 資源租賃服務(wù)。
軟件工程化服務(wù)
Ø 針對軌道交通領(lǐng)域特點(diǎn),提供融合CMMI過程管理框架的軟件工程化管理體系和規(guī)范;
Ø 提供軌道交通軟件研制全生命周期的軟件質(zhì)量監(jiān)督服務(wù);
Ø 提供軌道交通軟件研制全生命周期的軟件質(zhì)量保證服務(wù);
Ø 定制符合軌道交通相關(guān)歐標(biāo)的軟件研制技術(shù)文檔模板;
Ø 提供符合軌道交通領(lǐng)域軟件安全性編程規(guī)范和指南;
Ø 提供工程化管理過程標(biāo)準(zhǔn)規(guī)范、技術(shù)文檔使用過程中的培訓(xùn)、輔導(dǎo)等;
系統(tǒng)安全性評估咨詢服務(wù)
Ø 提供軌道交通領(lǐng)域系統(tǒng)安全性評估的方法和技術(shù)
Ø 提供劃分安全性設(shè)計技術(shù);
Ø 提供多版本非相識軟件安全性設(shè)計技術(shù);
Ø 提供安全性監(jiān)控設(shè)計技術(shù);
劃分安全性設(shè)計技術(shù)
Ø 劃分是在功能上獨(dú)立的軟件部件之間提供隔離的技術(shù),以確定和/或隔離故障,并潛在地減少軟件驗(yàn)證過程的工作量。如果通過劃分提供了保護(hù),那么對每一個劃分的軟件等級,可使用與那個部件相關(guān)的最嚴(yán)重的失效狀態(tài)類別來確定。
Ø 提供劃分的指南;對劃分的指南包括:
Øa. 當(dāng)設(shè)計了劃分保護(hù)時,要考慮系統(tǒng)的下列方面,以確定它們是否防礙了那個保護(hù):
(1)硬件資源 處理器、存儲器設(shè)備、輸入 / 輸出設(shè)備、中斷和定時器;
(2)控制耦合器 外部存取易損性;
(3)數(shù)據(jù)耦合器 共享或重復(fù)占位數(shù)據(jù),包括堆棧和處理器寄存器;
(4)與保護(hù)機(jī)制相關(guān)的硬件設(shè)備的失效模式。
劃分安全性設(shè)計技術(shù)
Øb.軟件生存周期過程要表明劃分的設(shè)計考慮,包括劃分的部件之間允許的內(nèi)部連接的程度和范圍,無論保護(hù)是通過硬件還是通過軟件和硬件的組合來實(shí)現(xiàn)的。
Øc.如果劃分保護(hù)涉及到軟件,那么軟件的等級要與劃分的軟件部件的最高等級相對應(yīng)。
多版本非相似軟件安全性設(shè)計技術(shù);
Ø 多版本非相似軟件是系統(tǒng)設(shè)計技術(shù),它涉及到產(chǎn)生兩個或更多的軟件部件。這些部件以可在部件間避免某些共同錯誤源的方式提供同樣的功能。
多版本非相似軟件也稱為多版本軟件、非相似軟件、N 版本程序設(shè)計或軟件多樣性。
安全性監(jiān)控設(shè)計技術(shù);
Ø 安全性監(jiān)控是通過直接檢測可能引起失效狀態(tài)的功能失效而防止具體失效狀態(tài)的一種手段。監(jiān)控功能可通過硬件、軟件或硬件和軟件的組合來實(shí)現(xiàn)。
Ø 通過監(jiān)控技術(shù)的使用,所監(jiān)控的功能的軟件等級可以降低到與其相關(guān)的系統(tǒng)功能的失效相應(yīng)的等級。為了允許這個等級的降低,要確定三個重要的屬性:
Øa.軟件等級 安全性監(jiān)控軟件的軟件等級要與被監(jiān)控功能的最嚴(yán)重的失效狀態(tài)類別相對應(yīng)。
Øb.系統(tǒng)故障范圍 監(jiān)控器的系統(tǒng)故障范圍的評估要確保監(jiān)控器的設(shè)計和實(shí)施能使想要檢測的故障在所有必要的條件下得以檢測。
Øc.功能和監(jiān)控器的獨(dú)立性 監(jiān)控器和防護(hù)措施不會由于引起這種危害的同一失效狀態(tài)而不予動作。
軌道交通領(lǐng)域產(chǎn)品研制階段技術(shù)評審服務(wù)
Ø 針對軌道交通領(lǐng)域特點(diǎn),提供軟件研制全生命周期的技術(shù)評審咨詢服務(wù);
Ø 提供適用于軌道交通領(lǐng)域軟件研制全生命周期的檢查單;
Ø 參與系統(tǒng)/軟件安全性分析設(shè)計階段評審;
Ø 參與軟件需求分析階段評審;
Ø 參與軟件設(shè)計階段評審;
Ø 參與軟件驗(yàn)證階段評審;
Ø 參與軟件確認(rèn)階段評審;
軟件測評服務(wù)
Ø 針對軌道交通領(lǐng)域特點(diǎn),提供遵循EN50128標(biāo)準(zhǔn)的測試解決方案,具體包括方法、技術(shù)、工具或等價的替代方案
Ø 提供符合EN50128的軟件模塊測試
Ø 提供符合EN50128的軟件集成測試
Ø 提供軟件確認(rèn)測試
Ø 提供軟件/硬件集成測試
Ø 對于影響系統(tǒng)安全性的重要模塊進(jìn)行形式化驗(yàn)證服務(wù)(依托我所的國家可信嵌入式軟件工程技術(shù)中心實(shí)施)提供符合歐標(biāo)的全套測試技術(shù)文檔;
資源租賃服務(wù)
Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的需求分析、建模環(huán)境的
租賃服務(wù);
Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的開發(fā)平臺的租賃服務(wù);
Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的設(shè)計平臺的租賃服務(wù);
Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的驗(yàn)證環(huán)境的租賃服務(wù)。