Work

Compositional timing analysis

Year: 2009

Type: conference-paper

Abstract: 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.

Source: ACM International Conference on Embedded Software (EMSOFT)

DOI: 10.1145/1629335.1629342

Authors: Ramzi Ben Salah, Marius Dorel Bozga, Oded Maler

Institution: Verimag

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2020915693

FWCI: 2.066

Cites: 24

Cited by: 21

Related to: 10