Timing verification in transaction modeling

Les systèmes Matériels/Logiciels deviennent indispensables dans tous les aspects de la vie quotidienne. La présence croissante de ces systèmes dans les différents produits et services incite à trouver des méthodes pour les développer efficacement. Mais une conception efficace de ces systèmes est limitée par plusieurs facteurs, certains d'entre eux sont: la complexité croissante des applications, une augmentation de la densité d'intégration, la nature hétérogène des produits et services, la diminution de temps d’accès au marché. Une modélisation transactionnelle (TLM) est considérée comme un paradigme prometteur permettant de gérer la complexité de conception et fournissant des moyens d’exploration et de validation d'alternatives de conception à des niveaux d’abstraction élevés. Cette recherche propose une méthodologie d’expression de temps dans TLM basée sur une analyse de contraintes temporelles. Nous proposons d'utiliser une combinaison de deux paradigmes de développement pour accélérer la conception: le TLM d'une part et une méthodologie d’expression de temps entre différentes transactions d’autre part. Cette synergie nous permet de combiner dans un seul environnement des méthodes de simulation performantes et des méthodes analytiques formelles. Nous avons proposé un nouvel algorithme de vérification temporelle basé sur la procédure de linéarisation des contraintes de type min/max et une technique d'optimisation afin d'améliorer l'efficacité de l'algorithme. Nous avons complété la description mathématique de tous les types de contraintes présentées dans la littérature. Nous avons développé des méthodes d'exploration et raffinement de système de communication qui nous a permis d'utiliser les algorithmes de vérification temporelle à différents niveaux TLM. Comme il existe plusieurs définitions du TLM, dans le cadre de notre recherche, nous avons défini une méthodologie de spécification et simulation pour des systèmes Matériel/Logiciel basée sur le paradigme de TLM. Dans cette méthodologie plusieurs concepts de modélisation peuvent être considérés séparément. Basée sur l'utilisation des technologies modernes de génie logiciel telles que XML, XSLT, XSD, la programmation orientée objet et plusieurs autres fournies par l’environnement .Net, la méthodologie proposée présente une approche qui rend possible une réutilisation des modèles intermédiaires afin de faire face à la contrainte de temps d’accès au marché. Elle fournit une approche générale dans la modélisation du système qui sépare les différents aspects de conception tels que des modèles de calculs utilisés pour décrire le système à des niveaux d’abstraction multiples. En conséquence, dans le modèle du système nous pouvons clairement identifier la fonctionnalité du système sans les détails reliés aux plateformes de développement et ceci mènera à améliorer la "portabilité" du modèle d'application.

Comparative safety respiratory pharmacology : validation of a head-out plethysmograph – pneumotachometer testing device in male Sprague–Dawley rats, Beagle dogs and Cynomolgus monkeys

Le but de cette étude était d’évaluer les qualifications de performance du système FlexiWare® chez le rat male Sprague Dawley et le singe Cynomolgus éveillés, ainsi que chez le chien Beagle éveillé et anesthésié, suite à l’administration de produits ayant une activité pharmacologique connue. Les produits utilisés incluaient l’albutérol administré par inhalation, la méthacholine, et le rémifentanil administrés par voie intraveineuse. Une solution saline administré par voie intraveneuse, a été utilisée comme substance témoin. Différentes variables ont servi à évaluer la réponse des animaux (rats, chien, singe). Ces dernières comprenaient la fréquence respiratoire (RR), le volume courant (TV), la ventilation minute (MV). Des paramètres additionnels ont été évalués chez le rat, soit les temps d’inspiration (IT) et d’expiration (ET), le temps du pic de débit expiratoire, les pics de débits inspiratoire et expiratoire, le ratio inspiratoire:expiratoire (I:E), le ratio inspiratoire sur respiration totale (I:TB), et l’écoulement expiratoire moyen (EF50). Les résultats obtenus ont démontré que le système FlexiWare® était suffisamment sensible et spécifique pour dépister, chez les espèces animales utilisées, les effets bronchodilateur, bronchoconstricteur et dépresseur central des substances testées. Il pourrait faire partie des méthodes (ICH 2000) utilisées en pharmacologie de sécurité lors de l’évaluation de substances pharmacologiques sur le système respiratoire des animaux de laboratoire. Les espèces animales utilisées ont semblé s’adapter aisément aux procédures de contention. Les paramètres évalués, RR, TV et MV ont permis de caractériser la réponse des animaux suite à l’administration de produits pharmacologiques à effets connus, judicieusement complétés par les variables de débit. L’ajout de paramètres du temps n’était pas primordiale pour détecter les effets des drogues, mais offre des outils complémentaires d’interpréter les changements physiologiques. Cependant, chez le rat conscient, la période d’évaluation ne devrait pas s’étendre au-delà d’une période de deux heures post traitement. Ces études constituent une évaluation des qualifications de performance de cet appareil et ont démontré de manière originale, la validation concurrentielle, en terme de précision (sensibilité et spécificité) et fiabilité pour différentes variables et sur différentes espèces.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Street-level labour inspection in China and the implementation of ILO Convention No.155 concerning occupational safety and health

Les relations de travail et d'emploi sont devenues des enjeux importants en Chine. La Chine a ratifié 25 conventions internationales du travail et a travaillé en étroite collaboration avec l'OIT pour améliorer la sécurité et la santé au travail. Malgré ces efforts, la Chine est souvent critiquée pour des violations du travail. Face à ces problèmes, un système législatif d'administration de travail a été développé au niveau national. Mais l’application de ces règlements demeure problématique.. En particulier, les difficultés rencontrées par les inspecteurs du travail dans l'application de ces lois constituent un élément clé du problème. Notre mémoire s'intéresse essentiellement au rôle de l'inspecteur du travail dans l'administration publique de la sécurité du travail en Chine. Ces fonctionnaires jouent un rôle important et peuvent parfois exercer leur discrétion en tant qu'acteurs de première ligne, faisant d'eux de vrais décideurs politiques. Par conséquent, la compréhension de leur rôle et de leur discrétion dans l'application des normes du travail en Chine est cruciale. Notre mémoire est centré sur une étude de cas qualitative d'un bureau d'inspection du travail dans la région de Beijing. Dans le cadre de notre recherche nous avons examiné le rôle des inspecteurs du travail au moyen d’entretiens semi-structurés, d’une recherche documentaire ainsi qu’à l’occasion d’une brève observation des inspecteurs sur lors de la visite d’un lieu de travail. Les résultats démontrent que la définition du pouvoir discrétionnaire des inspecteurs du travail de première ligne en Chine est un enjeu très complexe. L’étude de cas permet cependant d’élaborer un cadre permettant l’identification des facteurs critiques déterminants pour l'évaluation et la compréhension de la nature du pouvoir discrétionnaire de l'inspecteur du travail en application de la loi.

Les effets des pratiques de leadership sur la performance de l’équipe : rôle médiateur de l’engagement des membres envers les objectifs d’équipe

Le but de cette recherche est la vérification des relations entre les pratiques de leadership et la performance de l’équipe. Nous nous concentrons sur deux pratiques de leadership distinctes : le leadership d’empowerment et le leadership autocratique. Cette recherche vise également à comprendre le rôle médiateur de l’engagement des membres envers les objectifs d’équipe dans ces relations. De plus, nous examinons la combinaison des deux pratiques de leadership chez un même responsable d’équipe, à savoir si l’adoption d’un style de leadership peut réduire ou amplifier l’effet de l’autre style de leadership. Les données de types secondaires ont été colligées auprès de 381 membres faisant partie de 101 équipes ainsi que des 101 supérieurs immédiats de ces équipes œuvrant dans une organisation de sécurité publique canadienne. Ces données ont été recueillies grâce à un questionnaire. Des analyses factorielles confirmatoires et des analyses de régression hiérarchique ont permis de vérifier nos huit hypothèses. Les résultats montrent que les pratiques de leadership sont modérément et significativement liées à la performance d’équipe. Les pratiques de leadership sont également liées fortement et significativement à l’engagement des membres envers les objectifs d’équipe. Par ailleurs, les résultats révèlent que l’engagement des membres envers les objectifs d’équipe joue un rôle médiateur complet dans la relation entre les pratiques de leadership et la performance d’équipe. Par contre, l’effet d’interaction entre les pratiques de leadership n’est pas significatif. La vérification du rôle médiateur de l’engagement des membres envers les objectifs d’équipe constitue un apport théorique dans la compréhension des équipes de travail. Sur le plan pratique, les résultats montrent que les responsables d’équipe ont intérêt à adopter des pratiques de gestion permettant l’atteinte des objectifs d’équipe tout en améliorant le sentiment d’engagement des membres et la performance d’équipe.

Safety check : réseaux numériques et sentiment de sécurité

La fonction de contrôle d’absence de danger ("safety check") activée par Facebook lors des attentats terroristes à Paris, nous a permis d’accéder à un ultérieur niveau d’intimité, nous entrelaçant encore une fois de plus au réseau dont nous faisons partie et qui fait autant partie de nous. Le rôle assumé par la plateforme de Zuckerberg pendant cette nuit de terreur pose autant de questions philosophiques sur la relation entre individuel et collectif que de problèmes politiques sur l’institutionnalisation d’une entreprise privée, forte d’une infrastructure transversale aux limites de l’appartenance nationale de tout un chacun, et qui aujourd’hui, hors du web, n’a pas de compétiteurs dans une capacité de plus en plus cruciale : celle de nous saisir en tant qu'éléments d’un réseau.