DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD1168410
Title:
Safety Analysis and Fault Detection Isolation and Recovery Synthesis for Time-Sensitive Cyber-Physical Systems--SAFIR
Report Date:
2022-05-11
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
Document Type:
Conference:
Journal:
Pages:
61
File Size:
3.29MB
FA8702-15-D-0002
(FA870215D0002);
Contracts:
Grants:
Distribution Statement:
Approved For Public Release
