Skip to content
Snippets Groups Projects

Update Project_suggestions.md

1 file
+ 4
3
Compare changes
  • Side-by-side
  • Inline
@@ -8,11 +8,12 @@ Symbolic execution engine for MIR internal format
@@ -8,11 +8,12 @@ Symbolic execution engine for MIR internal format
- Study outsets for program verification based on seer
- Study outsets for program verification based on seer
---
---
## LED Audio (taken)
## LED Audio (John)
- Blink leds according to audio input
- Modulate LED colors and intensity according to audio input
---
---
## Drivers for NXP (Axel)
## Drivers for NXP (Axel)
 
---
---
## WCET analysis for RTFM models using KLEE (Henrik)
## WCET analysis for RTFM models using KLEE (Henrik)
- Automated testebed, integrated as cargo sub-command
- Automated testebed, integrated as cargo sub-command
@@ -35,7 +36,7 @@ Symbolic execution engine for MIR internal format
@@ -35,7 +36,7 @@ Symbolic execution engine for MIR internal format
- Implement a wheel sensor for existing model car
- Implement a wheel sensor for existing model car
---
---
## Stack Memory Analys
## Stack Memory Analysis
- Seer or KLEE based path/call graph extraction
- Seer or KLEE based path/call graph extraction
- Target code analysis, per function stack usage
- Target code analysis, per function stack usage
- Static worst case stack analysis for RTFM and/or RTFM-TTA
- Static worst case stack analysis for RTFM and/or RTFM-TTA
Loading