Customising safety critical code

Dr Bernd Fischer,pictured, from the University’s School of Electronics and Computer Science, will develop systematic techniques and supporting tools that will allow application developers to customise automatically generated code efficiently and reliably without needing to modify either the code generator or the generated code. “This research is about making changes to the output of code generators,” said Dr Fischer. “It’s about making the code generator more flexible without having to go into the inner guts of the machine. Users in safety critical application domains, such as automotive and avionics, will benefit from the assurance support we can provide for customisations.” According to Dr Fischer, software developers generally rely on code generation as a key technology to translate high level models into code. Although this speeds development and increases productivity and reliability, the output code often differs from the user’s exact requirements and thus needs customisation.