Contribution à l'analyse de testabilité des Systèmes Réactifs: Aide à la Validation et à la Vérification de Systèmes Critiques Avioniques (Omn.Univ.Europ.) (French Edition)

0 avg rating
( 0 ratings by Goodreads )
 
9786131514043: Contribution à l'analyse de testabilité des Systèmes Réactifs: Aide à la Validation et à la Vérification de Systèmes Critiques Avioniques (Omn.Univ.Europ.) (French Edition)

Les phases de validation et de vérification (V&V) des systèmes réactifs critiques sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites (problème d'exhaustivité lié à la taille et à la complexité des systèmes). De ce fait, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. Dans cette optique, deux méthodologies, basées sur les concepts d'analyse de testabilité et les stratégies de test, ont été définies. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours du diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS.

"synopsis" may belong to another edition of this title.

About the Author:

est Ingénieur en Informatique des Systèmes Avancés et Réseaux de l'Institut Polytechnique de Grenoble en 2006 ; et titulaire d'un Doctorat en Informatique sur l'aide à la Validation et à la Vérification des systèmes critiques dans le domaine de l'avionique en 2010. Il exerce dans le domaine du développement des systèmes critiques.

"About this title" may belong to another edition of this title.

Buy New View Book
List Price: US$ 98.00
US$ 78.77

Convert Currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Doumbia-F
Published by Univ Europeenne, United States (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Univ Europeenne, United States, 2010. Paperback. Book Condition: New. Language: French . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. Les phases de validation et de verification (VV) des systemes reactifs critiques sont tres importantes en termes de cout et de temps. Dans ce contexte, toute methode et outil permettant d aider a la realisation des activites de VV est d une tres grande importance. Le test fonctionnel est le moyen le plus utilise au cours de ces phases de VV. Or, les methodes de test presentent des limites (probleme d exhaustivite lie a la taille et a la complexite des systemes). De ce fait, les enjeux de la maitrise de l effort de test (complexite et cout) sont majeurs, mais les exigences de qualite pour ces systemes sont tres grandes. Dans cette optique, deux methodologies, basees sur les concepts d analyse de testabilite et les strategies de test, ont ete definies. La premiere methodologie permet d aider a la definition de jeux de test pertinents et a l analyse de couverture des systemes specifies dans un formalisme flot de donnees SCADE dans le contexte AIRBUS. La seconde propose des methodes d aide a la verification (identification de tests pertinents et localisation de composants defectueux au cours du diagnostic) de systemes sur la chaine d assemblage finale (FAL) d un avion AIRBUS. Bookseller Inventory # OMN9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 78.77
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Doumbia-F
Published by Univ Europeenne, United States (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Paperback Quantity Available: 1
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Univ Europeenne, United States, 2010. Paperback. Book Condition: New. Language: French . Brand New Book. Les phases de validation et de verification (VV) des systemes reactifs critiques sont tres importantes en termes de cout et de temps. Dans ce contexte, toute methode et outil permettant d aider a la realisation des activites de VV est d une tres grande importance. Le test fonctionnel est le moyen le plus utilise au cours de ces phases de VV. Or, les methodes de test presentent des limites (probleme d exhaustivite lie a la taille et a la complexite des systemes). De ce fait, les enjeux de la maitrise de l effort de test (complexite et cout) sont majeurs, mais les exigences de qualite pour ces systemes sont tres grandes. Dans cette optique, deux methodologies, basees sur les concepts d analyse de testabilite et les strategies de test, ont ete definies. La premiere methodologie permet d aider a la definition de jeux de test pertinents et a l analyse de couverture des systemes specifies dans un formalisme flot de donnees SCADE dans le contexte AIRBUS. La seconde propose des methodes d aide a la verification (identification de tests pertinents et localisation de composants defectueux au cours du diagnostic) de systemes sur la chaine d assemblage finale (FAL) d un avion AIRBUS. Bookseller Inventory # KNV9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 82.55
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Doumbia-F
Published by Univ Europeenne, United States (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Paperback Quantity Available: 1
Seller:
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description Univ Europeenne, United States, 2010. Paperback. Book Condition: New. Language: French . Brand New Book. Les phases de validation et de verification (VV) des systemes reactifs critiques sont tres importantes en termes de cout et de temps. Dans ce contexte, toute methode et outil permettant d aider a la realisation des activites de VV est d une tres grande importance. Le test fonctionnel est le moyen le plus utilise au cours de ces phases de VV. Or, les methodes de test presentent des limites (probleme d exhaustivite lie a la taille et a la complexite des systemes). De ce fait, les enjeux de la maitrise de l effort de test (complexite et cout) sont majeurs, mais les exigences de qualite pour ces systemes sont tres grandes. Dans cette optique, deux methodologies, basees sur les concepts d analyse de testabilite et les strategies de test, ont ete definies. La premiere methodologie permet d aider a la definition de jeux de test pertinents et a l analyse de couverture des systemes specifies dans un formalisme flot de donnees SCADE dans le contexte AIRBUS. La seconde propose des methodes d aide a la verification (identification de tests pertinents et localisation de composants defectueux au cours du diagnostic) de systemes sur la chaine d assemblage finale (FAL) d un avion AIRBUS. Bookseller Inventory # KNV9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 86.43
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

Doumbia-F
Published by Univ Europeenne 2010-07-07 (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Univ Europeenne 2010-07-07, 2010. paperback. Book Condition: New. Bookseller Inventory # 9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 78.79
Convert Currency

Add to Basket

Shipping: US$ 7.91
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Fassely Doumbia
Published by Omniscriptum (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Omniscriptum, 2010. PAP. Book Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # LQ-9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 86.31
Convert Currency

Add to Basket

Shipping: US$ 11.88
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

DOUMBIA-F
Published by OmniScriptum (2016)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description OmniScriptum, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9786131514043_lsuk

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 93.59
Convert Currency

Add to Basket

Shipping: US$ 5.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Fassely Doumbia
Published by Univ Européenne (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Softcover Quantity Available: 1
Seller:
Gallix
(Gif sur Yvette, France)
Rating
[?]

Book Description Univ Européenne, 2010. Book Condition: Neuf. Bookseller Inventory # 9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 95.87
Convert Currency

Add to Basket

Shipping: US$ 5.02
From France to U.S.A.
Destination, Rates & Speeds

8.

Fassely Doumbia
Published by Omniscriptum (2015)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Omniscriptum, 2015. PAP. Book Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IQ-9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 97.13
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

9.

Fassely Doumbia
Published by Editions Universitaires Europeennes EUE Jul 2010 (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Taschenbuch Quantity Available: 2
Seller:
Agrios-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Editions Universitaires Europeennes EUE Jul 2010, 2010. Taschenbuch. Book Condition: Neu. Neuware - Les phases de validation et de vérification (V&V) des systèmes réactifs critiques sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites (problème d'exhaustivité lié à la taille et à la complexité des systèmes). De ce fait, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. Dans cette optique, deux méthodologies, basées sur les concepts d'analyse de testabilité et les stratégies de test, ont été définies. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours du diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS. 280 pp. Französisch. Bookseller Inventory # 9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 95.87
Convert Currency

Add to Basket

Shipping: US$ 20.19
From Germany to U.S.A.
Destination, Rates & Speeds

10.

Fassely Doumbia
Published by Editions Universitaires Europeennes EUE Jul 2010 (2010)
ISBN 10: 6131514046 ISBN 13: 9786131514043
New Taschenbuch Quantity Available: 2
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Editions Universitaires Europeennes EUE Jul 2010, 2010. Taschenbuch. Book Condition: Neu. Neuware - Les phases de validation et de vérification (V&V) des systèmes réactifs critiques sont très importantes en termes de coût et de temps. Dans ce contexte, toute méthode et outil permettant d'aider à la réalisation des activités de V&V est d'une très grande importance. Le test fonctionnel est le moyen le plus utilisé au cours de ces phases de V&V. Or, les méthodes de test présentent des limites (problème d'exhaustivité lié à la taille et à la complexité des systèmes). De ce fait, les enjeux de la maîtrise de l'effort de test (complexité et coût) sont majeurs, mais les exigences de qualité pour ces systèmes sont très grandes. Dans cette optique, deux méthodologies, basées sur les concepts d'analyse de testabilité et les stratégies de test, ont été définies. La première méthodologie permet d'aider à la définition de jeux de test pertinents et à l'analyse de couverture des systèmes spécifiés dans un formalisme flot de données SCADE dans le contexte AIRBUS. La seconde propose des méthodes d'aide à la vérification (identification de tests pertinents et localisation de composants défectueux au cours du diagnostic) de systèmes sur la chaîne d'assemblage finale (FAL) d'un avion AIRBUS. 280 pp. Französisch. Bookseller Inventory # 9786131514043

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 95.87
Convert Currency

Add to Basket

Shipping: US$ 20.19
From Germany to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book