Forked from
d7018e-special-studies-embedded-systems / are_we_embedded_yet
29 commits behind the upstream repository.
- Suggested projects
- Seer (Nils)
- LED Audio (John)
- Drivers for NXP (Axel)
- WCET analysis for RTFM models using KLEE (Henrik)
- USB-Hid (Johannes)
- ETM Tracing
- AES Encryption in hardware
- CAN bus API and Wheel Sensor implementation
- Stack Memory Analysis
- Ethernet driver for TCP/UDP/IP stack
- Nucleo 64 support crate
- Time Triggered Architecture (RTFM-TTA)
- Your ideas...
Project_suggestions.md 1.49 KiB
Suggested projects
Seer (Nils)
Symbolic execution engine for MIR internal format
- Study and understand the Z3 API
- Study and understand the user API (maybe add more functionalty)
- Study outsets for program verification based on seer
LED Audio (John)
- Modulate LED colors and intensity according to audio input
Drivers for NXP (Axel)
WCET analysis for RTFM models using KLEE (Henrik)
- Automated testebed, integrated as cargo sub-command
USB-Hid (Johannes)
ETM Tracing
- Develop an API for setting up ETM trace ARM
AES Encryption in hardware
- Develop on API for hardware supported AES encryption
CAN bus API and Wheel Sensor implementation
- Develop a CAN bus API for cortex-m0
- Implement a wheel sensor for existing model car
Stack Memory Analysis
- Seer or KLEE based path/call graph extraction
- Target code analysis, per function stack usage
- Static worst case stack analysis for RTFM and/or RTFM-TTA
Ethernet driver for TCP/UDP/IP stack
- Develop driver and integrate to existing TCP/UDP/IP stack
Nucleo 64 support crate
- Drivers for the Nucleo 64, stm32f401re/stm32f411re, similar to the f3/bluepill support crates
Time Triggered Architecture (RTFM-TTA)
- Periodic timers
- Communication channels/message buffers
- Static analysis (for safely bound buffers)
- Static analysis for data aging (opitmal ordering?)