English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Open

Presents the pdf analysis as premium feature

PDF Analysis

Insights

Presents the summarisation as premium feature

Summarisation

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Pour des raisons d'efficacite, le souhait des concepteurs de systemes est d'utiliser de facon integree un ensemble coherent de formalismes pour decrire les specifications et conceptions, et egalement pour effectuer des analyses de surete de fonctionnement. AADL (Architecture Analysis and Design Language) a prouve son aptitude pour la modelisation d'architectures. Cet article presente un cadre de modelisation permettant la generation de modeles analytiques de surete de fonctionnement a partir de modeles AADL dans l'objectif de faciliter l'obtention de mesures de surete de fonctionnement comme la fiabilite et la disponibilite. Nous proposons une approche iterative de modelisation. Le modele AADL de surete de fonctionnement est transforme en un RdPSG (Reseau de Petri Stochastique Generalise) en appliquant des regles de transformation de modele. Un outil de transformation automatique a ete developpe. Les mesures de surete de fonctionnement sont obtenues a partir du traitement du RdPSG resultant par des outils existants. L'approche est illustree sur un sous-systeme du systeme informatique francais de controle de trafic aerien.

Modélisation de la sûreté de fonctionnement basée sur le langage AADL et les RdPSG