- Article de bases documentaires : RECHERCHE ET INNOVATION
|- 10 mars 2023
|- Réf : RE451
de télécommunication et ensuite d’étudier les opportunités offertes par une telle approche, notamment via l’outil AltaRica... : émergence Technologies impliquées : outils MBSA (AltaRica) Domaines d’application : systèmes... X, développeur AltaRica Universités : École polytechnique Contact : https://www.irt-systemx.fr/en... principalement sur les procédés de Markov et les réseaux de Pétri. C’est sur ce formalisme que s'appuie AltaRica...
Les articles Recherche et Innovation présentent des technologies en cours de développement, émergentes, qui n'ont pas encore atteint leur pleine maturité pour un développement industriel mais sont prometteuses.
- Article de bases documentaires
|- 10 déc. 2021
|- Réf : SE1221
AltaRica... de Petri, et AltaRica 3.0, langage dédié à l’analyse sûreté et adapté à la propagation de défaillances... de modélisation AltaRica 3.0 PROSVIRNOVA (T.) - AltaRica 3.0: a model-based approach for safety analyses... de fonctionnement. Elle permet d’étudier la propagation de pannes dans un système par un langage formel, AltaRica 3...
Les articles de référence permettent d'initier une étude bibliographique, rafraîchir ses connaissances fondamentales, se documenter en début de projet ou valider ses intuitions en cours d'étude.
- ARTICLE INTERACTIF
|- 10 juin 2021
|- Réf : SE8260
AltaRica... une évaluation de la méthodologie model-based safety assessment (MBSA) par le langage AltaRica, bien adapté... une modélisation fonctionnelle du système, proposée ici par l’intermédiaire du langage AltaRica 3.0, puis... pour le secteur spatial en l’essayant sur un cas d’application simplifié typique, grâce au langage AltaRica...
Les bases documentaires des Techniques de l'Ingénieur couvrent tous les grands domaines de l'ingénierie. Lancez votre recherche, affinez-là, obtenez vos réponses !
