軌道交通信息系統及其設備專項檢測

軌道交通信息系統及其設備專項檢測

服務熱線：400-669-0203  020-29178595 QQ：2557064750  2649046091 http://www.simou.net.cn/ http://www.innor.org/ http://www.softr.com.cn/

軌道交通信息系統及其設備專項檢測包括：高速鐵路、城市軌道交通、普通火車列、有軌電車、城市快速公交（BRT）、地鐵等信號系統、安全保障系統、控制系統、制動系統、指揮系統等，及其零部件的嵌入式產品。

軟件檢測服務中心，具備針對不同軟件特點，提供制定軟件工程化管理過程標準規范、實施軟件過程質量監督服務的能力；

Ø 具備針對不同行業、領域軟件產品進行軟件測評、質量檢驗服務的能力；

Ø 具備自主研發、集成構建軟件工程化管理和測試工具環境的能力；

Ø 擁有一支由國內知名軟件工程化管理和測評學科帶頭人牽頭，既具有扎實理論基礎又具有豐富實踐經驗的技術團隊，確立了國內領先地位。

服務內容和方式

Ø 提供軌道交通領域系統軟件工程化服務；

Ø 提供軌道交通領域系統安全性評估的方法和技術；

Ø 提供軌道交通領域產品研制階段技術評審服務；

Ø 軟件測評服務；

Ø 資源租賃服務。

軟件工程化服務

Ø 針對軌道交通領域特點，提供融合CMMI過程管理框架的軟件工程化管理體系和規范；

Ø 提供軌道交通軟件研制全生命周期的軟件質量監督服務；

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

Ø 定制符合軌道交通相關歐標的軟件研制技術文檔模板；

Ø 提供符合軌道交通領域軟件安全性編程規范和指南；

Ø 提供工程化管理過程標準規范、技術文檔使用過程中的培訓、輔導等；

系統安全性評估咨詢服務

Ø 提供軌道交通領域系統安全性評估的方法和技術

Ø 提供劃分安全性設計技術；

Ø 提供多版本非相識軟件安全性設計技術；

Ø 提供安全性監控設計技術；

劃分安全性設計技術

Ø 劃分是在功能上獨立的軟件部件之間提供隔離的技術，以確定和/或隔離故障，并潛在地減少軟件驗證過程的工作量。如果通過劃分提供了保護，那么對每一個劃分的軟件等級，可使用與那個部件相關的最嚴重的失效狀態類別來確定。

Ø 提供劃分的指南；對劃分的指南包括：

Øa. 當設計了劃分保護時，要考慮系統的下列方面，以確定它們是否防礙了那個保護：

（1）硬件資源 處理器、存儲器設備、輸入 / 輸出設備、中斷和定時器；

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

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

（4）與保護機制相關的硬件設備的失效模式。

劃分安全性設計技術

Øb.軟件生存周期過程要表明劃分的設計考慮，包括劃分的部件之間允許的內部連接的程度和范圍，無論保護是通過硬件還是通過軟件和硬件的組合來實現的。

Øc.如果劃分保護涉及到軟件，那么軟件的等級要與劃分的軟件部件的最高等級相對應。

多版本非相似軟件安全性設計技術；

Ø 多版本非相似軟件是系統設計技術，它涉及到產生兩個或更多的軟件部件。這些部件以可在部件間避免某些共同錯誤源的方式提供同樣的功能。

多版本非相似軟件也稱為多版本軟件、非相似軟件、N 版本程序設計或軟件多樣性。

安全性監控設計技術；

Ø 安全性監控是通過直接檢測可能引起失效狀態的功能失效而防止具體失效狀態的一種手段。監控功能可通過硬件、軟件或硬件和軟件的組合來實現。

Ø 通過監控技術的使用，所監控的功能的軟件等級可以降低到與其相關的系統功能的失效相應的等級。為了允許這個等級的降低，要確定三個重要的屬性：

Øa.軟件等級 安全性監控軟件的軟件等級要與被監控功能的最嚴重的失效狀態類別相對應。

Øb.系統故障范圍 監控器的系統故障范圍的評估要確保監控器的設計和實施能使想要檢測的故障在所有必要的條件下得以檢測。

Øc.功能和監控器的獨立性 監控器和防護措施不會由于引起這種危害的同一失效狀態而不予動作。

軌道交通領域產品研制階段技術評審服務

Ø 針對軌道交通領域特點，提供軟件研制全生命周期的技術評審咨詢服務；

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

Ø 參與系統/軟件安全性分析設計階段評審；

Ø 參與軟件需求分析階段評審；

Ø 參與軟件設計階段評審；

Ø 參與軟件驗證階段評審；

Ø 參與軟件確認階段評審；

軟件測評服務

Ø 針對軌道交通領域特點，提供遵循EN50128標準的測試解決方案，具體包括方法、技術、工具或等價的替代方案

Ø 提供符合EN50128的軟件模塊測試

Ø 提供符合EN50128的軟件集成測試

Ø 提供軟件確認測試

Ø 提供軟件/硬件集成測試

Ø 對于影響系統安全性的重要模塊進行形式化驗證服務（依托我所的國家可信嵌入式軟件工程技術中心實施）提供符合歐標的全套測試技術文檔；

資源租賃服務

Ø 提供面向高安全關鍵嵌入式軟件領域的需求分析、建模環境的

租賃服務；

Ø 提供面向高安全關鍵嵌入式軟件領域的開發平臺的租賃服務；

Ø 提供面向高安全關鍵嵌入式軟件領域的設計平臺的租賃服務；

Ø 提供面向高安全關鍵嵌入式軟件領域的驗證環境的租賃服務。