Testing Component-Based Real Time Systems

International audienceThis paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framework that does not require the computation of the synchronous product (composition) of components, and therefore avoids a major bottleneck in this class of test. For this framework, we introduce an approach and associated algorithm. In our approach, the overall behavior of the system is obtained by restricting free runs of components to those involving interactions between them. This restriction is achieved through the use of a particular component called assembly controller. For the generation algorithm, compositional test cases are derived from the assembly controller model using symbolic analysis. This reduces the state space size (a practical size) and enables the generation of sequences which cover all critical interaction scenarios

Luxation traumatique de la hanche chez l’enfant (à propos d’un cas)

Il s'agit d'un enfant de 5ans, sans antécédent pathologique notable, victime d'une chute de sa hauteur à la cour de l’école, occasionnant chez lui une douleur et une impotence fonctionnelles totales du membre inférieur gauche. L'examen clinique trouve un membre inférieur raccourci en adduction et rotation interne. Le bilan radiologique montre une luxation postérieure pure de la hanche sans lésion associée (A). La prise en charge en urgence a consisté en une réduction de la luxation sous anesthésie générale (B), suivie de la mise en place d'une traction non collée pendant 3 semaines

Modélisation, analyse et test des systèmes communicants à contraintes temporelles : vers une approche ouverte du test

Cette thèse de positionne dans le cadre de la modélisation, l’analyse et le test des systèmes communicants, plus particulièrement les systèmes temps-réel, embarqués et à base de composants. Dans un premier temps, nous introduisons le modèle CS comme une description des systèmes communicants. Le modèle CS est basé sur la séparation entre la description des entités d’un système communicant et la description des communications et du partage des ressources entre ces dernières. Nous montrons aussi comment traiter le cas des systèmes asynchrones et tenir compte des latences du réseau. Dans une seconde partie, nous abordons l’analyse des systèmes temporisés, en particulier l’extraction des diagnostics temporisés pour un chemin symbolique. Nous montrons aussi comment extraire des valuations dites de bornes à partir d’un polyèdre représenté par matrice de bornes (DBM).Dans une troisième partie, nous considérons la génération automatique des tests temporisés. Nous introduisons un cadre formel, comportant une définition de la notion de conformité pour les systèmes temporisés et une approche de génération automatique des tests de conformité. Dans une quatrième partie, nous proposons une modélisation uniforme des différents types, approches et architecture de test. Cette modélisation est basée sur les algorithmes génériques de génération et la définition d’un critère de couverture structurelle sous forme de coloriage (ordonné) de graphe. Comme conclusion de cette partie, nous introduisons la notion du test ouvert. Finalement, nous avons réalisé l’outil TGSE (Test Generation, Simulation and Emulation) développé dans le cadre du projet Calife et l’étude de cas CSMA/CDThe topics of this thesis are modeling, analyzing and testing communicating systems, specially real-time systems, embedded systems and component-based systems. The first part of this thesis is related to the study of models for the description of systems. We introduce the CS model as a description of communicating systems which defines a set of common resources, a set of entities, and a topology of communication. The second part considers the analyze of real-time systems, specially the extraction of timed diagnostics for a symbolic path. We show how to extract bounded valuation from a DBM (Difference Bounded Matrix). The third part of this thesis is devoted to test case generation. We introduce a formal framework for conformance and interoperability testing. The forth part focuses on testing methodologies adapted to protocol testing. We give a formal definition of a generic generation algorithm (GGA). We demonstrate that the CS model with a GGA supports various 1) test architectures, 2) test types : conformance, interoperability, embedded, component testing, and 3) test approaches : passive and active testing. The last part of this thesis presents the main characteristics of the TGSE tool (Test Generation, Simulation, and Emulation). TGSE is made-up of a test case generator, a graphic simulator of the execution of a sequence generated by TGSE, and a real-time emulator

Novel control strategy for the global model of wind turbine

This paper presents a new nonlinear control for the overall model of a three-blade horizontal axis variable speed wind turbine (VSWT) including mechanical and electrical parts, with the aim of improving its performance and making it more profitable. The proposed control is an extension of the classical sliding mode control (SMC) by converting its sliding surface into a sliding sector. The classical SMC approach is widely used for nonlinear systems due to its stability against parameter variation, it is robustness against modeling uncertainties, its good results against external disturbances, and its ease of implementation in real time. Unfortunately, the SMC has a major drawback related to the chattering phenomenon. This phenomenon is due to the utility of a higher switching gain in the case of large uncertainties, it causes high-frequency oscillations once the sliding regime is reached, and it can cause a loss of accuracy by influencing the input control variables. This is the reason that aims to develop a new control law to eliminate the chattering and to guarantee stability, which is demonstrated by the Lyapunov theory. The effectiveness of the developed control is compared with the SMC and is illustrated by numerical simulations using MATLAB toolboxes

ProMap: Effective Bilingual Lexicon Induction via Language Model Prompting

Bilingual Lexicon Induction (BLI), where words are translated between two languages, is an important NLP task. While noticeable progress on BLI in rich resource languages using static word embeddings has been achieved. The word translation performance can be further improved by incorporating information from contextualized word embeddings. In this paper, we introduce ProMap, a novel approach for BLI that leverages the power of prompting pretrained multilingual and multidialectal language models to address these challenges. To overcome the employment of subword tokens in these models, ProMap relies on an effective padded prompting of language models with a seed dictionary that achieves good performance when used independently. We also demonstrate the effectiveness of ProMap in re-ranking results from other BLI methods such as with aligned static word embeddings. When evaluated on both rich-resource and low-resource languages, ProMap consistently achieves state-of-the-art results. Furthermore, ProMap enables strong performance in few-shot scenarios (even with less than 10 training examples), making it a valuable tool for low-resource language translation. Overall, we believe our method offers both exciting and promising direction for BLI in general and low-resource languages in particular. ProMap code and data are available at \url{https://github.com/4mekki4/promap}.Comment: To appear in IJCNLP-AACL 202

Les fractures luxations du cotyle: prise en charge et pronostic à long terme; étude rétrospective portant sur 40 cas

Les fractures luxations du cotyle sont le plus souvent dues à des traumatismes de haute énergie. Elles constituent une urgence thérapeutique, l’association de la luxation à une fracture du cotyle fait apparaître la question du choix thérapeutique entre traitement orthopédique et traitement médical. L’objectif de l’étude est de mettre le point sur l’aspect thérapeutique dans ces lésions mais aussi leurs pronostics à  long terme. Nous rapportons une étude rétrospective portant sur 40 cas colligés au service d’orthopédie  du centre hospitalier universitaire de Rabat. Nous avons évalué les résultats de notre prise en charge mais aussi le pronostic à court et à long terme. Dans notre série, vingt cinq patients ont bénéficié d’un traitement orthopédique alors  que les quinze restants ont été opérés, la voie d’abord la plus utilisée est la voie postérieure. Les résultats fonctionnels ont été évalués, après un recul de 3 à 8 ans, selon la cotation de Merle d’Aubigné. Nous avons  obtenu 90% de résultats satisfaisants. La comparaison de nos résultats à ceux de la littérature montre que le résultat des traitements orthopédiques et chirurgicaux dépend essentiellement du type de fracture. Le  pronostic à long terme reste imprévisible. La survenue des complications tardives telle que la nécrose céphalique et de l'arthrose reste toujours imprévisible, ce qui impose un suivi régulier et prolongé des  patients.Key words: Fracture-luxation, cotyle, traitement orthopédique, traitement chirurgica

UM6P at SemEval-2023 Task 12: Out-Of-Distribution Generalization Method for African Languages Sentiment Analysis

peer reviewedThis paper presents our submitted system to AfriSenti SemEval-2023 Task 12: Sentiment Analysis for African Languages. The AfriSenti consists of three different tasks, covering monolingual, multilingual, and zero-shot sentiment analysis scenarios for African languages. To improve model generalization, we have explored the following steps: 1) further pre-training of the AfroXLM Pre-trained Language Model (PLM), 2) combining AfroXLM and MARBERT PLMs using a residual layer, and 3) studying the impact of metric learning and two out-of-distribution generalization training objectives. The overall evaluation results show that our system has achieved promising results on several sub-tasks of Task A. For Tasks B and C, our system is ranked among the top six participating systems

Arthrose due au genu varum: traitement par osteotomie tibiale de valgisation

Le traitement du genu varum est le plus souvent conservateur (ostéotomie tibiale de valgisation)  permettant de corriger le trouble architectural afin de rétablir l’axe physiologique du membre inférieur. Le but de l’étude était d’évaluer les résultats du traitement et comparer à ceux de la littérature. Il s’est agi d’une étude rétrospective portant sur des patients présentant un genu varum qui s’est déroulée dans le Service de Chirurgie Orthopédique et Traumatologie de CHU Ibn SINA de RABAT, sur une période de 9 ans (2000 au 31 Décembre 2008). Nous avons inclus dans notre étude : les patients qui avaient un genu-varum clinique avec examen radiographique standard ainsi qu’un pangonogramme ; traités par différents procédés d’ostéotomie tibiale de valgisation; avec un suivis d’ au moins deux ans. Nos critères  d’évaluation ont été appréciés selon le score HSS . Nous avons colligé 115 cas de genu-varum par  ostéotomie de valgisation. L’âge de nos patients variait entre 40 et 69 ans, avec une moyenne de 53 ans. Le pic de fréquence se situait entre 52et 63 ans.Le sexe féminin prédominait avec 87 cas (75,6%) avec un sex ratio 3,1.Un Indice de masse corporelle supérieur à 30 a été noté dans 44 cas (38%).Quant aux  antécédents chirurgicaux ,18 patients de la série (soit 14%) ont été opérés pour le genu varum d’un autre genou. Le délai de consultation a varié entre 4 mois à 6 ans, avec une moyenne de 2 ans. La douleur était le principal motif de consultation et était de siège médial dans 70% des cas et bicompartimental dans 30% cas. Il s’agissait d’une douleur mécanique dans 76% des cas, mixte 21% des cas et inflammatoire 4% des cas. La déformation du genou appréciée par l’écart intercondylien a été en moyenne de 8,7 cm avec des extrêmes de 3 cm et 33cm. Le bilan de l’imagerie médicale reposait essentiellement sur les radiographies standards du genou de face et de profil, ainsi que la goniométrie. Ces clichés nous ont permis de classer l’arthrose du genou selon Ahlbäck. 72,5% des patients, présentaient une arthrose  débutante. Le pangonogramme a été réalisé pour mesurer la déviation axiale du génu varum. La déviation angulaire : HKA (angle entre le centre de la tête fémorale et le milieu de la cheville) préopératoire a varié  entre 163° et 176°, soit une moyenne de 175,46°. Une correction moyenne de déviation de 11,3° a été réalisée avec des extrêmes de 7 à 19°. Cet angle de  correction (DAC) qui variait de 7 à 19° a été   supérieur à 15° dans 57,39%s inférieur à 15° chez 38%. 27,4% des patients avaient une déviation  angulaire  importante avec une arthrose avancée .Après un bilan préopératoire et une planification  opératoire 73% des patients ont été opérés sous anesthésie  loco-régionale. Pour l’ostéotomie tibiale de fermeture, la voie d’abord a été la voie de Gernez antérolatérale, utilisée chez 56 cas (48,6%)  ,l’ostéotomie tibiale  d’ouverture( la voie d’abord était Gernez antéro- médiale) effectuée dans 20 cas  (17,3%) ;et l’ostéotomie curviplane, a été réalisée par une voie d’abord  longitudinale médiane dans 39%. Les ostéosynthèses ont été réalisées dans 51 cas (44,3%) par les agrafes de Blount, dans 54 cas  (46,9%) par la plaque en T ou en L et dans 11 cas par une plaque en col de cygne. .En per-opératoire nous avons enregistré deux (02) cas de fractures du plateau tibial médial, en post-opératoire on a eu 1 cas d’infection superficielle et comme complications tardives une raideur du genou (18,2%) et 3,4% de pseudarthrose, une récidive du génu varum dans 19,1% (n=22) après 3 années de recul. Les résultats du traitement ont été bons dans 78,4% selon le score HSS. L’OTV sur genu varum a été réalisé chez des  patients relativement âgés avec la prédominance du sexe féminin. Les techniques utilisées dépendaient de la préférence du chirurgien. Les résultats sont probants malgré la fréquence des récidives. Quelle que  soit la technique utilisée les résultats sont satisfaisants, et malgré l’âge élevé l’OTV pourrait être une alternative intéressante et toujours d’actualité dans nos pays où la population est à majorité analphabète avec un niveau socioéconomique bas.Key words: Genu varum, arthrose, ostéotomi

Ostéome ostéoide intra-articulaire du genou simulant un tableau d’arthrite du genou

L'ostéome ostéoïde est une tumeur bénigne ostéoblastique relativement rare, constituée d'une petite lésion de tissu charnu et vascularisé, appelé nidus, cernée d'une ostéocondensation réactionnelle. Il représente 2 à 3% de l'ensemble des tumeurs osseuses et 10 à 20 % des tumeurs osseuses bénignes et survient généralement entre 10 et 25 ans (extrêmes : 5-53 ans), avec une nette prédominance masculine. La localisation intra-articulaire est rare représentant environ 10 à 13% descas. La clinique et les images radiologiques, souvent  atypiques, rendent son diagnostic ardu. Le risque de traitement inadéquat est important. Jusqu'à 40% d'arthroscopies inappropriées ont été rapportés. Le cas rapporté illustre cette situation.Key words: Ostéome, genou, arthrit