Formal Composition Technology for Time-Triggered Systems

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

As part of the Darpa MOBIES program, we are developing an integrated approach to the construction of low-cost, high-assurance embedded systems that supports their systematic formal development, starting from requirements specified in a variety of model-based frameworks, down to highly reliable and fault-tolerant time-triggered implementations.

Slides from PI meetings

If you need a postscript viewer, follow the first link under the rule at bottom

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