Traitement en cours

Veuillez attendre...

Paramétrages

Paramétrages

1. WO2003005248 - UTILISATION D'UN RESEAU BAYESIEN

Numéro de publication WO/2003/005248
Date de publication 16.01.2003
N° de la demande internationale PCT/EP2002/006065
Date du dépôt international 03.06.2002
CIB
G06F 11/36 2006.01
GPHYSIQUE
06CALCUL; COMPTAGE
FTRAITEMENT ÉLECTRIQUE DE DONNÉES NUMÉRIQUES
11Détection d'erreurs; Correction d'erreurs; Contrôle de fonctionnement
36Prévention d'erreurs en effectuant des tests ou par débogage de logiciel
CPC
G06F 11/3608
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
11Error detection; Error correction; Monitoring
36Preventing errors by testing or debugging software
3604Software analysis for verifying properties of programs
3608using formal methods, e.g. model checking, abstract interpretation
Déposants
  • MOTOROLA INC [US/US]; 1303 E.Algonquin Road Schaumburg, IL 60196, US (AE, AG, AL, AM, AT, AU, AZ, BA, BB, BE, BF, BG, BJ, BR, BY, BZ, CA, CF, CG, CH, CI, CM, CN, CO, CR, CU, CY, CZ, DE, DK, DM, DZ, EC, EE, ES, FI, FR, GA, GB, GD, GE, GH, GM, GN, GQ, GR, GW, HR, HU, ID, IE, IL, IN, IS, IT, JP, KE, KG, KP, KR, KZ, LC, LK, LR, LS, LT, LU, LV, MA, MC, MD, MG, MK, ML, MN, MR, MW, MX, MZ, NE, NL, NO, NZ, OM, PH, PL, PT, RO, RU, SD, SE, SG, SI, SK, SL, SN, SZ, TD, TG, TJ, TM, TN, TR, TT, TZ, UA, UG, UZ, VN, YU, ZA, ZM, ZW)
  • GRAS, Jean-Jacques [GB/GB]; GB (UsOnly)
Inventeurs
  • GRAS, Jean-Jacques; GB
Mandataires
  • TRELEVEN, Colin; Motorola European Intellectual Property Midpoint, Alencon Link Basingstoke, Hampshire RG21 7PL, GB
Données relatives à la priorité
0116314.605.07.2001GB
Langue de publication anglais (EN)
Langue de dépôt anglais (EN)
États désignés
Titre
(EN) USING A BAYESIAN BELIEF NETWORK
(FR) UTILISATION D'UN RESEAU BAYESIEN
Abrégé
(EN)
A method of determining probabilities associated with a sequence of events in a system, for example an item of software or a software system being developed. A scenario, e.g. a message sequence chart, MSC (1,51), is parsed into a directed acyclic graph, DAG (21), comprising nodes (22) and edges (24), by associating the edges to messages (8,10) and sequential relations between consecutive events in the MSC (1,51). A Bayesian belief network, BBN (31), is formed using the DAG (21). BBN conditional probability tables associated with each event are computed, and the overall probabilities associated with the sequence of events is determined from the BBN conditional probaility tables. This can be used for example to provide analysis of reliability early in a soft ware development cycle. Alternative applications, e.g. to project management, are possible.
(FR)
L'invention concerne un procédé permettant de déterminer les probabilités associées à une séquence d'événements dans un système, comme, par exemple, un article logiciel ou un système logiciel en phase de développement. Ce procédé consiste à analyser un scénario, tel qu'un diagramme de séquence de message (MSC) (1, 51), par exemple, dans un graphe acyclique orienté (DAG) (21), comprenant des noeuds (22) et des arcs (24), en associant les noeuds (22) aux événements et en associant les arcs aux messages (8, 10) et les relations séquentielles entre les événements consécutifs dans le MSC (1, 51). Ce procédé consiste ensuite à former un réseau bayésien (BBN) (31) à l'aide du DAG (21), à calculer des tables de probabilités conditionnelles BBN associées à chaque événement et, enfin, à déterminer l'ensemble des probabilités associé à la séquence d'événements à partir des tables de probabilité conditionnelles BBN. Ce procédé peut être utilisé, par exemple, pour obtenir une analyse de la fiabilité dans les premières étapes de développement d'un logiciel. D'autres applications, dans la gestion de projet, par exemple, sont également possibles.
Également publié en tant que
Dernières données bibliographiques dont dispose le Bureau international