Probabilistic Analysis of Time Sensitive Systems

Abstract

Time-sensitive systems in uncertain environments have complex behaviors. How do we assure correctness of such systems? * Exact probabilistic verification is infeasible due to model size * Black box testing does not yield bounded predictions * Need formal approach for dealing with uncertainty * Accurate, bounded, probabilistic results * In reasonable time even for rarely occurring errors.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 2014
Accession Number
ADA610981

Entities

People

  • Jeffery Hansen

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Copyrights
  • Department Of Defense
  • Engineering
  • Errors
  • Formal Languages
  • Governments
  • Guarantees
  • Information Operations
  • Language
  • Materials
  • Probability
  • Software Development
  • Statistical Samples
  • United States
  • Universities
  • Weighting Functions

Fields of Study

  • Computer science

Readers

  • Neural Network Machine Learning.
  • Software Engineering.
  • Statistical inference.