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
Next Generation Cryptography
20.03.2018 | Fraunhofer-Institut für Sichere Informationstechnologie SIT
TIB’s Visual Analytics Research Group to develop methods for person detection and visualisation
19.03.2018 | Technische Informationsbibliothek (TIB)
Satellites in near-Earth orbit are at risk due to the steady increase in space debris. But their mission in the areas of telecommunications, navigation or weather forecasts is essential for society. Fraunhofer FHR therefore develops radar-based systems which allow the detection, tracking and cataloging of even the smallest particles of debris. Satellite operators who have access to our data are in a better position to plan evasive maneuvers and prevent destructive collisions. From April, 25-29 2018, Fraunhofer FHR and its partners will exhibit the complementary radar systems TIRA and GESTRA as well as the latest radar techniques for space observation across three stands at the ILA Berlin.
The "traffic situation" in space is very tense: the Earth is currently being orbited not only by countless satellites but also by a large volume of space...
An international team of researchers has discovered a new anti-cancer protein. The protein, called LHPP, prevents the uncontrolled proliferation of cancer cells in the liver. The researchers led by Prof. Michael N. Hall from the Biozentrum, University of Basel, report in “Nature” that LHPP can also serve as a biomarker for the diagnosis and prognosis of liver cancer.
The incidence of liver cancer, also known as hepatocellular carcinoma, is steadily increasing. In the last twenty years, the number of cases has almost doubled...
In just a few weeks from now, the Chinese space station Tiangong-1 will re-enter the Earth's atmosphere where it will to a large extent burn up. It is possible that some debris will reach the Earth's surface. Tiangong-1 is orbiting the Earth uncontrolled at a speed of approx. 29,000 km/h.Currently the prognosis relating to the time of impact currently lies within a window of several days. The scientists at Fraunhofer FHR have already been monitoring Tiangong-1 for a number of weeks with their TIRA system, one of the most powerful space observation radars in the world, with a view to supporting the German Space Situational Awareness Center and the ESA with their re-entry forecasts.
Following the loss of radio contact with Tiangong-1 in 2016 and due to the low orbital height, it is now inevitable that the Chinese space station will...
Fraunhofer Institute for Organic Electronics, Electron Beam and Plasma Technology FEP, provider of research and development services for OLED lighting solutions, announces the founding of the “OLED Licht Forum” and presents latest OLED design and lighting solutions during light+building, from March 18th – 23rd, 2018 in Frankfurt a.M./Germany, at booth no. F91 in Hall 4.0.
They are united in their passion for OLED (organic light emitting diodes) lighting with all of its unique facets and application possibilities. Thus experts in...
A new scenario seeking to explain how Mars' putative oceans came and went over the last 4 billion years implies that the oceans formed several hundred million...
23.03.2018 | Event News
19.03.2018 | Event News
16.03.2018 | Event News
23.03.2018 | Materials Sciences
23.03.2018 | Agricultural and Forestry Science
23.03.2018 | Physics and Astronomy