Un environnement de conception de systèmes distribués basé sur UML

Cet article propose un nouvel environnement de développement des systèmes distribués, basé sur le profil UML TURTLE. Aux étapes d'analyse et de conception qui firent l'objet de précédents articles, nous ajoutons une étape de déploiement. Il s'agit en l'occurrence de déployer des composants TURTLE sur des noeuds matériels d'exécution et de modéliser les liens entre ces noeuds d'exécution. A l'exemple des diagrammes TURTLE utilisés en analyse et conception, les diagrammes de déploiement se voient dotés d'une sémantique formelle par traduction vers le langage RT-LOTOS. L'outil TTool (TURTLE Toolkit) est enrichi d'un générateur de code exécutable Java capable de prendre en compte les composants TURTLE déployés sur des noeuds et les liens entre les noeuds d'exécution. TTool génère maintenant du code réseau qui utilise les protocoles de type UDP ou RMI pour assurer les communications entre composants. L'intrusion d'un pirate dans une session HTTP sécurisée sert d'exemple illustratif de l'environnement proposé

Conception de Système de Multi-Assistance à Base d'Agents. Application à un Environnement Pédagogique

International audienceLes systèmes multi-agents permettent de coordonner le comportement d'agents interagissant et communiquant dans une société pour réaliser des tâches ou résoudre des problèmes. Il nous semble donc bien adaptés pour concevoir une multi assistance destinée à des utilisateurs de systèmes complexes, coopératifs et distribués – chaque agent représentant un niveau d'assistance. Dans l'intention d'illustrer notre approche, nous présenterons un système d'assistance intégré dans l'environnement d'apprentissage iPédagogique. L'enseignement d'unités de valeurs scientifiques ou techniques est largement fondé sur l'acquisition de connaissances conceptuelles et la validation d'un savoir-faire. Au cours d'une formation, l'apprenant et l'enseignant doivent être efficaces tant du point de vue quantitatif que qualitatif, tout spécialement en surmontant des difficultés organisationnelles et en bénéficiant d'une aide à la synchronisation d'activités. Nous présenterons les orientations de cet environnement utilisé dans une école d'ingénieurs généralistes et dans deux formations Multimédia, puis nous détaillerons notre système d'aide multi-usages, au travers de la gestion de projets d'étudiants

Un système d'assistance dans un environnement coopératif d'apprentissage

National audienceLes systèmes multi-agents permettent de coordonner le comportement d'agents interagissant et communiquant dans une société pour réaliser des tâches ou résoudre des problèmes. Il nous semble donc bien adaptés pour concevoir une multi-assistance destinée à des utilisateurs de systèmes complexes – chaque agent représentant un niveau d'assistance. Dans l'intention d'illustrer notre approche, nous présenterons un système d'assistance intégré dans l'environnement d'apprentissage iPédagogique. L'enseignement d'unités de valeurs scientifiques ou techniques est largement fondé sur l'acquisition de connaissances conceptuelles et la validation d'un savoir-faire. Au cours d'une formation, l'apprenant et l'enseignant doivent être efficaces, tout spécialement en surmontant des difficultés organisationnelles et en introduisant des compétences implicites de coopération. Nous présenterons les grandes orientations de cet environnement utilisé au département Génie Informatique de l'UTBM, puis nous détaillerons le système de multi-assistance conçu pour faciliter les nombreux usages coopératifs, notamment au travers l'activité gestion de projets

Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles

To be provided

Conception basée modèle des systèmes temps réel et distribués

Les systèmes temps réel et distribués posent des problèmes complexes en termes de conception d'architecture et de description de comportements. De par leur criticité en vies humaines et leurs coûts de prototypage, ces systèmes ont motivé le développement d'une activité de recherche sur les langages de modélisation formelle et les techniques de validation basées modèle qui contribuent à la détection au plus tôt des erreurs de conception. Néanmoins, les langages formels ont eu un succès plus que limité dans l'industrie. L'arrivée du langage UML (Unified Modeling Language) a ouvert de nouveaux horizons pour l'intégration de langages de modélisation formelle dans une méthodologie de conception susceptible d'être mieux acceptée par les praticiens du domaine. En s'appuyant sur une expérience antérieure de la technique de description formelle Estelle et des extensions temporelles des réseaux de Petri, notre activité de recherche sur les cinq dernières années a débouché sur la production d'un profil UML nommé TURTLE (Timed UML and RT-LOTOS Environment). TURTLE surpasse UML 2.0 par ses extensions aux diagrammes d'analyse et de conception UML, sa sémantique formelle exprimée en RT-LOTOS, et ses outils de support (éditeur de diagrammes et outil de validation formelle combinant simulation et vérification basée sur une analyse d'accessibilité). La méthodologie TURTLE trouve son champ d'application naturel dans la conception de systèmes temps réel et la validation d'architectures de communication en particulier. L'approche proposée a été appliquée avec succès à des systèmes satellitaires et des protocoles d'authentification

Approche orientée services pour la construction des environnements de modélisation

National audienceL'ingénierie des modèles considère tout artefact logiciel comme un modèle. La gestion de modèles regroupe tout un ensemble de fonctionnalités permettant de représenter, créer, stocker et manipuler les modèles. Actuellement les besoins des concepteurs en termes de gestion de processus et produits sont divers et les outils de modélisation ne sont pas complets car les besoins autour des modèles ne sont pas consensuels. Pour remédier à l'hétérogénéité et aux limitations fonctionnelles des outils de gestion de modèles, l'objectif de nos recherches, est de faciliter le travail des concepteurs de modèles et chef de projets en les aidant dans le choix de processus, des modèles et d'environnements de modélisation adaptés à leurs besoins spécifiques. Cet article détaille l'utilisation d'une approche orientée services pour la gestion de modèles, selon les besoins des concepteurs. Nos propositions portent sur trois niveaux d'abstraction: opérationnel, organisationnel et intentionnel. Le niveau opérationnel, permet de choisir l'ensemble d'outils appropriés, le niveau organisationnel facilite la sélection d'un processus et le niveau intentionnel permet d'expliciter les besoins des concepteurs en termes de gestion de modèles

Du Langage Naturel à la Spécification – Application à la Spécification de Services de Télécommunication

International audienceLa rédaction de spécifications techniques, écrites la plupart du temps en langage naturel, est devenue une activité considérable. Parallèlement la nécessité de réduire les temps de développement de systèmes complexes, comme ceux des télécommunications, est une priorité. Une condition pour atteindre cet objectif consiste à formaliser le maximum de spécifications produites. Nous essayerons donc de montrer la possibilité d'une certaine automatisation du passage de l'informel au formel, grâce à des méthodes et outils fiables, susceptibles d'assister un expert humain en spécification. Nous proposons pour cela un processus de formalisation qui s'appuie sur une représentation intermédiaire des spécifications avec le formalisme des graphes conceptuels, avant de dériver une description formelle en Z. Puis, dans une deuxième approche, nous exposerons les éléments méthodologiques liés à un processus de conception orientée agent, cette fois semi-formel. Pour illustrer notre présentation et lui conférer une meilleure lisibilité, nous avons choisi un exemple simple de spécification que nous appliquerons à chacune des phases du processus de formalisation

AVATAR/TTool : un environnement en mode libre pour SysML temps réel

Cet article partage une expérience de modélisation de systèmes temps réel s’appuyant sur le langage AVA- TAR dérivé de SysML, l’outil en mode libre TTool et la méthode associée. AVATAR enrichit SysML par son lan- gage TEPE d’expression de propriétés. Sa sémantique formelle, par traduction vers les automates temporisés, autorise les preuves de sûreté et celle obtenue par traduction vers le pi-calcul rend possible les preuves de sécurité. Exé- cutable sur Linux, MacOS et Windows, l’outil en mode libre TTool mise quant à lui sur l’accessibilité aux non spé- cialistes pour offrir un éditeur de diagrammes, un simulateur de modèles, une interface aux outils de vérification formelle UPPAAL et ProVerif, et un générateur de code C Posix. L’article illustre l’approche AVATAR sur une étude de cas pédagogique et recense les projets académiques et industriels qui font appel à TTool

Vérification d'exigences d'un modèle SysML

Vérification formelle du modèle SysML du pacemaker qui sert d'étude de cas au long de l'ouvrage