Accession Number:

ADA610981

Title:

Probabilistic Analysis of Time Sensitive Systems

Descriptive Note:

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST

Personal Author(s):

Report Date:

2014-10-01

Pagination or Media Count:

3.0

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.

Subject Categories:

  • Operations Research
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE