diff --git a/doc/Poject_suggestions.md b/doc/Project_suggestions.md similarity index 92% rename from doc/Poject_suggestions.md rename to doc/Project_suggestions.md index cdc15474d87b3aba4d41e4c06e30fce4a5bee12a..724dd61b129a37406ef299722b8518e5499dd0cc 100644 --- a/doc/Poject_suggestions.md +++ b/doc/Project_suggestions.md @@ -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