Architecture-Supported Audit Processor: Interactive, Query Driven Assurance

Abstract

Outline. 1. Background. 1. AADL / OSATE. 2. PulseOx Forwarding. 3. STPA, SAFE. 2. ASAP: Three Viewpoints. 3. Future Work.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2021
Accession Number
AD1147454

Entities

People

  • Jérôme Hugues
  • Sam Procter

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Accidents
  • Compensation
  • Concrete
  • Contracts
  • Copyrights
  • Department Of Defense
  • Detectors
  • Engineering
  • Environment
  • Governments
  • Guarantees
  • Handbooks
  • Hazards
  • Hierarchies
  • Materials
  • Oxygenation
  • Patents
  • Software Development
  • Universities

Fields of Study

  • Computer science