TRIADE aims at using formal models with structuring programmatic constructs as means to translate programs and descriptions written in formalisms widely used in Embedded System and SoC design, and provide a seamless flow of increasingly time-defined and time-accurate models, so as to progressively obtain the final mapped implementation through provably correct steps from the early description elements.

Meetings

TRIADE meeting, october 10th, 2010, INRIA Rennes

TRIADE workshop, september 29th, 2010, IRISA, Paris

TRIADE workshop, june 8th, 2010, INRIA, Paris

TRIADE meeting, april 12th, 2010, INRIA Rennes

TRIADE workshop, march 2nd-3rd, 2010, INRIA, Paris

TRIADE meeting, february 9th-10th, 2009, INRIA Rennes

TRIADE meeting, september 21st, 2009, INRIA Sophia Antipolis

TRIADE meeting, june 23rd, 2009, INRIA Rennes

TRIADE workshop, march 25th, 2009 (Room Corsica), IRISA, Rennes

INRIA workshop «Systèmes Embarqués», march 9th, 2010, Paris

TRIADE meeting, february 23rd-24th, 2009, INRIA Rennes

TRIADE meeting, november 12th, 2008, INRIA Rocquencourt