diff --git a/doc/Poject_suggestions.md b/doc/Poject_suggestions.md index a805c56a4316d751400f19a9568ca8ab00e165eb..dd2f5eb830aca05cbf1c85e075eb8f118337bf17 100644 --- a/doc/Poject_suggestions.md +++ b/doc/Poject_suggestions.md @@ -14,6 +14,7 @@ Blink leds according to audio input ## Drivers for NXP (Axel) --- ## WCET analysis for RTFM models using KLEE (Henrik) + - Automated testebed, integrated as cargo sub-command --- ## USB-Hid (Johannes) @@ -21,29 +22,36 @@ Blink leds according to audio input ## ETM Tracing - Develop an API for setting up ETM trace [ARM](https://www.arm.com/files/pdf/AT_-_Advanced_Debug_of_Cortex-M_Systems.pdf) + --- ## AES Encryption in hardware - Develop on API for hardware supported AES encryption + --- ## CAN bus API and Wheel Sensor implementation - Develop a CAN bus API for cortex-m0 - Implement a wheel sensor for existing model car + --- ## Stack Memory Analys - 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 + --- ## Ethernet driver for TCP/UDP/IP stack - Develop driver and integrate to existing TCP/UDP/IP stack + --- ## Nucleo 64 support crate - Drivers for the Nucleo 64, stm32f401re/stm32f411re, similar to the f3/bluepill support crates + --- ## Time Triggered Architectuer (RTFM-TTA) - Periodic timers - Communication channels/message buffers - Static analysis (for safely bound buffers) - Static analysis for data aging (opitmal ordering?) + --- ## Your ideas... \ No newline at end of file