EDP Sciences 1780942372 20260608 fre

laboutique.edpsciences.fr-R002853 02 01 01 R002853 00 ED E107 00 01 01 Recherche fondamentale sur les logiciels fiables 01 fre 08 114 03 22 1878293 17 01 P1 EDP Sciences 01 01 P1 EDP Sciences 17 avenue du Hoggar - PA de Courtaboeuf - 91944 Les Ulis cedex A http://publications.edpsciences.org/ 11 00 20260609 02 01 003030 03 9782759834280 15 9782759834280 03 01 D1 EDP Sciences 45 03 laboutique.edpsciences.fr-003030 02 01 01 003030 03 9782759834280 15 9782759834280 10 EA E107 10 00 01 R002853 ED E107 1 10 01 02 Hors Collection - 01 01 Recherche fondamentale sur les logiciels fiables 1 A01 01 A2463 Jifeng HE HE, Jifeng Jifeng HE 01 fre 08 110 03 01 20 Chine;fiabilité;informatique;réseau 10 2011 COM014000 29 CLIL3225 29 CLIL3233 01 500 06 03 00 <p>Ce livre se concentre sur les caractéristiques suivantes :</p><p>- la mesure et la modélisation de la fiabilité des logiciels ;</p><p>- la conception et la vérification de logiciels fiables ;</p><p>- l’évolution et le contrôle des logiciels fiables ;</p><p>- la mise en place et l’évaluation d’environnements fiables.</p><p>L’ouvrage aborde la fiabilité des logiciels embarqués et des logiciels d’application réseau, ainsi que la fiabilité des logiciels dans des domaines d’application clés en Chine. Il s’adresse aux chercheurs qui suivent l’évolution et les tendances dans cette thématique.</p><p>Cet ouvrage présente les connaissances et les résultats du Plan de Recherche Majeur de la NSFC (National Natural Science Foundation of China), lancé au cours du 11e plan quinquennal (2006-2010) en recherche fondamentale sur la fiabilité des logiciels en Chine.&nbsp;</p> <p>Cet ouvrage présente les connaissances et les résultats du Plan de Recherche Majeur de la NSFC (National Natural Science Foundation of China), lancé au cours du 11e plan quinquennal (2006-2010) en recherche fondamentale sur la fiabilité des logiciels en Chine. Ce livre se concentre sur les caractéristiques suivantes :</p><p>- la mesure et la modélisation de la fiabilité des logiciels ;</p><p>- la conception et la vérification de logiciels fiables ;</p><p>- l’évolution et le contrôle des logiciels fiables ;</p><p>- la mise en place et l’évaluation d’environnements fiables.</p><p>L’ouvrage aborde la fiabilité des logiciels embarqués et des logiciels d’application réseau, ainsi que la fiabilité des logiciels dans des domaines d’application clés en Chine. Il s’adresse aux chercheurs qui suivent l’évolution et les tendances dans cette thématique.</p> 02 00 <p>Cet ouvrage aborde la fiabilité des logiciels embarqués et des logiciels d’application réseau, ainsi que la fiabilité des logiciels dans des domaines d’application clés en Chine.</p> 04 00 <p>1 Aperçu du projet /1</p><p>1.1 Introduction /1</p><p>1.1.1 Objectifs scientifiques généraux /3</p><p>1.1.2 Questions scientifiques clés /4</p><p>1.2 Plan du projet /9</p><p>1.2.1 Déploiement du projet /9</p><p>1.2.2 Intégration complète /11</p><p>1.2.3 Efforts interdisciplinaires /16</p><p>1.3 Progrès significatifs /17</p><p>2 Recherche nationale et étrangère /35</p><p>2.1 Travail connexe /35</p><p>2.2 Tendances de développement /40</p><p>2.3 État du développement sur le Terrain /43</p><p>3 Principales réalisations de la recherche /47</p><p>3.1 Environnement de test et application de démonstration de systèmes logiciels de transaction réseau fiables /48</p><p>3.1.1 Principaux travaux d'innovation /49</p><p>3.1.2 Niveau de recherche et contributions exceptionnelles /55</p><p>3.2 Modélisation du « CN » multidimensionnel en ligne et son application empirique dans le logiciel fiable national d’impôt électronique /59</p><p>3.2.1 Travaux innovants majeurs /60</p><p>3.2.2 Niveau de recherche et contributions exceptionnelles /61</p><p>3.3 Environnement de test orienté IoV et application de démonstration de systèmes logiciels d'application réseau fiables /63</p><p>3.3.1 Travaux innovants majeurs /64</p><p>3.3.2 Niveau de recherche et contributions exceptionnelles /66</p><p>3.4 Environnement intégré de garantie de la fiabilité des logiciels embarqués aérospatiaux et son application de démonstration et vérification /67</p><p>3.4.1 Travaux innovants majeurs /69</p><p>3.4.2 Niveau de recherche et contributions exceptionnelles /75</p><p>3.5 La théorie des logiciels fiables, intégration des méthodes, et plateformes d’expérimentation complètes /78</p><p>3.5.1 Travaux innovants majeurs /79</p><p>3.5.2 Niveau de recherche et contributions exceptionnelles /82</p><p>4 Perspective /85</p><p>4.1 Lacunes nationales et besoins stratégiques /85</p><p>4.1.1 Lacunes nationales /85</p><p>4.1.2 Exigences stratégiques /87</p><p>4.2 Conceptions et suggestions pour des recherches ultérieures /90</p><p>4.2.1 Conceptions pour des recherches ultérieures /90</p><p>4.2.2 Suggestions pour des recherches ultérieures /93</p><p>Références /95</p><p>Index /105</p> 21 00 06 01 https://laboutique.edpsciences.fr/produit/1573/9782759834280/recherche-fondamentale-sur-les-logiciels-fiables 01 00 03 02 https://laboutique.edpsciences.fr/system/product_pictures/data/009/983/624/original/9782759834273-logiciels_fiables_couv-sofedis.jpg 17 14 20260605T103243+0200 01 P1 EDP Sciences 01 01 P1 EDP Sciences 17 avenue du Hoggar - PA de Courtaboeuf - 91944 Les Ulis cedex A http://publications.edpsciences.org/ 02 11 00 20260609 01 00 20260609 19 00 20260609 2026 06 3052868830012 01 WORLD 13 03 9782759834273 15 9782759834273 WORLD 08 EDP Sciences 02 01 00 20260609 03 01 D1 EDP Sciences 10 04 05 01 02 1 00 51.99 01 5.50 2.71 EUR 04 06 01 02 1 00 182.99 01 5.50 2.71 EUR 01 04 06 01 02 1 00 201.99 01 5.50 10.53 USD 01