2. Spécification du langage AltaRica
Le langage AltaRica permet de créer des modèles de composants auxquels peuvent être associés plusieurs événements, pouvant être assemblés en hiérarchie, connectés entre eux par des flux, et dont les événements peuvent se synchroniser. L’intérêt pour l’ingénieur en sûreté de fonctionnement est de pouvoir modéliser la propagation de défaillances dans un système et d’étudier celui-ci grâce à différentes fonctionnalités associées au logiciel d’édition. D’un point de vue structurel, le langage AltaRica s’assimile aux langages orientés objet. Ses éléments fondamentaux ...
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Spécification du langage AltaRica
Principe de la méthodologie MBSA
Sources bibliographiques
Cet article est réservé aux abonnés. Il vous reste 92 % à découvrir.
Déjà abonné ? Se connecter
Quiz et tests de validation présents dans cet article
Entraînez-vous autant que vous le voulez avec les quiz d'entraînement.
Article inclus dans l'offre
"Sécurité et gestion des risques"
(
510 articles
)
Actualisée et enrichie d’articles validés par nos comités scientifiques.
Quiz, médias, tableaux, formules, vidéos, etc.
Opérationnels et didactiques, pour garantir l'acquisition des compétences transverses.
Un ensemble de services exclusifs en complément des ressources.
