Accession Number:

AD1183613

Title:

Safety Analysis and Fault Detection Isolation and Recovery (SAFIR) Synthesis for Time-Sensitive Cyber-Physical Systems

Descriptive Note:

[Technical Report, Briefing Charts]

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA

Personal Author(s):

• Hugues, Jerome
• Hanna, Keaton

Report Date:

2022-11-15

Pagination or Media Count:

26

Abstract:

Descriptors:

• autonomous systems
• detectors
• detection
• engineering
• language
• robotics
• department of defense
• engineers
• guarantees
• materials
• safety analysis
• software development
• systems engineering
• air transportation
• artificial intelligence
• intrusion detection
• safety

Subject Categories:

Distribution Statement:

[A, Approved For Public Release]