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
Deep Learning predicts hematopoietic stem cell development
21.02.2017 | Helmholtz Zentrum München - Deutsches Forschungszentrum für Gesundheit und Umwelt
Sensors embedded in sports equipment could provide real-time analytics to your smartphone
16.02.2017 | University of Illinois College of Engineering
In the field of nanoscience, an international team of physicists with participants from Konstanz has achieved a breakthrough in understanding heat transport
Cells need to repair damaged DNA in our genes to prevent the development of cancer and other diseases. Our cells therefore activate and send “repair-proteins”...
The Fraunhofer IWS Dresden and Technische Universität Dresden inaugurated their jointly operated Center for Additive Manufacturing Dresden (AMCD) with a festive ceremony on February 7, 2017. Scientists from various disciplines perform research on materials, additive manufacturing processes and innovative technologies, which build up components in a layer by layer process. This technology opens up new horizons for component design and combinations of functions. For example during fabrication, electrical conductors and sensors are already able to be additively manufactured into components. They provide information about stress conditions of a product during operation.
The 3D-printing technology, or additive manufacturing as it is often called, has long made the step out of scientific research laboratories into industrial...
Nature does amazing things with limited design materials. Grass, for example, can support its own weight, resist strong wind loads, and recover after being...
Nanometer-scale magnetic perforated grids could create new possibilities for computing. Together with international colleagues, scientists from the Helmholtz Zentrum Dresden-Rossendorf (HZDR) have shown how a cobalt grid can be reliably programmed at room temperature. In addition they discovered that for every hole ("antidot") three magnetic states can be configured. The results have been published in the journal "Scientific Reports".
Physicist Dr. Rantej Bali from the HZDR, together with scientists from Singapore and Australia, designed a special grid structure in a thin layer of cobalt in...
13.02.2017 | Event News
10.02.2017 | Event News
09.02.2017 | Event News
24.02.2017 | Life Sciences
24.02.2017 | Life Sciences
24.02.2017 | Trade Fair News