Lecture Slides
Here you can find the lecture slides for 1DT106 @ Uppsala University.
- Course Organization
- Pico SDK
- Bare-metal vs RTOS
- State Machines
- Traffic Light Example
- RTOS Basics
- Zephyr Introduction
- Zephyr Example
- Requirements Engineering
- (Formal) Specification
- ACSL Introduction
- Memory Management
- Linker Scripts
- ARM Execution Modes
- Debugging
- Problem Shrinking
- Slicing
- Optimization
- Space-Time Tradeoff
- Profiling
- (Unit) Testing
- Coverage
- Verification
- Transition Systems + Model Checking
- Deductive Verification
- Other Languages for Embedded Systems
- Synchronous Languages
- Lustre
- Exam Preparation