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
DNA molecules that follow specific instructions could offer more precise molecular control of synthetic chemical systems, a discovery that opens the door for engineers to create molecular machines with new and complex behaviors.
Researchers have created chemical amplifiers and a chemical oscillator using a systematic method that has the potential to embed sophisticated circuit...
MPQ scientists achieve long storage times for photonic quantum bits which break the lower bound for direct teleportation in a global quantum network.
Concerning the development of quantum memories for the realization of global quantum networks, scientists of the Quantum Dynamics Division led by Professor...
Researchers have developed a water cloaking concept based on electromagnetic forces that could eliminate an object's wake, greatly reducing its drag while...
Tiny pores at a cell's entryway act as miniature bouncers, letting in some electrically charged atoms--ions--but blocking others. Operating as exquisitely sensitive filters, these "ion channels" play a critical role in biological functions such as muscle contraction and the firing of brain cells.
To rapidly transport the right ions through the cell membrane, the tiny channels rely on a complex interplay between the ions and surrounding molecules,...
The miniaturization of the current technology of storage media is hindered by fundamental limits of quantum mechanics. A new approach consists in using so-called spin-crossover molecules as the smallest possible storage unit. Similar to normal hard drives, these special molecules can save information via their magnetic state. A research team from Kiel University has now managed to successfully place a new class of spin-crossover molecules onto a surface and to improve the molecule’s storage capacity. The storage density of conventional hard drives could therefore theoretically be increased by more than one hundred fold. The study has been published in the scientific journal Nano Letters.
Over the past few years, the building blocks of storage media have gotten ever smaller. But further miniaturization of the current technology is hindered by...
15.12.2017 | Veranstaltungen
15.12.2017 | Veranstaltungen
14.12.2017 | Veranstaltungen
15.12.2017 | Informationstechnologie
15.12.2017 | Verfahrenstechnologie
15.12.2017 | Energie und Elektrotechnik