The RobuCab, an autonomous vehicle about the size of a golf cart, trundles at 10kph along a quiet French street. Alarmingly, it looks like it is driving itself. Surprisingly, that is more or less true.
The RobuCab is following the line of the kerb. One embedded system trains a camera on the path edge, another tracks the angle and direction of the kerb, while others control the gearing and acceleration. Combined, they enable the RobuCab to drive along the road.
It is an astonishing demonstration of just how sophisticated embedded systems, and the software that controls them, can become. But there are some serious problems to surmount before this level of sophistication becomes common.
Embedded systems are all around us. They can range from very simple sensors that tell your boiler when to turn on the central heating in your home, to very powerful computers that help control flight.
“They are everywhere,” explains Kevin Hammond, coordinator of the Embounded project, a team developing sophisticated new software for the RobuCab. “Half the world’s annual spend on computers goes on embedded systems. And often, it is items we would not even think of as a computer, like a digital watch. But, like a digital watch, all embedded systems have software and some degree of processing hardware.”
They run ABS (‘anti-lock breaking systems’) in cars, avionics and high-tech toasters. They are in RFID (‘radio frequency identification’) chips, mobile phones and microwave ovens. Serious people are already talking seriously about ‘painting’ embedded systems onto walls just like, well, paint. Or of house bricks with microchips inside.
“An embedded system’s memory might only run to 10 or 20 bytes of information, but these tiny systems must be more reliable than normal desktop computers,” Hammond states.
And that is only the first challenge. The tasks they are designed to do are becoming much more sophisticated, like the RobuCab, and that makes programming them extremely difficult.
Thus far, embedded systems were programmed using very simple instructions but, while these are powerful, hundreds of simple instructions are required to drive the more complex tasks of emerging systems. More instructions mean an exponential growth in the risk of error.
“Specialist engineers currently spend an enormous amount of time testing these systems, but, even then, there is no guarantee that all possible problems have been checked,” warns Hammond.Paradoxical goals
Hammond explains that the team sought to improve precision and performance, but also wants to reduce programming control. “It is a non-trivial problem,” he jokes.
Embounded tackled this by first developing a new, more sophisticated programming language for embedded systems, called Hume. Next, it developed a programming methodology that increases system precision and performance using certificates to limit, or “Embound”, resource usage.
Then, they developed “costing-by-construction”, a technique to sandbox the functional modules within a computer program. This means they are kept apart, making it easier to guarantee the required resources for each functional module.
Finally, they developed a suite of tools to analyse prototype-embedded systems. This can guarantee that a given system design will work as planned.
It is an enormous number of outputs for a comparatively small project and the team’s work has inspired the enthusiasm of colleagues in research and industry. “Finally someone has combined the critical features needed for successful development of embedded systems: [Hume has] exactly the features I have been looking for … I have actually designed a language myself to accomplish some of the goals, but I can scrap that now since you seem to get it all right (unlike me),” wrote one Swedish researcher not associated with the project.
“We have had many more people contact us spontaneously, so clearly engineers and scientists are looking for a new way of developing embedded systems.
“Funding agencies, too, are very enthusiastic, and the consortium received further funds to work on software for an autonomous vehicle for the UK government. This was really a piece of blue sky research, we were not a commercialisation project. But we have developed a strong prototype and worked out where the shoe pinches,” says Hammond.
The project gained from a very high level of co-operation and synergy between the partners. LASMEA, in Clermont-Ferrand, used the RobuCab to test the system, while, AbsInt GmBH in Saarbrucken, Germany, produced high-quality execution time information. The Ludwig Maximilian University of Munich worked on resource certification analysis, while Heriot-Watt University in the UK provided compilers and other tools.
The University of St. Andrews developed fundamental models and analyses, as well as overseeing the project. "The fit was very good, and we've developed strong links over the course of the project," says Hammond.
The Embounded team has submitted proposals for a follow-on EU-funded project. And the work on Hume and its associated methodologies and tools will carry on regardless, edging forward, like RobuCab, towards tougher and smarter embedded systems.
Christian Nielsen | alfa
Open source software helps researchers extract key insights from huge sensor datasets
22.03.2019 | Universität des Saarlandes
Touchscreens go 3D with buttons that pulsate and vibrate under your fingertips
14.03.2019 | Universität des Saarlandes
DESY and MPSD scientists create high-order harmonics from solids with controlled polarization states, taking advantage of both crystal symmetry and attosecond electronic dynamics. The newly demonstrated technique might find intriguing applications in petahertz electronics and for spectroscopic studies of novel quantum materials.
The nonlinear process of high-order harmonic generation (HHG) in gases is one of the cornerstones of attosecond science (an attosecond is a billionth of a...
Nano- and microtechnology are promising candidates not only for medical applications such as drug delivery but also for the creation of little robots or flexible integrated sensors. Scientists from the Max Planck Institute for Polymer Research (MPI-P) have created magnetic microparticles, with a newly developed method, that could pave the way for building micro-motors or guiding drugs in the human body to a target, like a tumor. The preparation of such structures as well as their remote-control can be regulated using magnetic fields and therefore can find application in an array of domains.
The magnetic properties of a material control how this material responds to the presence of a magnetic field. Iron oxide is the main component of rust but also...
Due to the special arrangement of its molecules, a new coating made of corn starch is able to repair small scratches by itself through heat: The cross-linking via ring-shaped molecules makes the material mobile, so that it compensates for the scratches and these disappear again.
Superficial micro-scratches on the car body or on other high-gloss surfaces are harmless, but annoying. Especially in the luxury segment such surfaces are...
The Potsdam Echelle Polarimetric and Spectroscopic Instrument (PEPSI) at the Large Binocular Telescope (LBT) in Arizona released its first image of the surface magnetic field of another star. In a paper in the European journal Astronomy & Astrophysics, the PEPSI team presents a Zeeman- Doppler-Image of the surface of the magnetically active star II Pegasi.
A special technique allows astronomers to resolve the surfaces of faraway stars. Those are otherwise only seen as point sources, even in the largest telescopes...
Researchers at Chalmers University of Technology and the University of Gothenburg, Sweden, have proposed a way to create a completely new source of radiation. Ultra-intense light pulses consist of the motion of a single wave and can be described as a tsunami of light. The strong wave can be used to study interactions between matter and light in a unique way. Their research is now published in the scientific journal Physical Review Letters.
"This source of radiation lets us look at reality through a new angle - it is like twisting a mirror and discovering something completely different," says...
11.03.2019 | Event News
01.03.2019 | Event News
28.02.2019 | Event News
22.03.2019 | Life Sciences
22.03.2019 | Life Sciences
22.03.2019 | Information Technology