diff --git a/doc/Poject_suggestions.md b/doc/Project_suggestions.md similarity index 90% rename from doc/Poject_suggestions.md rename to doc/Project_suggestions.md index aefa5d7e46510ead629d04e8428d9793015b5008..ea7284595d20599c2a15e171da2825a2426e5cb1 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 @@ -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)