Commit fffa82d8 authored by John's avatar John

Update Project_suggestions.md

parent 53d57512
......@@ -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
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment