The ELISA Workshop: Functional Safety at Xen Project
Written by George Dunlap, Xen Project Advisory Board Chair Tailored versions of Xen Hypervisor have been used in mission-critical systems for years, but this was never the case for Xen’s...
elisaproject
Second ELISA Workshop in September 2019
The second ELISA Workshop is planned for: Date: 2019-09-16 and 2019-09-17 Time: 9:00 to 17:30 BST (breakfast available at 8:00 and lunch provided) Venue (Changed): Crick Room, University Arms (https://universityarms.com/)...
Open Source Software in Safety-Critical Systems Summit
We’re excited to announce Open Source Software in Safety-Critical Systems Summit will be happening on October 31, 2019 in Lyon, France. Registration is open be sure to add this conference as a...
Three Google Summer of Code students accepted to contribute to Linux kernel verification
The project proposals of three Google Summer of Code students contributing to Linux kernel verification have been accepted. The three students, Isaac Avram (Izzy) , Mark Balantzyan, and Himanshu Jha...
The ELISA Project Participates in Google Summer of Code
The ELISA Project is looking for interested students to contribute to the activities to enable the use of the Linux kernel in safety-critical systems in the Google Summer of Code...