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
Defining the backbone of future mobile internet access
21.07.2017 | IHP - Leibniz-Institut für innovative Mikroelektronik
Researchers create new technique for manipulating polarization of terahertz radiation
20.07.2017 | Brown University
Physicists have developed a new technique that uses electrical voltages to control the electron spin on a chip. The newly-developed method provides protection from spin decay, meaning that the contained information can be maintained and transmitted over comparatively large distances, as has been demonstrated by a team from the University of Basel’s Department of Physics and the Swiss Nanoscience Institute. The results have been published in Physical Review X.
For several years, researchers have been trying to use the spin of an electron to store and transmit information. The spin of each electron is always coupled...
What is the mass of a proton? Scientists from Germany and Japan successfully did an important step towards the most exact knowledge of this fundamental constant. By means of precision measurements on a single proton, they could improve the precision by a factor of three and also correct the existing value.
To determine the mass of a single proton still more accurate – a group of physicists led by Klaus Blaum and Sven Sturm of the Max Planck Institute for Nuclear...
The research team of Prof. Dr. Oliver Einsle at the University of Freiburg's Institute of Biochemistry has long been exploring the functioning of nitrogenase....
A one trillion tonne iceberg - one of the biggest ever recorded -- has calved away from the Larsen C Ice Shelf in Antarctica, after a rift in the ice,...
Physics supports biology: Researchers from PTB have developed a model system to investigate friction phenomena with atomic precision
Friction: what you want from car brakes, otherwise rather a nuisance. In any case, it is useful to know as precisely as possible how friction phenomena arise –...
21.07.2017 | Event News
19.07.2017 | Event News
12.07.2017 | Event News
21.07.2017 | Earth Sciences
21.07.2017 | Power and Electrical Engineering
21.07.2017 | Physics and Astronomy