Dr Bernd Fischer at the University's School of Electronics and Computer Science (ECS) has received funding from the Engineering and Physical Sciences Research Council (EPSRC) to 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.
According to Dr Fischer, who has spent much of his career at the National Aeronautics and Space Administration (NASA), which is one of the collaborators on this project, software developers generally rely on code generation as a key technology to translate high-level models into code. Although this speeds up development and increases productivity and reliability, the output code often differs from the user's exact requirements and thus needs customisation.
Over a three year period, Dr Fischer proposes to develop a domain-specific code generator with the capacity to support reliable code customisation.
'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 systems will particularly benefit from the assurance support we can provide for customisations.'
Helene Murphy | alfa
Ultra-precise chip-scale sensor detects unprecedentedly small changes at the nanoscale
18.01.2017 | The Hebrew University of Jerusalem
Data analysis optimizes cyber-physical systems in telecommunications and building automation
18.01.2017 | Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI
For the first time ever, a cloud of ultra-cold atoms has been successfully created in space on board of a sounding rocket. The MAIUS mission demonstrates that quantum optical sensors can be operated even in harsh environments like space – a prerequi-site for finding answers to the most challenging questions of fundamental physics and an important innovation driver for everyday applications.
According to Albert Einstein's Equivalence Principle, all bodies are accelerated at the same rate by the Earth's gravity, regardless of their properties. This...
An important step towards a completely new experimental access to quantum physics has been made at University of Konstanz. The team of scientists headed by...
Yersiniae cause severe intestinal infections. Studies using Yersinia pseudotuberculosis as a model organism aim to elucidate the infection mechanisms of these...
Researchers from the University of Hamburg in Germany, in collaboration with colleagues from the University of Aarhus in Denmark, have synthesized a new superconducting material by growing a few layers of an antiferromagnetic transition-metal chalcogenide on a bismuth-based topological insulator, both being non-superconducting materials.
While superconductivity and magnetism are generally believed to be mutually exclusive, surprisingly, in this new material, superconducting correlations...
Laser-driving of semimetals allows creating novel quasiparticle states within condensed matter systems and switching between different states on ultrafast time scales
Studying properties of fundamental particles in condensed matter systems is a promising approach to quantum field theory. Quasiparticles offer the opportunity...
19.01.2017 | Event News
10.01.2017 | Event News
09.01.2017 | Event News
23.01.2017 | Process Engineering
23.01.2017 | Physics and Astronomy
23.01.2017 | Life Sciences