An academic at
Dr Bernd Fischer at the university's
According to Dr Fischer, software developers generally rely on code generation to translate high-level models into code. This can speed up development and increase productivity and reliability but the output code can differ from the user's exact requirements.
Over a three-year period, Dr Fischer proposes to develop a domain-specific code generator with the capacity to support reliable code customisation.
He said: ‘This research is about making changes to the output of code generators. It's about making the code generator more flexible without having to go into the inner guts of the machine.’
Dr Fischer added: ‘Users in safety-critical application domains such as automotive and avionics systems will particularly benefit from the assurance support we can provide for customisations.'