Pacemaker: Continuous Validation of Complex Systems

Abstract

It is currently difficult to develop software systems that are dynamically composable/re-composable, i.e., systems that can be dynamically assembled/adapted 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 0/1 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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 2005
Accession Number
ADA433930

Entities

People

  • Michal Young
  • Stephen Fickas

Organizations

  • University of Oregon

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Airborne Warning And Control System
  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Computers
  • Construction
  • Debugging
  • Engineering
  • Graphical User Interface
  • Hard Copy
  • Information Science
  • Language
  • Programming Languages
  • Software Development
  • Software Metrics
  • User Interface

Fields of Study

  • Computer science

Readers

  • Distributed Systems and Data Platform Development
  • Oceanography.
  • Systems Analysis and Design