Skip to content
Snippets Groups Projects

Update Project_suggestions.md

Merged John requested to merge CuriouslyCurious/are_we_embedded_yet:master into master
@@ -8,11 +8,12 @@ Symbolic execution engine for MIR internal format
- Study outsets for program verification based on seer
---
## LED Audio (taken)
- Blink leds according to audio input
## 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
@@ -35,7 +36,7 @@ Symbolic execution engine for MIR internal format
- Implement a wheel sensor for existing model car
---
## Stack Memory Analys
## 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
@@ -49,7 +50,7 @@ Symbolic execution engine for MIR internal format
- Drivers for the Nucleo 64, stm32f401re/stm32f411re, similar to the f3/bluepill support crates
---
## Time Triggered Architectuer (RTFM-TTA)
## Time Triggered Architecture (RTFM-TTA)
- Periodic timers
- Communication channels/message buffers
- Static analysis (for safely bound buffers)
Loading