軌道交通信息系統(tǒng)及其設(shè)備專項(xiàng)檢測(cè)

服務(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)檢測(cè)包括：高速鐵路、城市軌道交通、普通火車(chē)列、有軌電車(chē)、城市快速公交（BRT）、地鐵等信號(hào)系統(tǒng)、安全保障系統(tǒng)、控制系統(tǒng)、制動(dòng)系統(tǒng)、指揮系統(tǒng)等，及其零部件的嵌入式產(chǎn)品。

軟件檢測(cè)服務(wù)中心，具備針對(duì)不同軟件特點(diǎn)，提供制定軟件工程化管理過(guò)程標(biāo)準(zhǔn)規(guī)范、實(shí)施軟件過(guò)程質(zhì)量監(jiān)督服務(wù)的能力；

Ø 具備針對(duì)不同行業(yè)、領(lǐng)域軟件產(chǎn)品進(jìn)行軟件測(cè)評(píng)、質(zhì)量檢驗(yàn)服務(wù)的能力；

Ø 具備自主研發(fā)、集成構(gòu)建軟件工程化管理和測(cè)試工具環(huán)境的能力；

Ø 擁有一支由國(guó)內(nèi)知名軟件工程化管理和測(cè)評(píng)學(xué)科帶頭人牽頭，既具有扎實(shí)理論基礎(chǔ)又具有豐富實(shí)踐經(jīng)驗(yàn)的技術(shù)團(tuán)隊(duì)，確立了國(guó)內(nèi)領(lǐng)先地位。

服務(wù)內(nèi)容和方式

Ø 提供軌道交通領(lǐng)域系統(tǒng)軟件工程化服務(wù)；

Ø 提供軌道交通領(lǐng)域系統(tǒng)安全性評(píng)估的方法和技術(shù)；

Ø 提供軌道交通領(lǐng)域產(chǎn)品研制階段技術(shù)評(píng)審服務(wù)；

Ø 軟件測(cè)評(píng)服務(wù)；

Ø 資源租賃服務(wù)。

軟件工程化服務(wù)

Ø 針對(duì)軌道交通領(lǐng)域特點(diǎn)，提供融合CMMI過(guò)程管理框架的軟件工程化管理體系和規(guī)范；

Ø 提供軌道交通軟件研制全生命周期的軟件質(zhì)量監(jiān)督服務(wù)；

Ø 提供軌道交通軟件研制全生命周期的軟件質(zhì)量保證服務(wù)；

Ø 定制符合軌道交通相關(guān)歐標(biāo)的軟件研制技術(shù)文檔模板；

Ø 提供符合軌道交通領(lǐng)域軟件安全性編程規(guī)范和指南；

Ø 提供工程化管理過(guò)程標(biāo)準(zhǔn)規(guī)范、技術(shù)文檔使用過(guò)程中的培訓(xùn)、輔導(dǎo)等；

系統(tǒng)安全性評(píng)估咨詢服務(wù)

Ø 提供軌道交通領(lǐng)域系統(tǒng)安全性評(píng)估的方法和技術(shù)

Ø 提供劃分安全性設(shè)計(jì)技術(shù)；

Ø 提供多版本非相識(shí)軟件安全性設(shè)計(jì)技術(shù)；

Ø 提供安全性監(jiān)控設(shè)計(jì)技術(shù)；

劃分安全性設(shè)計(jì)技術(shù)

Ø 劃分是在功能上獨(dú)立的軟件部件之間提供隔離的技術(shù)，以確定和/或隔離故障，并潛在地減少軟件驗(yàn)證過(guò)程的工作量。如果通過(guò)劃分提供了保護(hù)，那么對(duì)每一個(gè)劃分的軟件等級(jí)，可使用與那個(gè)部件相關(guān)的最嚴(yán)重的失效狀態(tài)類別來(lái)確定。

Ø 提供劃分的指南；對(duì)劃分的指南包括：

Øa. 當(dāng)設(shè)計(jì)了劃分保護(hù)時(shí)，要考慮系統(tǒng)的下列方面，以確定它們是否防礙了那個(gè)保護(hù)：

（1）硬件資源 處理器、存儲(chǔ)器設(shè)備、輸入 / 輸出設(shè)備、中斷和定時(shí)器；

（2）控制耦合器 外部存取易損性；

（3）數(shù)據(jù)耦合器 共享或重復(fù)占位數(shù)據(jù)，包括堆棧和處理器寄存器；

（4）與保護(hù)機(jī)制相關(guān)的硬件設(shè)備的失效模式。

劃分安全性設(shè)計(jì)技術(shù)

Øb.軟件生存周期過(guò)程要表明劃分的設(shè)計(jì)考慮，包括劃分的部件之間允許的內(nèi)部連接的程度和范圍，無(wú)論保護(hù)是通過(guò)硬件還是通過(guò)軟件和硬件的組合來(lái)實(shí)現(xiàn)的。

Øc.如果劃分保護(hù)涉及到軟件，那么軟件的等級(jí)要與劃分的軟件部件的最高等級(jí)相對(duì)應(yīng)。

多版本非相似軟件安全性設(shè)計(jì)技術(shù)；

Ø 多版本非相似軟件是系統(tǒng)設(shè)計(jì)技術(shù)，它涉及到產(chǎn)生兩個(gè)或更多的軟件部件。這些部件以可在部件間避免某些共同錯(cuò)誤源的方式提供同樣的功能。

多版本非相似軟件也稱為多版本軟件、非相似軟件、N 版本程序設(shè)計(jì)或軟件多樣性。

安全性監(jiān)控設(shè)計(jì)技術(shù)；

Ø 安全性監(jiān)控是通過(guò)直接檢測(cè)可能引起失效狀態(tài)的功能失效而防止具體失效狀態(tài)的一種手段。監(jiān)控功能可通過(guò)硬件、軟件或硬件和軟件的組合來(lái)實(shí)現(xiàn)。

Ø 通過(guò)監(jiān)控技術(shù)的使用，所監(jiān)控的功能的軟件等級(jí)可以降低到與其相關(guān)的系統(tǒng)功能的失效相應(yīng)的等級(jí)。為了允許這個(gè)等級(jí)的降低，要確定三個(gè)重要的屬性：

Øa.軟件等級(jí) 安全性監(jiān)控軟件的軟件等級(jí)要與被監(jiān)控功能的最嚴(yán)重的失效狀態(tài)類別相對(duì)應(yīng)。

Øb.系統(tǒng)故障范圍 監(jiān)控器的系統(tǒng)故障范圍的評(píng)估要確保監(jiān)控器的設(shè)計(jì)和實(shí)施能使想要檢測(cè)的故障在所有必要的條件下得以檢測(cè)。

Øc.功能和監(jiān)控器的獨(dú)立性 監(jiān)控器和防護(hù)措施不會(huì)由于引起這種危害的同一失效狀態(tài)而不予動(dòng)作。

軌道交通領(lǐng)域產(chǎn)品研制階段技術(shù)評(píng)審服務(wù)

Ø 針對(duì)軌道交通領(lǐng)域特點(diǎn)，提供軟件研制全生命周期的技術(shù)評(píng)審咨詢服務(wù)；

Ø 提供適用于軌道交通領(lǐng)域軟件研制全生命周期的檢查單；

Ø 參與系統(tǒng)/軟件安全性分析設(shè)計(jì)階段評(píng)審；

Ø 參與軟件需求分析階段評(píng)審；

Ø 參與軟件設(shè)計(jì)階段評(píng)審；

Ø 參與軟件驗(yàn)證階段評(píng)審；

Ø 參與軟件確認(rèn)階段評(píng)審；

軟件測(cè)評(píng)服務(wù)

Ø 針對(duì)軌道交通領(lǐng)域特點(diǎn)，提供遵循EN50128標(biāo)準(zhǔn)的測(cè)試解決方案，具體包括方法、技術(shù)、工具或等價(jià)的替代方案

Ø 提供符合EN50128的軟件模塊測(cè)試

Ø 提供符合EN50128的軟件集成測(cè)試

Ø 提供軟件確認(rèn)測(cè)試

Ø 提供軟件/硬件集成測(cè)試

Ø 對(duì)于影響系統(tǒng)安全性的重要模塊進(jìn)行形式化驗(yàn)證服務(wù)（依托我所的國(guó)家可信嵌入式軟件工程技術(shù)中心實(shí)施）提供符合歐標(biāo)的全套測(cè)試技術(shù)文檔；

資源租賃服務(wù)

Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的需求分析、建模環(huán)境的

租賃服務(wù)；

Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的開(kāi)發(fā)平臺(tái)的租賃服務(wù)；

Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的設(shè)計(jì)平臺(tái)的租賃服務(wù)；

Ø 提供面向高安全關(guān)鍵嵌入式軟件領(lǐng)域的驗(yàn)證環(huán)境的租賃服務(wù)。