Ingénierie système basée sur les exigences

Détecter les exigences incorrectes, manquantes et en conflit au début du processus de conception

Spécifications système exécutables basées sur des modèles

STIMULUS met à la disposition des architectes système un langage de modélisation qui leur permet de combiner des exigences textuelles formalisées, des machines stationnaires et des diagrammes en bloc, le tout dans un environnement de simulation complètement intégré. Les exigences textuelles peuvent être allouées aux différents niveaux de l'architecture fonctionnelle du système, tandis que les machines stationnaires sont généralement utilisées pour décrire les modes de fonctionnement ou les séquences d'opération des systèmes atomiques.

Exigences textuelles

STIMULUS fournit des bibliothèques de modèles de langage, qui prennent en charge les pratiques courantes du secteur pour l'écriture d'exigences système standardisées non ambiguës.

Machines d'état

STIMULUS fournit des machines d'état hiérarchiques qu'il est possible de combiner facilement à des exigences textuelles pour spécifier le comportement système attendu des différents modes de fonctionnement.

Diagrammes de bloc

STIMULUS fournit des diagrammes de bloc qui illustrent les architectures fonctionnelles ou système. Les exigences peuvent être redéfinies et allouées à des sous-systèmes à chaque niveau système.

Débogage et test des exigences système

STIMULUS vous permet de simuler les spécifications système complètes (exigences, machines stationnaires et diagrammes en bloc) dans leur ensemble, et de repérer les erreurs de spécification avant la phase de conception, en adoptant des exigences efficaces et un processus de développement basé sur les tests. STIMULUS génère de nombreux tracés d'exécution conformes aux spécifications système et fournit de puissantes fonctionnalités de débogage permettant d'analyser les résultats de la simulation des exigences : détection automatique des exigences manquantes et en conflit et diagnostic, couverture des exigences, mise en évidence des exigences actives, surveillance des signaux, etc.

Conflit d'exigences

En phase de simulation, le solveur STIMULUS détecte les conflits entre exigences. Lorsqu'un conflit apparaît, le simulateur s'arrête pour mettre en évidence l'ensemble des exigences en conflit.

Exigences manquantes

En phase de simulation, STIMULUS détecte les exigences manquantes ou, plus précisément, les zones où les résultats système ne sont définis par aucune exigence, lesquelles sont illustrées par des pointillés dans la fenêtre de simulation.

Recueil des exigences

Lorsque les exigences sont transformées en transformées en observateur, STIMULUS mesure leur couverture fonctionnelle. Une exigence est dite couverte si elle est activée au moins une fois depuis le début de la simulation.

STIMULUS en action : simulation des exigences

La figure ci-dessous affiche une capture d'écran STIMULUS sur laquelle la simulation des exigences entraîne un conflit. Une fois le conflit détecté par STIMULUS, il peut être analysé par l'utilisateur avec des fonctionnalités de débogage (simulation précédente, mise en évidence des exigences, surveillance des signaux, etc.).