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
Ultra-precise chip-scale sensor detects unprecedentedly small changes at the nanoscale
18.01.2017 | The Hebrew University of Jerusalem
Data analysis optimizes cyber-physical systems in telecommunications and building automation
18.01.2017 | Fraunhofer-Institut für Algorithmen und Wissenschaftliches Rechnen SCAI
An important step towards a completely new experimental access to quantum physics has been made at University of Konstanz. The team of scientists headed by...
Yersiniae cause severe intestinal infections. Studies using Yersinia pseudotuberculosis as a model organism aim to elucidate the infection mechanisms of these...
Researchers from the University of Hamburg in Germany, in collaboration with colleagues from the University of Aarhus in Denmark, have synthesized a new superconducting material by growing a few layers of an antiferromagnetic transition-metal chalcogenide on a bismuth-based topological insulator, both being non-superconducting materials.
While superconductivity and magnetism are generally believed to be mutually exclusive, surprisingly, in this new material, superconducting correlations...
Laser-driving of semimetals allows creating novel quasiparticle states within condensed matter systems and switching between different states on ultrafast time scales
Studying properties of fundamental particles in condensed matter systems is a promising approach to quantum field theory. Quasiparticles offer the opportunity...
Among the general public, solar thermal energy is currently associated with dark blue, rectangular collectors on building roofs. Technologies are needed for aesthetically high quality architecture which offer the architect more room for manoeuvre when it comes to low- and plus-energy buildings. With the “ArKol” project, researchers at Fraunhofer ISE together with partners are currently developing two façade collectors for solar thermal energy generation, which permit a high degree of design flexibility: a strip collector for opaque façade sections and a solar thermal blind for transparent sections. The current state of the two developments will be presented at the BAU 2017 trade fair.
As part of the “ArKol – development of architecturally highly integrated façade collectors with heat pipes” project, Fraunhofer ISE together with its partners...
19.01.2017 | Event News
10.01.2017 | Event News
09.01.2017 | Event News
20.01.2017 | Awards Funding
20.01.2017 | Materials Sciences
20.01.2017 | Life Sciences