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

Langue(s) : Français

Public(s) : Recherche

Éditeur : EDP Sciences

Collection : Hors Collection

Publication : 9 juin 2026

EAN13 (papier) : 9782759834273

Référence eBook [PDF] : L34280

EAN13 eBook [PDF] : 9782759834280

Intérieur : Noir & blanc

Nombre de pages eBook [PDF] : 110

Taille(s) : 1,79 Mo (PDF)