Tuesday, 14 April 2020 00:18

Data61, seL4 developers create seL4 Foundation to enable ‘safer, more secure, more reliable’ computing systems Featured

By

Data61, the digital arm of Australia’s national science agency, CSIRO, has announced the creation of the seL4 Foundation, a not-for-profit organisation aimed at accelerating the development of the seL4 microkernel and related technologies.

Data61 claims seL4 as the world's first operating system (OS) kernel that is mathematically proved secure, and is the world’s “fastest and most advanced OS microkernel”.

Describing the kernel as “the piece of software that runs at the core of any computer system and is responsible for ensuring overall security, safety and reliability”, Data61 says seL4's growing list of deployments range from defence systems to autonomous air and ground vehicles, safeguarding them from cyber threats.

Data61 says the seL4 Foundation will provide a global, independent and neutral organisation for funding and steering the future evolution of seL4 and, importantly, it will be a forum for developers and researchers to collaborate on growing and integrating the seL4 ecosystem, to maximise seL4’s benefits to critical systems across industry sectors around the world.

Dr June Andronick, Leader of Trustworthy Systems at CSIRO’s Data61 said, "seL4 is a game changer for safety or security-critical systems; it forms a dependable base for building a trustworthy software stack. We are taking this step to increase participation from the seL4 community, to aid further adoption and provide a sustainable, long-term trajectory for seL4. We are impressed with the strong support for this move from developers and adopters around the world."

Data61 says the original developers of seL4 will remain highly engaged in steering the direction of the technology.

Scientia Professor Gernot Heiser from UNSW Sydney and CSIRO’s Data61 said, “This is about taking the seL4 ecosystem to the next level. While broadening the community of contributors and adopters, CSIRO Australia’s National Science Agency at Trustworthy Systems we will continue to drive the kernel's evolution and the research that ensures it will remain the world's most advanced OS technology."

Founding members of the seL4 Foundation, set up under the umbrella of the Linux Foundation, are CSIRO's Data61, UNSW Sydney, HENSOLDT Cyber GmbH, Ghost Locomotion Inc, Cog Systems Inc, and DornerWorks Ltd.

Data61 announced that Gernot Heiser (as Chair) and June Andronick serve on the initial governing board together with Gerwin Klein, Chief Principal Research Scientist, CSIRO’s Data61, who led the original seL4 verification and leads verification research in the Trustworthy Systems group.

Also on the Board is Dr John Launchbury, who was the program manager of the DARPA funded HACMS program that put seL4 on real-world unmanned helicopters, demonstrating protection against cyber attacks, and then became Director of DARPA’s Information Innovation Office, before re-joining Galois Inc.

“They are joined by representatives of two major adopters of seL4: Sascha Kegreiß, Chief Technology Officer of HENSOLDTCyber, a Munich-based company which develops embedded IT products that meet the highest security requirements, combining an operating system based on verified seL4 with a RISC-V processor that is protected from supply-chain attacks.,” says Data61.

“Finally, Dr Daniel Potts, Engineering Director of Ghost Locomotion, a California-based company which is converting cars to drive themselves, using seL4 to keep them safe. The directors are united in their desire to see seL4 secure the critical systems of the future.”


BACK TO HOME PAGE

NEW OFFER - ITWIRE LAUNCHES PROMOTIONAL NEWS & CONTENT

Recently iTWire remodelled and relaunched how we approach "Sponsored Content" and this is now referred to as "Promotional News and Content”.

This repositioning of our promotional stories has come about due to customer focus groups and their feedback from PR firms, bloggers and advertising firms.

Your Promotional story will be prominently displayed on the Home Page.

We will also provide you with a second post that will be displayed on every page on the right hand side for at least 6 weeks and also it will appear for 4 weeks in the newsletter every day that goes to 75,000 readers twice daily.

POST YOUR NEWS ON ITWIRE NOW!

INVITE DENODO EXECUTIVE VIRTUAL ROUNDTABLE 9/7/20 1:30 PM AEST

CLOUD ADOPTION AND CHALLENGES

Denodo, the leader in data virtualisation, has announced a debate-style three-part Experts Roundtable Series, with the first event to be hosted in the APAC region.

The round table will feature high-level executives and thought leaders from some of the region’s most influential organisations.

They will debate the latest trends in cloud adoption and technologies altering the data management industry.

The debate will centre on the recently-published Denodo 2020 Global Cloud Survey.

To discover more and register for the event, please click the button below.

REGISTER HERE!

BACK TO HOME PAGE
Peter Dinham

Peter Dinham - retired and is a "volunteer" writer for iTWire. He is a veteran journalist and corporate communications consultant. He has worked as a journalist in all forms of media – newspapers/magazines, radio, television, press agency and now, online – including with the Canberra Times, The Examiner (Tasmania), the ABC and AAP-Reuters. As a freelance journalist he also had articles published in Australian and overseas magazines. He worked in the corporate communications/public relations sector, in-house with an airline, and as a senior executive in Australia of the world’s largest communications consultancy, Burson-Marsteller. He also ran his own communications consultancy and was a co-founder in Australia of the global photographic agency, the Image Bank (now Getty Images).

BACK TO HOME PAGE

Webinars & Events

VENDOR NEWS

REVIEWS

Comments