Verifying Distributed Adaptive Real Time (DART) Systems

Abstract

Distributed Adaptive Real-Time (DART) systems are key to many areas of DoD capability (e.g., autonomous multi-UAS missions) with civilian benefits. However, achieving high assurance DART software is very difficult. Concurrency is inherently difficult to reason about. Uncertainty in the physical environment. Autonomous capability leads to unpredictable behavior. Assure both guaranteed and probabilistic properties. Verification results on models must be carried over to source code.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2016
Accession Number
AD1145718

Entities

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Cyber

DTIC Thesaurus Topics

  • Collision Avoidance
  • Collisions
  • Computer Programs
  • Department Of Defense
  • Engineering
  • Guarantees
  • Materials
  • Middleware
  • Models
  • Software Development
  • Uncertainty
  • United States
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Applied Combinatorial Optimization and Logic Circuit Design.
  • Unmanned Aerial System (UAS) Autonomous Capabilities and Mission Reconnaissance.