Embedded Gerätetreiber Functional Safety Misra Design Hochverfügbarkeitssysteme Programmiersprache C Fehleranalysen Hardwarenahe Multi-Core