Lacramioara Astefanoaei ; Souha Ben Rayana ; Saddek Bensalem ; Marius Bozga ; Jacques Combaz
-
Compositional Verification for Timed Systems Based on Automatic
Invariant Generation
Compositional Verification for Timed Systems Based on Automatic
Invariant Generation
Authors: Lacramioara Astefanoaei ; Souha Ben Rayana ; Saddek Bensalem ; Marius Bozga ; Jacques Combaz
NULL##NULL##NULL##NULL##NULL
Lacramioara Astefanoaei;Souha Ben Rayana;Saddek Bensalem;Marius Bozga;Jacques Combaz
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 timings in the components alone. To this end, we make use
of auxiliary clocks to automatically generate new invariants which capture the
constraints induced by the synchronisations between components. The method has
been implemented in the RTD-Finder tool and successfully experimented on
several benchmarks.
Autonomic Service-Component Ensembles; Funder: European Commission; Code: 257414
CErtification of Real Time Applications desIgNed for mixed criticaliTY; Funder: European Commission; Code: 288175
4 Documents citing this article
Source : OpenCitations
Ben Hafaiedh, Imen; Ben Slimane, Maroua; Robbana, Riadh, 2016, A Distributed Formal Model For The Analysis And Verification Of Arbitration Protocols On Mpsocs Architecture, Algorithms And Architectures For Parallel Processing - Lecture Notes In Computer Science, pp. 658-674, 10.1007/978-3-319-49583-5_51.
Ben Slimane, Maroua; Ben Hafaiedh, Imene; Robbana, Riadh, 2017, Formal-Based Design And Verification Of Soc Arbitration Protocols: A Comparative Analysis Of Tdma And Round-Robin, Ieee Design &Amp; Test, 34, 5, pp. 54-62, 10.1109/mdat.2017.2713352.
Dellabani, Mahieddine; Combaz, Jacques; Bozga, Marius; Bensalem, Saddek, 2016, Local Planning Of Multiparty Interactions With Bounded Horizons, Fm 2016: Formal Methods - Lecture Notes In Computer Science, pp. 199-216, 10.1007/978-3-319-48989-6_13.
Hafaiedh, Imene Ben, 2019, A Generic Formal Model For The Comparison And Analysis Of Distributed Job-Scheduling Algorithms In Grid Environment, Journal Of Parallel And Distributed Computing, 132, pp. 331-343, 10.1016/j.jpdc.2019.05.002.