Assuring Non-Deterministic Software-Based Systems

Abstract

Validation of behavior of new technologies is essential for its adoption: Non-deterministic algorithms: e.g., Machine Learning (ML), Unpredictable environments: e.g., navigating unknown area. Assured Autonomy: Enable ML to Detect complex patterns (object recognition) and Determine actions to take in uncertain situations, Interact with unknown environment. Cyber-Physical Systems React to physical environment, Safe behavior: safe actions at correct time (e.g., prevent crash).

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2018
Accession Number
AD1146958

Entities

People

  • Dionisio de Niz

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy

DTIC Thesaurus Topics

  • Autonomous Systems
  • Computer Programs
  • Computer Vision
  • Cyber-Physical Systems
  • Department Of Defense
  • Emerging Technology
  • Engineering
  • Environment
  • Governments
  • Guarantees
  • Human-Machine Systems
  • Hypervisors
  • Machine Learning
  • Machines
  • Materials
  • Object Recognition
  • Overload
  • Recognition
  • Software Development
  • Universities
  • Verification

Fields of Study

  • Computer science

Readers

  • Agent-Based Social Robotics and Mobile-Assisted Learning in Virtual Environments.
  • Aviation Safety Risk Assessment.
  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - Autonomous Systems
  • AI & ML - Neural Networks
  • Cyber