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.
Safety Analysis and Fault Detection Isolation and Recovery Synthesis for Time-Sensitive Cyber-Physical Systems--SAFIR
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
Approved For Public Release