Certains contenus de cette application ne sont pas disponibles pour le moment.
Si cette situation persiste, veuillez nous contacter àObservations et contact
1. (WO2011148891) PROCÉDÉ ET SYSTÈME D'ANALYSE D'ARBRE DE DÉFAILLANCE STATIQUE À PARTIR D'UN MODÈLE DU SYSTÈME
Dernières données bibliographiques dont dispose le Bureau international   

N° de publication : WO/2011/148891 N° de la demande internationale : PCT/JP2011/061738
Date de publication : 01.12.2011 Date de dépôt international : 23.05.2011
CIB :
G06F 11/22 (2006.01)
G PHYSIQUE
06
CALCUL; COMPTAGE
F
TRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11
Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
22
Détection ou localisation du matériel d'ordinateur défectueux en effectuant des tests pendant les opérations d'attente ou pendant les temps morts, p.ex. essais de mise en route
Déposants :
向 剣文 XIANG Jianwen [CN/JP]; JP (UsOnly)
日本電気株式会社 NEC Corporation [JP/JP]; 東京都港区芝五丁目7番1号 7-1, Shiba 5-chome, Minato-ku, Tokyo 1088001, JP (AllExceptUS)
Inventeurs :
向 剣文 XIANG Jianwen; JP
Mandataire :
宇高 克己 UDAKA Katsuki; 東京都千代田区神田佐久間町1-14第二東ビル5階 No2, Azuma Bldg. 5fl, 14, Kandasakumacho 1-chome, Chiyoda-ku, Tokyo 1010025, JP
Données relatives à la priorité :
2010-11794524.05.2010JP
Titre (EN) METHOD AND SYSTEM FOR ANALYZING STATIC FAULT TREE FROM SYSTEM MODEL
(FR) PROCÉDÉ ET SYSTÈME D'ANALYSE D'ARBRE DE DÉFAILLANCE STATIQUE À PARTIR D'UN MODÈLE DU SYSTÈME
(JA) システムモデルからの静的なフォルトツリー解析のシステムと方法
Abrégé :
(EN) Disclosed is a system for analyzing a static fault tree from a system model. The aforementioned system is provided with a system configuration inputting means for inputting the system configuration and the system of the top event to be analyzed, a system model library means for storing a system architecture model and a component error model, and a fault tree analysis means for analyzing the fault tree of a system from the top event in compliance with separations rule defined by the component error model, wherein: the system configuration and the top event respectively represent an example of a system architecture model and a fault event of the component error model which are stored in the system model library means; the system architecture delimits the definition and classification of the physical and semantic relationship between the different components; and the component error model defines the different fault events of the components and the relationship between the Boolean logic formulae functioning as the separation rule which encompasses the functional dependencies and the sequential dependencies used in analyzing a fault tree.
(FR) L'invention concerne un système d'analyse statique d'un arbre de défaillance à partir d'un modèle du système. Le système précité comprend un moyen d'entrée de configuration du système destiné à fournir en entrée la configuration du système et le système correspondant à l'événement supérieur à analyser, un moyen formant bibliothèque de modèles de systèmes destiné à stocker le modèle d'architecture du système et le modèle d'erreur des composants, et un moyen d'analyse d'arbre de défaillance destiné à analyser l'arbre de défaillance d'un système en partant de l'événement supérieur et conformément à la règle de séparation définie par le modèle d'erreur des composants, le système étant caractérisé en ce que : la configuration du système et l'événement supérieur représentent un exemple de modèle d'architecture du système et un événement de défaillance du modèle d'erreur des composants qui sont respectivement stockés dans le moyen formant bibliothèque de modèles du système ; le modèle d'architecture du système est écrit sur la base de la définition et de la classification des relations physiques et sémantiques entre les différents composants ; et le modèle d'erreur des composants définit les différents événements de défauts des composants et la relation entre des formules logiques booléennes jouant le rôle de règle de séparation qui englobent la dépendance fonctionnel et la dépendance vis-à-vis de l'ordre utilisées pour analyser l'arbre de défaillance.
(JA) 本発明は、システムモデルから静的な故障の木を解析するシステムにおいて、システム構成と、解析する頂上事象のシステムとを入力するシステム構成入力手段と、システムアーキテクチャモデルとコンポーネントエラーモデルとを記憶するシステムモデルライブラリ手段と、コンポーネントエラーモデルで定義された分解ルールに従い、頂上事象からシステムの故障の木を解析するフォルトツリー解析手段とを有し、システム構成と頂上事象とは、システムモデルライブラリ手段にそれぞれ記憶されたシステムアーキテクチャモデルの事例とコンポーネントエラーモデルの故障事象であり、システムアーキテクチャモデルは、異なるコンポーネント間の物理的及び意味的関係の区分と定義とが記述され、コンポーネントエラーモデルは、コンポーネントの異なる故障事象と、故障の木を解析に用いられる機能依存性と系列依存性とを網羅する分解ルールであるブール論理式関係とを定義している故障の木を解析するシステムである。
front page image
États désignés : AE, AG, AL, AM, AO, AT, AU, AZ, BA, BB, BG, BH, BR, BW, BY, BZ, CA, CH, CL, CN, CO, CR, CU, CZ, DE, DK, DM, DO, DZ, EC, EE, EG, ES, FI, GB, GD, GE, GH, GM, GT, HN, HR, HU, ID, IL, IN, IS, JP, KE, KG, KM, KN, KP, KR, KZ, LA, LC, LK, LR, LS, LT, LU, LY, MA, MD, ME, MG, MK, MN, MW, MX, MY, MZ, NA, NG, NI, NO, NZ, OM, PE, PG, PH, PL, PT, RO, RS, RU, SC, SD, SE, SG, SK, SL, SM, ST, SV, SY, TH, TJ, TM, TN, TR, TT, TZ, UA, UG, US, UZ, VC, VN, ZA, ZM, ZW
Organisation régionale africaine de la propriété intellectuelle (ARIPO) (BW, GH, GM, KE, LR, LS, MW, MZ, NA, SD, SL, SZ, TZ, UG, ZM, ZW)
Office eurasien des brevets (OEAB) (AM, AZ, BY, KG, KZ, MD, RU, TJ, TM)
Office européen des brevets (OEB (AL, AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, RS, SE, SI, SK, SM, TR)
Organisation africaine de la propriété intellectuelle (OAPI) (BF, BJ, CF, CG, CI, CM, GA, GN, GQ, GW, ML, MR, NE, SN, TD, TG)
Langue de publication : japonais (JA)
Langue de dépôt : japonais (JA)