1 Aperçu du projet /1

1.1 Introduction /1

1.1.1 Objectifs scientifiques généraux /3

1.1.2 Questions scientifiques clés /4

1.2 Plan du projet /9

1.2.1 Déploiement du projet /9

1.2.2 Intégration complète /11

1.2.3 Efforts interdisciplinaires /16

1.3 Progrès significatifs /17

2 Recherche nationale et étrangère /35

2.1 Travail connexe /35

2.2 Tendances de développement /40

2.3 État du développement sur le Terrain /43

3 Principales réalisations de la recherche /47

3.1 Environnement de test et application de démonstration de systèmes logiciels de transaction réseau fiables /48

3.1.1 Principaux travaux d'innovation /49

3.1.2 Niveau de recherche et contributions exceptionnelles /55

3.2 Modélisation du « CN » multidimensionnel en ligne et son application empirique dans le logiciel fiable national d’impôt électronique /59

3.2.1 Travaux innovants majeurs /60

3.2.2 Niveau de recherche et contributions exceptionnelles /61

3.3 Environnement de test orienté IoV et application de démonstration de systèmes logiciels d'application réseau fiables /63

3.3.1 Travaux innovants majeurs /64

3.3.2 Niveau de recherche et contributions exceptionnelles /66

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

3.4.1 Travaux innovants majeurs /69

3.4.2 Niveau de recherche et contributions exceptionnelles /75

3.5 La théorie des logiciels fiables, intégration des méthodes, et plateformes d’expérimentation complètes /78

3.5.1 Travaux innovants majeurs /79

3.5.2 Niveau de recherche et contributions exceptionnelles /82

4 Perspective /85

4.1 Lacunes nationales et besoins stratégiques /85

4.1.1 Lacunes nationales /85

4.1.2 Exigences stratégiques /87

4.2 Conceptions et suggestions pour des recherches ultérieures /90

4.2.1 Conceptions pour des recherches ultérieures /90

4.2.2 Suggestions pour des recherches ultérieures /93

Références /95

Index /105

Language(s): French

Audience(s): Research

Publisher: EDP Sciences

Collection: Hors Collection

Published: 9 june 2026

EAN13 (hardcopy): 9782759834273

Reference eBook [PDF]: L34280

EAN13 eBook [PDF]: 9782759834280

Interior: Black & white

Pages count eBook [PDF]: 110

Size: 1.79 MB (PDF)