Qu'est-ce que l'approche MBSE de bout en bout ?

L'approche MBSE classique porte généralement sur l'utilisation de SysML lorsque les exigences sont saisies sous forme de texte brut. Par conséquent, celles-ci ne font pas partie de la vérification ni de la simulation. Comme elles sont au format texte brut, aucun élément ne peut être généré. Il est donc nécessaire de créer manuellement chaque scénario de test à partir de chaque exigence fonctionnelle. 

STIMULUS est porteur d'un nouveau paradigme, car il étend les fonctionnalités de modélisation aux exigences fonctionnelles. 100 % du comportement du système peut être capturé, ce qui se traduit par de nouvelles possibilités d'automatisation des tests : les scénarios sont capturés et le solveur des contraintes de STIMULUS les utilise ensuite pour générer autant de combinaisons d'entrées que nécessaire. Ces vecteurs de test permettent de stimuler la spécification et, par la suite, le code. STIMULUS observe la réponse du code et la compare au comportement défini dans les exigences, automatisant entièrement le test fonctionnel. Lors de la phase d'intégration, STIMULUS analyse le fichier journal généré par l'environnement de test HIL et compare le comportement du système intégré aux exigences, ce qui permet au testeur de détecter automatiquement toute violation.

Automatisation des tests fonctionnels

Le code est stimulé par les vecteurs de test qui sont automatiquement générés par STIMULUS. Les sorties sont observées par le logiciel, qui les compare aux relations attendues entre les entrées et les sorties, conformément aux exigences. Il est possible de générer et d'exécuter automatiquement un grand nombre de tests tandis que STIMULUS assure le suivi des exigences.

Simuler et valider vos exigences fonctionnelles

STIMULUS permet aux architectes système d'étendre l'utilisation des modèles SysML aux exigences fonctionnelles qui peuvent, pour la première fois, être simulées et validées. Les utilisateurs ont ainsi la possibilité de détecter et de corriger à un stade précoce de nombreuses erreurs, telles que des exigences manquantes, conflictuelles ou erronées. Les équipes de développement gagnent en efficacité, car elles reçoivent des exigences claires, complètes et validées. 

Les équipes de validation n'ont pas besoin de dériver manuellement chaque scénario de test fonctionnel à partir d'une exigence fonctionnelle. Avec STIMULUS, le test du code ou du système par rapport aux exigences associées est entièrement automatisé, offrant un formidable retour sur investissement, car un nombre nettement plus important de tests sont générés et réalisés avec bien peu d'efforts. 

.

Tests HIL

STIMULUS prend en charge le test du système intégré en analysant automatiquement le fichier journal généré par les environnements de test. Ce fichier contient les E/S qui se sont produites au cours des tests. STIMULUS compare les données aux exigences et détecte automatiquement toute violation.

STIMULUS et CATIA Magic

STIMULUS étend l'utilisation des modèles au comportement détaillé, difficile à capturer dans SysML. La continuité numérique entre CATIA Magic et Stimulus est assurée, car il est possible d'importer l'architecture SysML (et les signaux associés) dans STIMULUS où le comportement détaillé est capturé, simulé et validé.

[Blog Article] Verifying Nuclear Reactor Safety with CATIA Magic and Dymola

How can simulation help verify nuclear reactor safety earlier?For complex systems like advanced nuclear reactors, verification can’t wait until the end of development. It needs to happen throughout the engineering process.In this new blog, Assystem shares how combining CATIA Magic and Dymola on the 3DEXPERIENCE platform helps connect system architecture, requirements and multi-physics simulation.?

CATIA MBSE CYBER SYSTEMS

2026x HF2 Unable to Apply ForceDesignation to Operational Performer

mission engineering UAF When I attempt to create a value for the OpposableElement tag I am not able to get a pull-down. Instead I just get a link to the enumeration. The tag definition in the stereotype uses the type DesignationKind for the tag, not ForceDesignation. DesignationKind is the base stereotype for ForceDesignation. This appears to be an issue in the UAF v1.3 profile.

CATIA MBSE CYBER SYSTEMS

[SAMPLE MODEL] EE&S Artifact Positioning on the Automotive SPICE Grid

What this isA practice model showing where EE&S plugin artifact types naturally land on the ASPICE process grid, using a Collision Avoidance System (ADAS) as the reference system. The point isn't the system — it's demonstrating that the tool's native constructs map directly to ASPICE work products, and that the chain doesn't stop at architecture.ASPICE Process → EE&S Artifact MappingSYS.1 — Requir

CATIA MBSE CYBER SYSTEMS

FlexNet Plugin Licenses in Batch Mode

My team is trying to run Cameo in “batch mode”, and I have a question regarding the FlexNet license server configuration that is not answered in any of the documentation that I was able to find. In the Cameo documentation, I see Java arguments for specifying a FlexNet server and port (FL_SERVER_ADDRESS / FL_SERVER_PORT), and I also see that I can specify a tool edition (FL_EDITION). However, in th

CATIA MBSE CYBER SYSTEMS

À découvrir également

Découvrir comment CATIA peut vous aider

Contactez un expert CATIA pour découvrir comment nos solutions permettent une collaboration transparente et une innovation durable dans des entreprises de toutes tailles.

Prise en main

Des formations et des cours sont disponibles pour les étudiants, le monde académique, les professionnels et les entreprises. Trouvez la formation CATIA qui vous correspond. 

Accès à l'aide

Obtenez des informations sur la certification des logiciels et du matériel, les téléchargements de logiciels, la documentation utilisateur, les coordonnées du support et l'offre de services.