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
Snake-inspired robot uses kirigami to move
22.02.2018 | Harvard John A. Paulson School of Engineering and Applied Sciences
Camera technology in vehicles: Low-latency image data compression
22.02.2018 | Fraunhofer-Institut für Nachrichtentechnik, Heinrich-Hertz-Institut, HHI
A newly developed laser technology has enabled physicists in the Laboratory for Attosecond Physics (jointly run by LMU Munich and the Max Planck Institute of Quantum Optics) to generate attosecond bursts of high-energy photons of unprecedented intensity. This has made it possible to observe the interaction of multiple photons in a single such pulse with electrons in the inner orbital shell of an atom.
In order to observe the ultrafast electron motion in the inner shells of atoms with short light pulses, the pulses must not only be ultrashort, but very...
A group of researchers led by Andrea Cavalleri at the Max Planck Institute for Structure and Dynamics of Matter (MPSD) in Hamburg has demonstrated a new method enabling precise measurements of the interatomic forces that hold crystalline solids together. The paper Probing the Interatomic Potential of Solids by Strong-Field Nonlinear Phononics, published online in Nature, explains how a terahertz-frequency laser pulse can drive very large deformations of the crystal.
By measuring the highly unusual atomic trajectories under extreme electromagnetic transients, the MPSD group could reconstruct how rigid the atomic bonds are...
Quantum computers may one day solve algorithmic problems which even the biggest supercomputers today can’t manage. But how do you test a quantum computer to...
For the first time, a team of researchers at the Max-Planck Institute (MPI) for Polymer Research in Mainz, Germany, has succeeded in making an integrated circuit (IC) from just a monolayer of a semiconducting polymer via a bottom-up, self-assembly approach.
In the self-assembly process, the semiconducting polymer arranges itself into an ordered monolayer in a transistor. The transistors are binary switches used...
Breakthrough provides a new concept of the design of molecular motors, sensors and electricity generators at nanoscale
Researchers from the Institute of Organic Chemistry and Biochemistry of the CAS (IOCB Prague), Institute of Physics of the CAS (IP CAS) and Palacký University...
15.02.2018 | Event News
13.02.2018 | Event News
12.02.2018 | Event News
23.02.2018 | Physics and Astronomy
23.02.2018 | Health and Medicine
23.02.2018 | Physics and Astronomy