From fffa82d835b0814aede90880de14a9b347b89f00 Mon Sep 17 00:00:00 2001
From: John <thealmightywarrior@gmail.com>
Date: Wed, 15 Nov 2017 17:04:08 +0100
Subject: [PATCH] Update Project_suggestions.md
---
doc/{Poject_suggestions.md => Project_suggestions.md} | 7 ++++---
1 file changed, 4 insertions(+), 3 deletions(-)
rename doc/{Poject_suggestions.md => Project_suggestions.md} (92%)
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 cdc1547..724dd61 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
--
GitLab