Il n'y a pas de conception objet pour les systèmes critiques de niveau A et B à ma connaissance.
Les langages de modélisation utilisés sont souvent très spécifiques ou restreints : fragments "profilés" d'UML, Scade, etc.
Des fragments d'UML peuvent aussi servir à la spécificationet pas à la conception : utilisation des diagrammes de séquences pour les protocoles, des diagrammes de classe pour faire un "modèle de domaine", etc.
L'intérêt de Topcased est précisément aussi de fournir un éditeur Ecore qui permet de créer son propre langage adapaté à un type de problème donné (domain-specific language).
[^] # Re: UML dans les avions ?
Posté par DavidC . En réponse à la dépêche Topcased 2.0 est sorti. Évalué à 1.
Les langages de modélisation utilisés sont souvent très spécifiques ou restreints : fragments "profilés" d'UML, Scade, etc.
Des fragments d'UML peuvent aussi servir à la spécificationet pas à la conception : utilisation des diagrammes de séquences pour les protocoles, des diagrammes de classe pour faire un "modèle de domaine", etc.
L'intérêt de Topcased est précisément aussi de fournir un éditeur Ecore qui permet de créer son propre langage adapaté à un type de problème donné (domain-specific language).