4 Décembre - 10 Décembre


Retour à la vue des calendrier
Lundi 4 Décembre
Heure: 15:00 - 16:00
Lieu: Salle A303, bâtiment A, campus de Villetaneuse
Résumé: Séminaire SV : Hiba Ouni
Description: Hiba Ouni
Titre : Parallel Symbolic Observation Graph


Abstract:
Model checking is a powerful technique for verifying and analyzing complex systems in many application fields. The analysis process of complex and concurrent systems often requires large computation resources which represents a real challenge. Even with simple configurations, the well-known state explosion problem is faced as the generated state space of such systems grows exponentially with the number of the system components. Numerous methods and techniques have been developed to overcome this problem including parallel and distributed-memory processing. In this work, we aim at improving the performances of the so called Symbolic Observation Graph (SOG) construction by using parallelization techniques. A SOG is a hybrid structure where the transitions of a system are divided into observed and unobserved ones. The nodes of this graph are then defined as sets of states linked with unobserved transitions (and encoded symbolically with a BDD) and edges are labeled with observed transitions only (and are explicitly represented). We propose two parallel algorithms to build the SOG. The first algorithm is dedicated for shared memory architectures, and is based on the distribution of the SOG construction on several threads using a dynamic load balancing scheme. The second algorithm is proposed for distributed memory architectures, and distributes the SOG construction on processes using a static load balancing scheme.
These two algorithms are implemented and their performances are studied and compared to each other and to the sequential construction of the SOG.
Mardi 5 Décembre
Heure: 12:45 - 15:30
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: soutenance de thèse
Description: Quentin de Mourgues
Mercredi 6 Décembre
Heure: 10:00 - 13:00
Lieu: Salle B107, bâtiment B, Université de Villetaneuse
Résumé: Axel Bacher, Kilian Raschel, Arvind Singh et Niccolò Torri
Description: Journée mathstic
Vendredi 8 Décembre
Heure: 14:00 - 17:00
Lieu: TBA
Résumé: Réduction et Approximations Linéaires
Description: Luc Pellissier TBA