Modélisation

SDS - Système de Distribution et de Synchronisation

Par Olivier Haas in SDS, Produits, Distribution et Synchronisation, Informatique a-centrée, Machines à États, Modélisation, Ingénierie Dirigée par les Modèles, Temps Réel

janvier 21, 2023

SDS (v1) est une plateforme d’exécution multi-nœuds et multi-tâches de machines à états distribuables et synchronisables du fait qu’elles tournent sur cette plateforme. 1. Caractéristiques-clés 2. Distributions 3. Cas d’utilisation 4. Vision 5. Positionnement 6. Agenda 7. Tarifs  1. Caractéristiques-clés Programmation via la définition d’automates / de machines à états. SDS intègre un moteur de machine à états ; la programmation de SDS est donc orientée machines à états.

Continuer la lecture

Modélisation pour SDS - Formation

Par Olivier Haas in SDS, Service, Formation, Distribution et Synchronisation, Modélisation, Temps Réel

janvier 17, 2023

Notre produit produit SDS, programmable via des machines à états, s’utilise mieux en procédant par modélisation. Cette modélisation pour SDS, suit un cadre et obéit à des règles, dont la maîtrise théorique et l’apprentissage pratique sont l’objet de cette formation. 1. Objectifs pédagogiques 2. Public concerné 3. Prérequis 4. Programme de la formation 5. Modalités d'évaluation 6. Tarifs  1. Objectifs pédagogiques Être apte à Programmer un nœud SDS, au moyen d’UML, sur EnterpriseArchitect de Sparx.

Continuer la lecture

Conseil / Modélisation

Par Olivier Haas in Service, Conseil, Modélisation

janvier 16, 2023

La modélisation est un axe majeur des solutions SDS, IPM, ou CGM. Selon le niveau et la forme de vos besoins, nous pouvons vous apporter l’accompagnement voulu. 1. Axes 2. Tarifs  1. Axes Identifier les méta-modèles adaptés à vos problématiques de modélisation. Effectuer une topologie sémantique. Entreprendre une démarche de type Architecture d’Entreprise (par exemple avec la méthode Praxème). Structurer une modélisation. Mettre en place une solution technique d’Ingénierie des Modèles.

Continuer la lecture

IDM - Vision S3CA

Par Olivier Haas in Vision, Modélisation, Ingénierie Dirigée par les Modèles, Atelier de Génie Logiciel

janvier 11, 2023

Qu’il s’agisse, dans les premiers temps de l’informatique, de se doter d’un langage assembleur, ou, plus récemment, d'Ingénierie Dirigée par les Modèles, le but est le même : rendre le moyen informatique toujours plus près des représentations humaines. Ce mouvement est infini, car il n’est rien d’autre que le perfectionnement d’un outil, ici l’outil électronique de calcul, de stockage, et de communication, outil lui-même toujours plus performant. 1. Analyse de l'état de l’art

Continuer la lecture

Modélisation pour CGM - Formation

Par Olivier Haas in CGM, Service, Formation, Cadriciel, Programmation Schématique et Déclarative, Modélisation

janvier 4, 2023

Notre produit produit CGM, programmable via des grammaires et des machines à états, s’utilise mieux en procédant par modélisation. Cette modélisation pour CGM, suit un cadre et obéit à des règles, dont la maîtrise théorique et l’apprentissage pratique sont l’objet de cette formation. 1. Objectifs pédagogiques 2. Public concerné 3. Prérequis 4. Programme de la formation 5. Modalités d'évaluation 6. Tarifs  1. Objectifs pédagogiques Être apte à : Développer une application web complètement sous CGM.

Continuer la lecture

Méthodes Formelles - Séminaire

Par Olivier Haas in Service, Séminaire, Modélisation, Théorie, Sémantique

janvier 3, 2023

Les méthodes formelles consistent à effectuer la conception détaillée d’un logiciel sous la rigueur méthématique ; la conception détaillée ainsi produite permettant d'établir des preuves formelles, c’est-à-dire des démonstrations mathématiques qu’un composant logiciel donné est absolument conforme aux exigences dont le concepteur lui a donné la responsabilité. Les gains en fiabilité, en sûreté, mais aussi en efficacité du développement, sont importants. Un investissement en compétences, outils, ainsi qu’un changement de culture, sont nécessaires.

Continuer la lecture

Recherche

Catégories

Tags