セキュリティに最適化されたseL4マイクロカーネルをLinux Foundationが支援

seL4 Foundationがあらゆるソフトウェアのセキュリティ、安全性、信頼性の促進を目指す

オープンソースを通じた大規模イノベーションの実現に取り組む非営利団体である Linux Foundation は 4月7日 (現地時間)、オーストラリアの国立科学機関CSIROのデジタル スペシャリスト部門であるData61が設立した非営利団体seL4 Foundationをホストすることを発表しました。

2020年4月7日 サンフランシスコ発 ー オープンソースを通じた大規模イノベーションの実現に取り組む非営利団体であるLinux Foundation ( https://www.linuxfoundation.jp/ ) は、オーストラリアの国立科学機関CSIROのデジタル スペシャリスト部門であるData61が設立した非営利団体seL4 Foundation ( https://sel4.systems/Foundation/About/ ) をホストすることを発表しました。seL4マイクロカーネルは安全性が証明された世界初のオペレーションシステム (OS) カーネルであり、実際の重要なコンピュータシステムのセキュリティ、安全性、信頼性を確保するように設計されています。

新しいseL4 Foundationは、seL4と関連技術の開発促進を目的としており、今後はLinux FoundationのもとseL4の将来の進化に資金を提供し舵取りをするためのグローバルで独立した中立的な組織を提供します。設立メンバーには、Cog Systems、DornerWorks、Ghost Locomotion、HENSOLD Cyber、UNSW Sydneyが名を連ねます。

組込みコンピューティング システムの信頼性は、サイバー脅威から世界中の重要システムを守るためのセキュリティ向上に欠かせないものです。これはアビオニクス、自動運転車、医療機器、重要インフラストラクチャ、防衛などの業界で特に重要になります。seL4マイクロカーネルは、実装の正しさが証明された世界初のオペレーティング システムであり、保証、汎用性、性能の比類のない組み合わせを提供し、セキュリティや安全性を重視したシステムを構築するための理想的な基盤となっています。seL4 Foundationは、開発者がseL4エコシステムの成長と統合でコラボレーションするためのフォーラムを提供します。

Linux Foundationの戦略プログラム担当バイス プレジデントであるMichael Dolanは、次のように述べています。
「Linux Foundationは、コミュニティ エンゲージメント、コントリビューター、アダプターを増やすための専門知識とサービスを提供し、OSエコシステムを次のレベルに引き上げる手助けをすることでseL4 Foundationとコミュニティを支援します。オープン ガバナンスとスタンダードベース モデルが、すぐにデプロイできセキュリティのために最適化されたオペレーティングシステムの発展を支援する中立的で成熟した信頼できるフレームワークを提供します。」

CSIRO Data61のTrustworthy Systems部門のリーダーであるDr June Andronick氏は、次のように述べています。
「seL4の持続可能で長期的な提供に向けたこの一歩に非常に興奮しています。Linux FoundationのもとでseL4 Foundationが成長し繁栄するのを心待ちにしています。」

新しいseL4 FoundationのチェアでUNSW Scientia教授であるGernot Heiser氏は、次のように述べています。
「Linux Foundationの支援のもと、私たちはseL4の採用者だけではなくコントリビューターのコミュニティも広げることができます。このことは私たちがseL4が最も先進的で安全なOS技術であり続けるための研究を継続することができる助けになります。」

seL4 Foundationに関する詳細は、https://sel4.systems/Foundation/ をご覧ください。

支援の声 (原文)

Cog Systems

“seL4 has set the new standard for high assurance for embedded solutions on connected devices,” said Carl L. Nerup, CEO of Cog Systems, Inc. “This enables us to deliver commercial solutions that meet the rigorous demands associated with formal verification to deliver a certified approach that meet the highest standard for safety & security in the market today.”

 DornerWorks

“The seL4 proof provides a secure foundation to answer the growing need for cyber-security.  By joining the seL4 Foundation, DornerWorks can do more to help accelerate customer adoption of seL4 as the trusted software base for their embedded products.  We’re looking forward to the future of seL4 kernel and tool development,” said Gregg Wildes, Innovation Leader and Partnership Manager, DornerWorks Ltd.

Ghost Locomotion

“Ghost is a self-driving system that integrates seamlessly into your current car. Designed to be safer than a human driver, Ghost will give you the power to fully disengage on the highway and focus on what matters to you. Nowhere is the pursuit of perfection more important than our highways and we are proud to join the seL4 community to make provably correct, safety-critical systems a reality for millions of daily commuters,” said Dr Daniel Potts, Ghost Locomotion Inc.

 HENSOLDT Cyber

“We strongly believe in the benefits of open source software for critical IT systems in order to foster the development of one of the most important security assets,” said Sascha Kegreiß, CTO of HENSOLDT Cyber. “We provide our expertise to a community, which uses combined forces of different professionals from all over the world to strengthen the development of seL4. we were excited to become part of the seL4 Foundation.”

John Launchbury

“In system security, seL4 is one-of-a-kind. COVID-19 has taught us all the value of “distancing” in keeping any kind of system healthy and secure. That’s what microkernels like seL4 do for software. What makes seL4 unique is that we know with mathematical certainty that the seL4 code implements its “distancing” specification with ZERO functionality bugs. That it does so without a performance hit is doubly astonishing. I am eagerly anticipating seeing more and more system builders incorporate it to increase their digital security, and I’m confident that the seL4 foundation has been well structured to be effective in curating the ongoing open source development of seL4,” said John Launchbury, Galois, Formerly DARPA I2O Director.

Linux Foundationについて

2000年に設立されたLinux Foundationは、1,000を超えるメンバーによってサポートされており、オープンソース ソフトウェア、オープン スタンダード、オープン データ、およびオープン ハードウェアに関するコラボレーションにおいて世界をリードしています。Linux、Kubernetes、Node.jsをはじめとするLinux Foundationのプロジェクトは、世界のインフラに必要不可欠な存在です。Linux Foundationは、ベスト プラクティスを活用し、貢献者、ユーザー、およびソリューション プロバイダーのニーズに対応することにより、サステナブルなオープン コラボレーション モデルを生み出します。詳細については、www.linuxfoundation.org をご覧ください。

###

The Linux Foundation はさまざまな商標を登録および使用しています。The Linux Foundation の商標一覧はこちらのページ ( https://www.linuxfoundation.jp/trademark-usage/ ) でご確認いただけます。

Linux は Linus Torvalds の登録商標です。