領先鐵路信號公司環球信號有限公司,與負責開發品質管理及安全認證Rust工具鏈的Ferrocene團隊,今日宣布合作,開發首個符合EN 50716標準的Rust鐵路認證方案。目標是為在安全關鍵鐵路應用中使用Rust程式語言,建立認證途徑。
環球信號有限公司於2022年成立,旨在透過嶄新架構及項目方法,為數碼鐵路信號產品的性能帶來重大轉變。這些獨特方法可於數天內完成交付,而非鐵路行業慣常的數十年。
祝賀這次新合作!負責Ferrocene的董事總經理費利克斯·吉爾徹與Universal Signalling行政總裁史蒂芬·赫德,慶祝他們合作開發首個基於Rust的鐵路認證套件。 AP圖片
環球信號有限公司的產品主要以Rust開發,並採用QNX安全操作系統。Ferrocene團隊將提供Rust整合層,令環球信號有限公司的應用程式可存取QNX功能。他們亦會為Ferrocene工具鏈及所需函式庫提供認證材料,以支援該公司根據EN 50716標準開發及認證高可靠性軟件。該認證方案,包括所有所需認證材料,預計將於即將發布的Ferrocene版本中交付。最終的認證方案將包含所有必要元素,以令首個基於Rust的鐵路產品獲得認證。
環球信號有限公司技術總監尼古拉斯·賴特博士表示:「Rust的獨特功能使其成為鐵路安全應用的顯然之選,但若無足夠認證及資格,便無法部署於實際應用。環球信號有限公司成立旨在為鐵路信號行業帶來重大創新,我們與Ferrocene團隊的合作夥伴關係便是最佳例子。我們正共同引領潮流,確保鐵路可利用最佳工具完成工作。」
Ferrocene董事總經理費利克斯·吉爾徹指出:「鐵路信號對軟件安全及可靠性有最嚴格要求,而Rust強大的記憶體安全特性使其自然契合。然而,在此環境中使用Rust不僅限於語言本身,更需要穩健、合資格的工具鏈及支援認證的流程。我們期待與環球信號有限公司合作,建立該基礎,並推動Rust在整個鐵路行業的應用。」
關於Ferrocene
Ferrocene於2019年在Ferrous Systems 有限公司啟動,旨在將Rust引入安全及任務關鍵行業。其後已發展成為品質管理、獲TÜV SÜD認證的開源Rust工具鏈。
Ferrocene已獲認證,可用於符合ISO 26262 (ASIL D)、IEC 61508 (SIL 3)及IEC 62304 (Class C)標準的安全相關開發,並支援客戶達致SIL 4及DO-178C (DAL C)的認證工作。經認證的核心子集適用於ISO 26262 (ASIL B)及IEC 61508 (SIL 2)。
Ferrocene在寬鬆的MIT或Apache 2.0許可證下提供,支援一系列合資格目標,包括Linux、QNX、紅帽車載操作系統、多種架構(例如Arm及x86-64)上的裸機,以及客戶要求的實時操作系統。定期重新認證令客戶可受惠於最新Rust功能,而開源認證文件則在開發安全關鍵系統時提供透明度及靈活性。
關於環球信號有限公司
環球信號有限公司總部設於英國鐵路行業核心打比。其經驗豐富的團隊多年來在全球從事鐵路工程、營運及產品開發,但對該行業創新及技術採納步伐緩慢感到沮喪。這促使他們於2022年成立自己的公司。短短數年間,他們已簽訂合約,在威爾斯超160公里的鐵路上安裝其嶄新技術,贏得多個創新獎項及行業榮譽,並開始收到來自全球的查詢。
(美聯社)