Code Generation in Safety-critical Applications

In the course of the project, we will investigate the certification of code generators, or of the code generated, in the automotive area. To this end, a generic test suite for code generators is to be developed that effectively supports safeguarding code generators for safety-critical applications. On the basis of the continuous information model, which will be the foundation of IMMOS's integrated method, we will devise safeguard procedures for the process of automatic code generation. This will enable us to conduct the process of control unit implementation in compliance with current quality assurance standards.