seL4 Foundation
Memberships
HENSOLDT Cyber participates as a responsible member in different foundations and alliances to be part of important technological and industrial communities.
We are taking an exciting step to expand the seL4 community, by setting up an seL4 Foundation, similar to foundations for other open-source projects, such as Linux and RISC-V. This will form an open, transparent and neutral organisation tasked with growing the seL4 ecosystem. It will bring together developers of the seL4 kernel, developers of seL4-based components and frameworks, and those adopting seL4 in real-world systems. Its focus will be on coordinating, directing and standardising development of the seL4 ecosystem in order to reduce barriers to adoption, raising funds for accelerating development, and ensuring clarity of verification claims.
OpenHW Group
OpenHW Group is a not-for-profit, global organization driven by its members and individual contributors where hardware and software designers collaborate in the development of open-source cores, related IP, tools and software. OpenHW provides an infrastructure for hosting high quality open-source HW developments in line with industry best practices.
Sicherheitsnetzwerk München e.V.
Bavaria, and the Greater Munich area in particular, has a critical mass of IT security companies and research institutions that are already closely integrated. The “Munich Security Network” has been commissioned by the Bavarian Ministry of Economic Affairs since October 1, 2012 to expand and intensify this network. Currently, approximately 900 people from around 140 organizations (companies, research institutions, associations, etc.) are involved in the Munich Security Network. The Munich Security Network is currently a project at the Center for Digitization in Bavaria and is part of the Cybersecurity platform.
Open Industry 4.0 Alliance
By joining our alliance, manufacturers and providers of Industry 4.0 solutions and services worldwide can collectively help their customers to successfully transition to the industrial internet of things. Thanks to new synergies, Open Industry 4.0 Alliance members master Industry 4.0 – and enable operators to take business to the next level.
Cluster Mechatronik & Automation e.V.
Cluster Mechatronik & Automation is a stage and forum for defining and conducting measures concerning progress of mechatronics and it’s related areas. Active communication between science and economy ensures quality and safety of developments and is thereby contributing to the economy’s advancement.
LINUX Foundation
The Linux Foundation supports the creation of sustainable open source ecosystems by providing financial and intellectual resources, infrastructure, services, events, and training. Working together, The Linux Foundation and its projects form the most ambitious and successful investment in the creation of shared technology.