Commit 763efdc7 authored by Henrik Tjäder's avatar Henrik Tjäder

Merge branch 'master' into 'master'

Update Project_suggestions.md

See merge request d7018e-special-studies-embedded-systems/are_we_embedded_yet!3
parents b31220eb bb46b555
......@@ -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)
......
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