An Iterative Method for the Design Process of Mode Handling Model

This paper focuses on formal verification and validation of a model dedicated to mode handling of flexible manufacturing systems. The model is specified using the synchronous formalism Safe State Machines. A structured framework for the design process is presented. The obtained model is characterized by a strong hierarchy and concurrency that is why within the design process an iterative approach for specification, verification and validation is propose in order to improve this process. The main properties being verified are presented and the approach is illustrated through an example of a manufacturing production cell

Study of pathway of SUMOylation in Amyotrophic Lateral Sclerosis associated with SOD1 gene mutation

La sclérose Latérale Amyotrophique (SLA) est une maladie neurodégénérative des motoneurones impliquant des facteurs environnementaux et génétiques. Notre étude porte sur l’étude des relations entre la voie de la SUMOylation post-Traductionnelle des protéines et les effets du stress oxydant et de mutants SOD1. Nous montrons tout d’abord que 2 nouveaux mutants, SOD1V31A et SOD1E121G identifiés chez des patients SLA à évolution lente, entraîne la formation d’agrégats cellulaires Ub/SUMO dans la formation des agrégats était suggérée. Nous montrons 1) que les NSC-34 exposées à un stress oxydant et exprimant SOD1 mutée présentent une modification d’expression de plusieurs gènes des voies de l’Ub/SUMO ; 2) que l’expression de SOD1 mutée réduit le pool de protéine SUMO-1 libre dans les cellules motoneuronales, possible conséquence d’une séquestration dans les agrégats ; 3) qu’inhiber la SUMOylation de SOD1 mutée réduit la quantité de cellules avec agrégats. Nos résultats indiquent qu’une meilleure connaissance de la voie de SUMO pourrait conduire à de nouvelles cibles thérapeutiques intéressantes dans la SLA.Amyotrophic Lateral Sclerosis (ALS) is a neurodegenerative disease of motor neurones involving a combination of environmental and genetics factors. Ours work focuses on the relathionship between the SUMOylation pathway and the effects of oxidative stress and SOD1 mutants. We first show that 2 new mutants, SOD1V31A and SOD1E121G identified in ALS patients with a slowly progressive disease, induce the formation of Ub/SUMO positive aggregates in motor neuronal cells NSC-34. The implication of the Ub/SUMO pathways has been proposed in the formation of aggregates in ALS. We show 1) modification of expression of several genes of the Ub/SUMO pathways in NSC-34 exposed to oxidative stress and expressing various mutated SOD1 proteins; 2) that the expression of mutants SOD1 reduces free-SUMO1 concentration in motor neuronal cell, perhaps by a sequestration in aggregates; 3) that the inhibition of SUMIylation of various mutants SOD1 reduces the amount of cells with aggregates. Our results support further studies on the SUMO pathway that may lead to new therapeutics targets in ALS

Organisation d'un système national de pharmacovigilance (étude pilote dans le milieu hospitalier au Liban)

L'objectif de cette thèse est de décrire l'organisation générale du système national de pharmacovigilance et de présenter une étude pilote en pharmacovigilance en milieu hospitalier au Liban. La partie théorique comprend un exposé général de la discipline de pharmacovigilance, une description détaillée de la structure, des ressources, du fonctionnement et de la méthodologie du système national de pharmacovigilance. L'étude pilote menée dans 6 hôpitaux de la région du Grand Beyrouth sur l'application d'une méthode active de recueil dans les services de médecine, de soins intensifs et de pédiatrie a révélé des taux de notification très bas (0,84 % de cas et 1,1 % d'EIM par rapport aux admissions) et a permis une description des patients, déclarants, EIM et médicaments suspects notés dans les déclarations. La méthode testée s'est révélée valable dans les hôpitaux où ont eu lieu un suivi de la part de l'administration et une motivation du corps médical et du personnel infirmier.The aim of this thesis is to describe the national pharmacovigilance system and to present a pilot study in pharmacovigilance, in hospital setting in Lebanon. The theoretical part of the work includes a general description of the pharmacovigilance field and a detailed description of the structure, resources, functioning and methods of a national pharmacovigilance system. The pilot study conducted in 6 hospitals in the Big Beirut area about the feasibility of an active method of ADR notification, in medical, intensive care and pediatric wards, showed very low notification rates (0,84 % of cases and 1,1 % of ADR reported to admissions) and allowed the description of patients, reporters, ADR and suspected drugs, mentioned in the notification reports. The tested method was considered successful in hospitals where supervision from the administration and motivation from medical and nursing staff occured.BORDEAUX2-BU Santé (330632101) / SudocSudocFranceF

Un modèle Orienté Composants pour les Évolutions et Défaillances des Systèmes Hybrides

National audienc

La caractérisation dynamique des défaillances (une nouvelle approche pour la gestion active des défaillances au sein des systèmes physiques industriels complexes)

LILLE1-BU (590092102) / SudocVILLENEUVE D'ASCQ-ECLI (590092307) / SudocSudocFranceF

Verification and validation of a SSM model dedicated to model handling of flexible manufacturing systems

International audienc