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
Our team comprises
Slides from PI meetings
Having trouble viewing our papers or slides?
Return to the Formal Methods Program home page
Return to the Computer Science Laboratory home page