temporal logic . org
 Air Traffic Management |
Unmanned Aerial Systems |
Cockpit Operations |
 Wind Tunnels |
Air Traffic Management |
Unmanned Aerial Systems |
Cockpit Operations |
Wind Tunnels |
We have established rigorous benchmarks to enable more accurate assessment of Linear Temporal Logic-to-automata translation performance in new ways, evaluating efficiency, scalability, and correctness, thereby defining a de facto industry standard. We continue to develop quality benchmarks for specifications, diagnostics, and system health management.
It is essential to verify systems at design time, when it is cheapest and easiest to fix any unexpected emergent behaviors. We are advancing methods for design-time analysis of safety-critical aerospace systems.
By harnessing the efficiency of runtime temporal monitors, we can perform more efficient real-time system health management than ever before. We continuously push the envelope on the quality of knowledge about system health, safety, and security that we can bring to pilots or unmanned, intelligent, automated systems.
