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

Abstract

Software increasingly dominates safety and mission-critical system development Issues discovered long after they are created A critical task: Reducing safety and security risks through early analytical assurance Goal: Early discovery of system-level issues through virtual integration and incremental analytical assurance Solution: Language standardized via SAE International and matured into practice through pilot projects and industry initiatives Tooling available under open source license continually enhances analysis, verification, and generation capabilities Expertise in Modeling Safety-Critical Embedded Systems

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 11, 2022
Accession Number
AD1168410

Entities

People

  • Jérôme Hugues

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Actuators
  • Application Software
  • Artificial Intelligence
  • Case Studies
  • Detection
  • Detectors
  • Environment
  • Fail Safe
  • Fault Tolerance
  • Flow Network
  • Graphs
  • Handbooks
  • Intrusion Detection
  • Language
  • Simulations
  • Software Development
  • Taxonomy

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Systems Analysis and Design

Technology Areas

  • Cyber