Grant to Improve Monitoring of Computers Should Increase Reliability
While today's sophisticated computers are generally reliable, they are still subject to the occasional freeze or crash. But with computerized devices becoming embedded in more and more machinery where reliability can affect safety, getting the multiple components of concurrent computer systems to work correctly every time is more important than ever.
Since designing absolute, fault-free software is not possible, systems that accurately monitor the operation of concurrent computer systems and warn users of problems at hand may be the best solution, says Aravinda Prasad Sistla, professor of computer science at the University of Illinois at Chicago.
Sistla just received a three-year, $485,000 grant from the National Science Foundation to develop monitoring system techniques that make sure machines of the future, which will rely on multiple computer inputs, work the way they should all the time, every time.
Using mathematical modeling techniques, Sistla hopes to develop methods that improve monitoring accuracy and reduce "false alarms" that can slow down a computer operation. He will also develop models that can check for unobservable signs of system failure based on a computer system's observable work or output. Finally, he will develop monitors that collaborate with a computer system that allows it to evolve and operate correctly.
Sistla wants to develop monitoring techniques that work both actively and passively.
"We're modeling the underlying system probabilistically, and then we're developing various accuracy measures," he said. "These are metrics not previously thought of."
The proposed research will build on Sistla's ongoing work in the field of distributed and concurrent computer systems to find ways of making sure such software works properly.
"When you install software in, say, a car or airplane, you assume the components supplying inputs to the software are working correctly. But in critical applications, such as driving or flying, you don't want to make assumptions. You want to make sure things are monitored and detected for any erroneous behavior," he said.
Paul Francuch | Newswise Science News
More articles from Information Technology:
Drones that drive
27.06.2017 | Massachusetts Institute of Technology, CSAIL
Ahead of the Curve
27.06.2017 | Institute of Science and Technology Austria
The most recent press releases about innovation >>>
Die letzten 5 Focus-News des innovations-reports im Überblick:
An international team of scientists has proposed a new multi-disciplinary approach in which an array of new technologies will allow us to map biodiversity and the risks that wildlife is facing at the scale of whole landscapes. The findings are published in Nature Ecology and Evolution. This international research is led by the Kunming Institute of Zoology from China, University of East Anglia, University of Leicester and the Leibniz Institute for Zoo and Wildlife Research.
Using a combination of satellite and ground data, the team proposes that it is now possible to map biodiversity with an accuracy that has not been previously...
Heatwaves in the Arctic, longer periods of vegetation in Europe, severe floods in West Africa – starting in 2021, scientists want to explore the emissions of the greenhouse gas methane with the German-French satellite MERLIN. This is made possible by a new robust laser system of the Fraunhofer Institute for Laser Technology ILT in Aachen, which achieves unprecedented measurement accuracy.
Methane is primarily the result of the decomposition of organic matter. The gas has a 25 times greater warming potential than carbon dioxide, but is not as...
Hydrogen is regarded as the energy source of the future: It is produced with solar power and can be used to generate heat and electricity in fuel cells. Empa researchers have now succeeded in decoding the movement of hydrogen ions in crystals – a key step towards more efficient energy conversion in the hydrogen industry of tomorrow.
As charge carriers, electrons and ions play the leading role in electrochemical energy storage devices and converters such as batteries and fuel cells. Proton...
Scientists from the Excellence Cluster Universe at the Ludwig-Maximilians-Universität Munich have establised "Cosmowebportal", a unique data centre for cosmological simulations located at the Leibniz Supercomputing Centre (LRZ) of the Bavarian Academy of Sciences. The complete results of a series of large hydrodynamical cosmological simulations are available, with data volumes typically exceeding several hundred terabytes. Scientists worldwide can interactively explore these complex simulations via a web interface and directly access the results.
With current telescopes, scientists can observe our Universe’s galaxies and galaxy clusters and their distribution along an invisible cosmic web. From the...
Temperature measurements possible even on the smallest scale / Molecular ruby for use in material sciences, biology, and medicine
Chemists at Johannes Gutenberg University Mainz (JGU) in cooperation with researchers of the German Federal Institute for Materials Research and Testing (BAM)...