Course details
Secure Embedded Programming
The course will offer participants an introduction to the Rust secure programming language with applicability in TockOS, a secure RTOS for embedded systems.
Workshop kit
Each participant will receive a workshop kit that they will use during the courses. Each kit consists of flashcards and the hardware necessary to follow the workshop and complete the tasks.
The hardware consists of a an STM32F412 Discovery.
The notions covered in this course are:
- Introduction to the Rust programming language
- A basic idea of how rust works
- Rust versions
- Basic Data Types
- Complex data types
- Control flow
- Functions
- Traits
- Rust memory management
- Ownership
- Borrow
- References
- Clone and copy
- Memory Allocation
- Slices
- Rust patterns
- Pattern matching
- Enums
- Result & Option
- Introduction to TockOS
- System architecture
- Driver development
- Using the C user space library
- Driver library
- Application
- Using the Rust user space library
- Driver Library
- Application
The programming languages used will be C and Rust.
What do I need to know to attend this course?
- C Language Programming – necessary
- OS knowledge
![]() | ![]() | ![]() |
IP Workshop
Enroll now to secure your spot and take advantage of the lower registration fee!