In view of that fact, computer scientists at Saarland University are designing mathematical calculations to check such systems automatically. The scientists will present their results at stand F34 in hall 26 at the computer fair Cebit. The trade show takes place in Hanover, Germany from March 6 to 10.
Holger Hermanns, computer science professor at Saarland University, confirmed the reliability of his wireless bicycle brake through mathematical calculations. Foto: Angelika Klein
Professor Holger Hermanns, who holds the chair of Dependable Systems and Software, and who developed the wireless bicycle brake together with his group, explains: “Wireless networks are never a fail-safe method. That’s a fact that’s based on a technological background.” Nonetheless, the trend is to set up wireless systems that, like a simple bicycle brake, have to function all the time. “In the field of the future European Train Service, for example, concrete plans already exist,” Hermanns reports. Furthermore, he says that train and airplane experiments are far too sophisticated, and could even endanger the life of human beings in case of malfunction.
Therefore, the Saarland computer scientist’s mathematical methods should now verify the correct function and interaction of the components automatically. “The wireless bicycle brake gives us the necessary playground to optimize these methods for operation in much more complex systems,” Hermanns adds.
Therefore, his research group examines the brake prototype with algorithms that normally are used in control systems for aircraft or chemical factories. As a result, they found out that the brake works with 99.9999999999997 percent reliability. “This implies that out of a trillion braking attempts, we have three failures,” Hermanns explains and concludes: “That is not perfect, but acceptable.”
To brake with the wireless brake, a cyclist needs only clench the rubber grip on the right handle. The more tightly the grip is clenched, the harder the disk brake on the front wheel works. It seems as if a ghost hand is in play, but a combination of several electronic components enables the braking. Integrated in the rubber grip is a pressure sensor, which activates a sender if a specified pressure threshold is crossed. The sender is integrated in a blue plastic box which is the size of a cigarette packet and is attached to the handlebar.Its radio signals are sent to a receiver attached at the end of the bicycle’s fork. The receiver forwards the signal to an actuator, transforming the radio signal into the mechanical power by which the disk brake is activated. The electrical energy is supplied by a battery, which is also attached to the bicycle’s fork.
To enhance reliability, there are additional senders attached to the bicycle. These repeatedly send the same signal.
Its current configuration enables the cruiser bike to brake within 250 milliseconds. This means that at a speed of 30 kilometers per hour, the cyclist has to react two meters before reaching the dangerous situation. But the Saarland University computer scientists are not satisfied with just this functionality. “It is not difficult to integrate an anti-lock braking system and traction control. That takes only a few adjustments,” Hermanns explains.
Researching the wireless bicycle brake was funded within the special research field “Automatic Verification and Analysis of Complex Systems (AVACS)” by the German Research Foundation. Besides Holger Hermanns, several researchers from Saarland University are involved. These are Professors Sebastian Hack, Markus Bläser, Reinhard Wilhelm, Jan Reineke, Bernd Finkbeiner and Verena Wolf.
Professor Kurt Mehlhorn and Christoph Weidenbach of the Max-Planck-Institute for Informatics in Saarbrücken are involved in the project, too. In 2011, the Research Foundation Group approved about 8.7 million euro, and about 3.5 million inure to the benefit of the Saarland research work. Since 2004, the special research group has been sponsored with approximately 26 million euros, and 9.5 million went to the computer scientists at Saarland University.
Thorsten Mohr | Universität des Saarlandes
UDE at the CeBIT fair: Protecting huge National Parks
07.03.2012 | Universität Duisburg-Essen
Cebit: Automated stress testing for Web 2.0 applications helps developers find programming errors
27.02.2012 | Universität des Saarlandes
University of Maryland researchers contribute to historic detection of gravitational waves and light created by event
On August 17, 2017, at 12:41:04 UTC, scientists made the first direct observation of a merger between two neutron stars--the dense, collapsed cores that remain...
Seven new papers describe the first-ever detection of light from a gravitational wave source. The event, caused by two neutron stars colliding and merging together, was dubbed GW170817 because it sent ripples through space-time that reached Earth on 2017 August 17. Around the world, hundreds of excited astronomers mobilized quickly and were able to observe the event using numerous telescopes, providing a wealth of new data.
Previous detections of gravitational waves have all involved the merger of two black holes, a feat that won the 2017 Nobel Prize in Physics earlier this month....
Material defects in end products can quickly result in failures in many areas of industry, and have a massive impact on the safe use of their products. This is why, in the field of quality assurance, intelligent, nondestructive sensor systems play a key role. They allow testing components and parts in a rapid and cost-efficient manner without destroying the actual product or changing its surface. Experts from the Fraunhofer IZFP in Saarbrücken will be presenting two exhibits at the Blechexpo in Stuttgart from 7–10 November 2017 that allow fast, reliable, and automated characterization of materials and detection of defects (Hall 5, Booth 5306).
When quality testing uses time-consuming destructive test methods, it can result in enormous costs due to damaging or destroying the products. And given that...
Using a new cooling technique MPQ scientists succeed at observing collisions in a dense beam of cold and slow dipolar molecules.
How do chemical reactions proceed at extremely low temperatures? The answer requires the investigation of molecular samples that are cold, dense, and slow at...
Scientists from the Max Planck Institute of Quantum Optics, using high precision laser spectroscopy of atomic hydrogen, confirm the surprisingly small value of the proton radius determined from muonic hydrogen.
It was one of the breakthroughs of the year 2010: Laser spectroscopy of muonic hydrogen resulted in a value for the proton charge radius that was significantly...
17.10.2017 | Veranstaltungen
17.10.2017 | Veranstaltungen
16.10.2017 | Veranstaltungen