Scalable, Reconfigurable, and Dependable Time-Triggered Architecture

For faster loading, there are no images on this page.


As part of the Darpa NEST program, developed hierarchically structured version of the Time-Triggered Architecture (TTA) that will scales to many thousands of nodes.

TTA is an architecture for embedded control systems that is being adopted by both the automobile and aviation industries: it has the unique advantage of combining the low cost of mass-produced automobile technology with the ultra-high dependability and assurance of aviation products.


Our team comprises

Slides from PI meetings

Darpa Charts

Having trouble viewing our papers or slides?
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page