Compositional Verification for Timed Systems Based on Automatic Invariant Generation

Autor: Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga, Jacques Combaz

Publikováno v: Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)

We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main challenge is to obtain pertinent global timing constraints from the t

Externí odkaz: https://doaj.org/article/cab2ce2fce42464191d052bf3eaec61a

RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems

Autor: Saddek Bensalem, Marius Bozga, Souha Ben-Rayana, Jacques Combaz

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783662496732
TACAS
Lecture Notes in Computer Science
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016)
22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), Apr 2016, Eindhoven, Netherlands. pp.394-406, ⟨10.1007/978-3-662-49674-9_23⟩

International audience; In this paper we present RTD-Finder, a tool which applies a fully compositional and automatic method for the verification of safety properties for real-time component-based systems modeled in the RT-BIP language. The core meth

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bb409159885d824bdb5666f5463e23e9
https://doi.org/10.1007/978-3-662-49674-9_23

Compositional Verification of Parameterised Timed Systems

Autor: Lacramioara Astefanoaei, Jacques Combaz, Souha Ben Rayana, Saddek Bensalem, Marius Bozga

Publikováno v: NASA Formal Methods-7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
NASA Formal Methods-7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015
NASA Formal Methods-7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Apr 2015, Pasadena, United States. pp.66-81, ⟨10.1007/978-3-319-17524-9_6⟩
Lecture Notes in Computer Science ISBN: 9783319175232
NFM

International audience; In this paper we address the problem of uniform verification of parameterised timed systems (PTS): " does a given safety state property hold for a system containing n identical timed components regardless of the value of n? ".

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f8901eae6c767dd7926aa74b0e2e4f1
https://hal.archives-ouvertes.fr/hal-01213420/document

A Non-Quadratic Criterion for FIR MIMO Channel Equalization

Autor: Hichem Besbes, Souha Ben Rayana, Ghaya Rekaya-Ben Othman

Publikováno v: International Conference on Telecommunications (ICT 2013)
International Conference on Telecommunications (ICT 2013), May 2013, Casablanca, Morocco
ICT

In the case of memoryless MIMO channel and when the channel matrix is ill-conditioned, it is well known that performances of the Maximum Likelihood (ML) equalizer are well pronounced, compared to MMSE and ZF equalizers. In dispersive channels the con

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e75afac445c1fef3a85c00f29278d8bb
https://hal.telecom-paris.fr/hal-02288370