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
Fraunhofer FIT joins Facebook's Telecom Infra Project
25.10.2016 | Fraunhofer-Institut für Angewandte Informationstechnik FIT
Stanford researchers create new special-purpose computer that may someday save us billions
21.10.2016 | Stanford University
Physicists from the University of Würzburg have designed a light source that emits photon pairs. Two-photon sources are particularly well suited for tap-proof data encryption. The experiment's key ingredients: a semiconductor crystal and some sticky tape.
So-called monolayers are at the heart of the research activities. These "super materials" (as the prestigious science magazine "Nature" puts it) have been...
Ultrafast lasers have introduced new possibilities in engraving ultrafine structures, and scientists are now also investigating how to use them to etch microstructures into thin glass. There are possible applications in analytics (lab on a chip) and especially in electronics and the consumer sector, where great interest has been shown.
This new method was born of a surprising phenomenon: irradiating glass in a particular way with an ultrafast laser has the effect of making the glass up to a...
Terahertz excitation of selected crystal vibrations leads to an effective magnetic field that drives coherent spin motion
Controlling functional properties by light is one of the grand goals in modern condensed matter physics and materials science. A new study now demonstrates how...
Researchers from the Institute for Quantum Computing (IQC) at the University of Waterloo led the development of a new extensible wiring technique capable of controlling superconducting quantum bits, representing a significant step towards to the realization of a scalable quantum computer.
"The quantum socket is a wiring method that uses three-dimensional wires based on spring-loaded pins to address individual qubits," said Jeremy Béjanin, a PhD...
In a paper in Scientific Reports, a research team at Worcester Polytechnic Institute describes a novel light-activated phenomenon that could become the basis for applications as diverse as microscopic robotic grippers and more efficient solar cells.
A research team at Worcester Polytechnic Institute (WPI) has developed a revolutionary, light-activated semiconductor nanocomposite material that can be used...
14.10.2016 | Event News
14.10.2016 | Event News
12.10.2016 | Event News
28.10.2016 | Power and Electrical Engineering
28.10.2016 | Physics and Astronomy
28.10.2016 | Life Sciences