seL4 and BEAM: A match made in Erlang | Ihor Kuz | Code BEAM America 2022

This video was recorded at Code BEAM America 2022 - https://codebeamamerica.com/

seL4 and BEAM: A match made in Erlang | Ihor Kuz - Operating system engineer @ Kry10 & seL4 TSC member

ABSTRACT
Erlang and Elixir are great languages for programming concurrent and fault-tolerant applications yet they still require BEAM to run them on real-world hardware. BEAM is a complex piece of software that leverages general purpose operating systems to enable concurrent applications to scale to incredible levels.
But what if you want to run Erlang or Elixir without an OS? Modern operating systems such as Linux are large and complex and can be the wrong choice to deploy on for embedded applications that prioritize security and robustness.
What would it take to run the open-source BEAM implementation in a freestanding environment with no external OS services but still presented a partial POSIX system interface? Would this implementation still allow for useful applications? What are the tradeoffs and what features do we need to give up? This talk tries to answer these questions by presenting a recent project that ported BEAM to a freestanding environment for ARMv7 application processors.

OBJECTIVE
Explain how the BEAM virtual machine can be run in a minimal self-hosted process environment without a runtime dependency on a large general-purpose operating system and discuss what tradeoffs are associated with this approach and why you would want to do this when seeking better security and robustness.

AUDIENCE
Embedded systems software developers as well as anyone else interested in understanding or removing various abstraction layers that sit between our high-level software and the physical machines that compute it.

• Timecodes
00:00 - 01:29 - Intro
01:30 - 04:41 - Connected Industrial Devices
04:42 - 09:06 - Achieving Security and Resilience
09:07 - 11:26 - seL4: Microkernel
11:27 - 16:25 - seL4: Formal Verification
16:26 - 22:22 - BEAM and seL4: Example
22:23 - 25:27 - BEAM Communication
25:28 - 26:23 - Summary and Future

• Follow us on social:
Twitter:   / codebeamio  
LinkedIn:   / 27159258  

• Looking for a unique learning experience?
Attend the next Code Sync conference near you!
See what's coming up at: https://codesync.global

• SUBSCRIBE TO OUR CHANNEL
   / @codesync  
See what's coming up at: https://codesync.global