 |
||
|
Advanced Search |
||
|
|||||
|
Formal Methods < Verification & Validation < Results Home
|
|
Click here to complete a short survey. The results of this survey will be used to help us improve the research program and this website.
Click here to view research projects that had new research results added in the last 90 days.
|
| Fractal Analysis of Resource Exhaustion in Real Time Operating Systems | |
| Point of Contact |
Mark Shereshevsky smark@csee.wvu.edu |
| Dates | October 2000 - December 2004 |
| Problem | Recent studies revealed the phenomenon of "software aging" as a major cause of outages in computer systems. The phenomenon is primarily due to the exhaustion of operating system resources, data corruption etc. Our recent research showed that multifractal analysis provides an effective quantitative description of the phenomenon. However it still remains to be explored whether the techniques of fractal analysis can be used to forecast software ageing and prevent crashes. |
| Objective | Based on our previous results, we conjecture that application of more advanced fractal analysis techniques to the system's resource dynamic will allow to estimate system outage hazard. We plan to develop an automated alarm system, which monitors the fractal dynamic of some of the operating system's resources and advices for graceful system shut-down when the probability of impending system failure is high. |
| Results |
Experimental Results from Multiple OS Parameters.pdf Final Report Using Multifractal Resource Exhaustion Model.pdf Fractal Analysis Technical Report.pdf |
| Keywords | software aging, fractal, operting systems, multifractal, fractal error correction, software reliability |
| Categories |
Domain-Specific Analysis Formal Methods |
|
| |
|
Curator: Josh Stonestreet NASA Official: Lisa Montgomery |
|
NASA Privacy, Security, Notices |