Accession Number:

ADA433930

Title:

Pacemaker: Continuous Validation of Complex Systems

Descriptive Note:

Final rept. July 2000-Oct 2003

Corporate Author:

OREGON UNIV EUGENE DEPT OF COMPUTER AND INFORMATION SCIENCE

Personal Author(s):

Report Date:

2005-04-01

Pagination or Media Count:

39.0

Abstract:

It is currently difficult to develop software systems that are dynamically composablere-composable, i.e., systems that can be dynamically assembledadapted at run-time based on feedback from software monitors gauges that provide information on both functional and non-functional system properties. The goal of the University of Oregon research was to develop technology that will enable mission critical systems to meet these high assurance, high dependability, and high adaptability requirements. In particular, this effort generalized simple 01 gauges such that these gauges can now have a range of values including a yellow zone that indicates an impending problem before the problem becomes critical.

Subject Categories:

  • Numerical Mathematics
  • Computer Programming and Software
  • Computer Systems
  • Human Factors Engineering and Man Machine Systems

Distribution Statement:

APPROVED FOR PUBLIC RELEASE