Compositional Timing Analysis

Ramzi Ben Salah (1) , Marius Bozga (1) , Oded Maler (1)

1 VERIMAG - IMAG - VERIMAG

We develop and implement a methodology for automatic abstraction of systems defined as networks of timed components modeled by timed automata. The abstraction technique yields an abstract model with much less clocks and states which over-approximate the timed behavior of the concrete system. Using this technique we can analyze timed system of size beyond the capabilities of contemporary analysis tools for timed automata.

Mots clés: timed automata; abstraction; reachability analysis; compositional generation

Domaines: Systèmes embarqués

Ramzi Ben Salah, Marius Bozga, Oded Maler. Compositional Timing Analysis. 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Oct 2009, Grenoble, France. pp.39-48, ⟨10.1145/1629335.1629342⟩. ⟨hal-00722516⟩