YoVDO

seL4 and BEAM: Running Erlang Without an OS

Offered By: Code Sync via YouTube

Tags

Erlang Courses Embedded Systems Courses Elixir Courses Operating Systems Courses Fault Tolerance Courses Beams Courses Formal Verification Courses Microkernels Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Explore the integration of seL4 microkernel and BEAM virtual machine in this conference talk from Code BEAM America 2022. Dive into the potential of running Erlang and Elixir applications without a traditional operating system, focusing on enhanced security and robustness for embedded systems. Learn about the tradeoffs, challenges, and benefits of implementing BEAM in a freestanding environment for ARMv7 application processors. Gain insights into connected industrial devices, achieving security and resilience, seL4's microkernel architecture and formal verification, and practical examples of BEAM and seL4 integration. Understand the implications for embedded systems software development and the removal of abstraction layers between high-level software and physical machines.

Syllabus

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


Taught by

Code Sync

Related Courses

Embedded Systems - Shape The World: Microcontroller Input/Output
The University of Texas at Austin via edX Model Checking
Chennai Mathematical Institute via Swayam Introduction to the Internet of Things and Embedded Systems
University of California, Irvine via Coursera Sistemas embebidos: Aplicaciones con Arduino
Universidad Nacional Autónoma de México via Coursera Quantitative Formal Modeling and Worst-Case Performance Analysis
EIT Digital via Coursera