Brevet FR2916546A1 — publié le 20081128

Procédé de simulation d'un système embarqué à bord d'un aéronef pour tester un logiciel de fonctionnement et dispositif pour la mise en oeuvre de ce procédé Domaine de l'invention La présente invention appartient au domaine de la sécurité de fonctionnement des systèmes lorsque le fonctionnement de ces systèmes dépend de l'exécution dans un calculateur de suites d'instructions logiques. En particulier, l'invention a pour objet un procédé de simulation d'un io système devant exécuter des suites d'instructions logiques, notamment d'un système ayant des exigences de sécurité élevées tel qu'un système électronique destiné à être embarqué à bord d'un aéronef. Le procédé permet, à un utilisateur, de pouvoir exécuter les suites d'instructions logiques regroupées dans des logiciels de fonctionnement de 15 systèmes embarqués sur une plate-forme hôte, autre que les moyens matériels sur lesquels les logiciels sont destinés à être exécutés normalement. La présente invention trouve des applications particulièrement avantageuses, mais non exclusives, dans le domaine de l'aéronautique et, plus particulièrement, dans le domaine de la réalisation de tests de logiciels 20 de fonctionnement de systèmes embarqués. Etat de la technique Pour des raisons de sécurité, les systèmes destinés à être embarqués à bord d'un aéronef sont soumis à des vérifications de bon fonctionnement au cours desquels il doit être démontré que lesdits systèmes répondent à 25 des exigences de certification, avant qu'un aéronef équipé de tels systèmes soit autorisé à voler et, plus encore, à entrer en service commercial. Actuellement, avant leur implantation, ces systèmes subissent de nombreux tests pour vérifier qu'ils répondent aux exigences d'intégrité et de sécurité, entre autres, émises par les autorités de certification. Ces systèmes 30 embarqués peuvent être, notamment, des calculateurs spécialisés destinés à réaliser des fonctions pouvant être importantes pour l'aéronef, par exemples des fonctions de pilotage. Ces systèmes seront appelés par la suite calculateurs. Le plus souvent, dans les architectures des systèmes actuels, chaque 35 calculateur est dédié à une application ou à plusieurs applications de même 2 nature, par exemple des applications de commande de vol. Chaque calculateur comprend une partie matérielle et une partie logicielle. La partie matérielle comporte au moins une unité de traitement central (CPU: Central Processing Unit en anglais) et au moins une unité d'entrées/sorties par laquelle le calculateur est connecté à un réseau de calculateurs, à des périphériques externes, etc... Une caractéristique essentielle des systèmes embarqués, souvent mis en oeuvre dans le domaine aéronautique, est liée à une architecture, tant matérielle que logicielle, qui évite l'introduction, autant que possible, de tout io moyen non nécessaire pour exécuter les fonctions dédiées auxdits systèmes. Ainsi, contrairement aux systèmes généralement rencontrés dans des applications répandues, en aéronautique, le calculateur n'est pas pourvu d'un système d'exploitation complexe. De plus, le logiciel est réalisé dans un 15 langage aussi proche que possible du langage compris par l'unité de traitement central et les seules entrées/sorties disponibles sont celles nécessaires au fonctionnement du système, par exemple des informations provenant de capteurs ou d'autres éléments de l'aéronef ou des informations à destination d'actionneurs ou d'autres éléments. 20 L'avantage de ce type d'architecture tient au fait que le fonctionnement d'un tel système est beaucoup mieux maîtrisé. Il n'est pas dépendant d'un système d'exploitation complexe dont certains aspects du fonctionnement sont fonction de paramètres non maîtrisés et qui devrait, sinon, faire l'objet des mêmes démonstrations de sécurité que les logiciels 25 d'application. Le système est plus simple et moins vulnérable car il ne comporte que les moyens strictement nécessaires à l'exécution des fonctions confiées audit système. En contrepartie, le fonctionnement d'un tel système est beaucoup plus difficile à observer. Par exemple, le système ne dispose pas des interfaces 30 homme/machine conventionnelles, comme les claviers et écrans, permettant de vérifier le déroulement correct des suites d'instructions et d'interagir sur ce déroulement, ce qui rend difficile les vérifications indispensables pendant le développement, la vérification et la qualification des logiciels. La partie logicielle du calculateur comprend un logiciel spécifique à 35 l'application considérée et qui assure le fonctionnement du calculateur, dont 3 les instructions logiques correspondent aux algorithmes qui déterminent le fonctionnement du système. Pour obtenir la certification du système, préalable à sa mise en service et à celle de l'aéronef, une phase de validation du calculateur est effectuée. De façon connue, la phase de validation consiste, en général, à vérifier, à chaque étape du processus de réalisation du calculateur, que celui-ci est conforme aux spécifications qui ont été établies pour que ledit calculateur réponde au fonctionnement attendu du système. Cette conformité aux spécifications est réalisée, en particulier pour les io logiciels, par étapes successives depuis la vérification des composants les plus simples du logiciel jusqu'au logiciel complet intégrant tous les composants devant être intégrés dans le calculateur cible. Dans une première étape de vérification, les éléments de logiciel les plus simples pouvant être testés sont soumis à des tests, dits tests unitaires. 15 Au cours de ces tests, il est vérifié que les instructions logiques, c'est-à-dire le code, desdits éléments de logiciel ont été, pris individuellement, réalisés conformément aux exigences de conception. Dans une deuxième étape, dite étape d'intégration, différents composants logiciels, ayant été soumis individuellement à une vérification 20 isolée, sont intégrés pour constituer un ensemble dans lequel les composants logiciels interagissent. Ces différents composants logiciels sont soumis à des tests d'intégration destinés à vérifier que les composants logiciels sont compatibles, en particulier au niveau des interfaces fonctionnelles entre lesdits composants. 25 Dans une troisième étape, l'ensemble des composants logiciels est intégré dans le calculateur auquel ils sont destinés. Des essais de validation sont alors réalisés pour démontrer que le logiciel, formé par l'ensemble des composants intégrés dans le calculateur, est conforme à la spécification, c'est-à-dire qu'il réalise les fonctions attendues, et que son fonctionnement 30 est fiable et sûr. Pour garantir qu'un logiciel est sûr, et pour satisfaire aux exigences de certification, il est également nécessaire, au cours de cette phase de validation, de démontrer que l'ensemble des tests auxquels le logiciel a été soumis permet de conclure, avec un niveau de probabilité adéquat, que le 4 logiciel est conforme aux exigences de sûreté requises du système où il est incorporé. Les différents tests effectués, pendant la phase de validation, sur le logiciel, permettent de s'assurer qu'aucun dysfonctionnement dudit logiciel (qui pourrait avoir un impact sur le bon fonctionnement des calculateurs, et par suite sur l'aéronef et sa sécurité) ne peut se produire ou que, si un dysfonctionnement se produit, le logiciel est apte à le maîtriser. Toutefois, pendant la phase de validation, et surtout pour les opérations d'investigation lorsque des anomalies sont constatées, il est io souvent nécessaire de s'assurer que, non seulement, les paramètres d'entrée et de sortie du calculateur sur lequel est implanté le logiciel sont conformes aux attentes mais, également, que certains comportements internes du logiciel sont corrects. Dans ce cas, en raison de l'architecture spécifique des calculateurs 15 spécialisés pour les applications embarquées, il est généralement très difficile d'observer le fonctionnement du logiciel sans mettre en oeuvre des dispositifs et des méthodes particulières. Une première méthode connue consiste à mettre en place un système de distribution de fichiers entre le calculateur en test avec le logiciel 20 implanté et une plate-forme associée, en utilisant des émulateurs. On entend, par émulateur, un dispositif permettant de simuler, sur la plate-forme associée, le fonctionnement logique d'une unité de calcul, d'un processeur du calculateur. Dans un tel mode de fonctionnement avec un émulateur, le 25 processeur du calculateur est remplacé par une sonde qui assure l'interface avec la plate-forme associée portant l'émulation du processeur. Ainsi, il est possible de faire exécuter le logiciel à tester sur le calculateur, sauf pour la partie processeur et, par des fonctions propres de la plate-forme associée, d'observer le fonctionnement ou certains 30 dysfonctionnements internes du logiciel, par exemple, en réponse à des stimulations des entrées des unités d'entrée/sortie, en plus de l'observation des sorties desdites unités d'entrée/sortie. Cette première méthode présente de nombreux inconvénients. En effet, chaque type de calculateur à tester nécessite un banc de tests 35 spécifique ou pour le moins une configuration très spécialisée d'un banc de test. Un banc de tests est un ensemble comportant, en particulier, des moyens d'interconnexion avec le calculateur à tester, des moyens pour émuler le ou les processeurs du calculateur ainsi que pour exécuter des programmes de tests. 5 Comme chaque processeur nécessite un émulateur spécifique, tant pour le logiciel d'émulation que pour la sonde se raccordant à la place du processeur, il est nécessaire de multiplier les émulateurs conformément aux définitions des calculateurs. Par ailleurs, les possibilités d'investigation au moyen des émulateurs io sont en général limitées. De plus, la nécessité de travailler avec un langage machine spécifique du processeur considéré implique que l'utilisateur soit un spécialiste de la programmation en langage machine. En outre, un émulateur est un produit coûteux qui n'est généralement produit qu'en faible quantité. Le cycle de vie de ce type de produit est très 15 court (6 mois à 2 ans) alors que le maintien en condition opérationnelle des moyens de développement et de vérification est exigible (réglementations, réactivité industrielle) pour la durée du programme avion (20 ans, voire plus). Cela se traduit par des problèmes de traitement d'obsolescence de plus en plus difficiles à résoudre. 20 Cette solution de l'émulateur s'avère donc mal adaptée car, outre ses performances limitées en termes d'investigation, elle est coûteuse à mettre en place et coûteuse à entretenir. Le coût se trouve également pénalisé par le fait que différents modèles de processeurs sont en général utilisés pour assurer des 25 redondances fonctionnelles, par sécurité de conception, multipliant d'autant les besoins en émulateurs. Une deuxième méthode, qui vise à s'affranchir des problèmes des émulateurs, consiste à simuler, sur une plate-forme hôte, le fonctionnement du calculateur devant exécuter le programme à tester. Dans ce cas, les 30 logiciels sous test doivent accéder à des fichiers de la plate-forme hôte, soit pour lire les vecteurs de tests, soit pour enregistrer des résultats de tests. Comme le logiciel à tester ne comporte pas naturellement les fonctions pour de tels accès aux fichiers de la plate-forme hôte, il est nécessaire de modifier le logiciel à tester pour intégrer ces fonctions d'accès. 6 Pour transférer les informations, on utilise généralement des instructions d'appels système qui sont émises par l'environnement de test simulé. Les instructions d'appels système peuvent être, par exemple, l'ouverture d'un fichier, l'écriture d'un fichier ou encore la lecture d'un fichier. Les instructions d'appels système sont interceptées par le système d'exploitation de la plate-forme hôte qui les convertit en appels système de la plate-forme hôte. Cette deuxième méthode présente également des inconvénients. En effet, la variété des fichiers est telle que le développement des io fonctionnalités d'accès est très dépendant de la plate-forme hôte et de son système d'exploitation. Or, la variabilité des plates-formes hôtes est importante tant dans l'espace (cas des équipes de développement dispersées dans le monde) que dans le temps (remplacement des plates-formes hôtes), ce qui pose des difficultés pratiques de mise en oeuvre de la 15 méthode. Ces difficultés sont accentuées par le fait que des compétences d'experts capables de modifier des fonctions du système d'exploitation sont requises pour le développement de telles fonctionnalités d'accès aux systèmes de fichiers et ne peuvent donc pas être confiées à des spécialistes 20 des essais. En conséquence, cette méthode s'avère coûteuse et difficile à mettre en oeuvre. En outre, cette méthode est très intrusive vis-à-vis du logiciel à tester et la modification d'un logiciel, pour en réaliser des tests, est une source de 25 risque de perturbation du fonctionnement du logiciel lui-même. Exposé de l'invention La présente invention a pour but de remédier aux inconvénients des techniques exposées précédemment. A cette fin, l'invention propose un procédé qui permet de rajouter des fonctionnalités d'accès à des fichiers de 30 résultats de tests d'une plateforme hôte. Ce rajout de fonctionnalités permet d'enregistrer ou de lire les résultats des tests effectués. Le rajout de fonctionnalités proposé par l'invention est simulé dans une cible virtuelle. Cette cible virtuelle est aussi appelée environnement d'exécution des tests. Plus précisément, l'invention a pour objet un procédé de simulation 35 d'un environnement de test d'un système embarqué réel, sur une plate-forme 7 hôte, pour tester un logiciel de fonctionnement, caractérisé en ce qu'il comporte les étapes suivantes : - préparation d'un test à effectuer sur le logiciel de fonctionnement en ajoutant et/ou en retirant des fonctions de commande dans une librairie, -exécution du logiciel de fonctionnement du système embarqué réel dans un environnement simulé, - simulation d'un périphérique dédié par activation de fonctions de la librairie, - transmission des résultats de tests du périphérique dédié vers des io fichiers de résultats supportés par la plate-forme hôte et enregistrement de ces résultats. L'invention peut comporter également une ou plusieurs des caractéristiques suivantes : - le périphérique dédié a une adresse virtuelle correspondant à une 15 adresse réelle de l'environnement simulé supporté par la plate-forme hôte, -l'espace d'adressage est un espace mémoire réservé aux entrées- sorties, -la librairie du système embarqué simulé comporte une bibliothèque de fonctions de commande que le logiciel de fonctionnement active pour 20 contrôler et piloter le périphérique dédié, - les fonctions de commande de la librairie sont totalement indépendantes de la nature des opérations effectuées par un périphérique ordinaire. L'invention a également pour objet un dispositif simulant le 25 fonctionnement d'un calculateur embarqué à bord d'un aéronef, caractérisé en ce qu'il met en oeuvre le procédé tel que défini précédemment. Ce dispositif peut comporter une ou plusieurs des caractéristiques suivantes : - il comporte un environnement de test simulé sur une plate-forme 30 hôte et comprenant un calculateur simulé, un périphérique ordinaire et un périphérique dédié. - le calculateur simulé comporte une unité arithmétique et logique, une mémoire de données, une mémoire programme chargée avec un logiciel de fonctionnement associé à une librairie. 35 Brève description des dessins 8 L'invention sera mieux comprise à la lecture de la description qui suit et à l'examen des figures qui l'accompagnent. Celles-ci sont présentées à titre indicatif et nullement limitatif de l'invention. La figure 1 est une représentation schématique d'un environnement de test d'un logiciel de fonctionnement d'un système embarqué conformément à l'invention. La figure 2 illustre un diagramme fonctionnel du procédé de l'invention. Description détaillée de modes de réalisation de l'invention io La figure 1 représente un environnement de test permettant de mettre en oeuvre le procédé de test d'un logiciel de fonctionnement d'un système embarqué, selon l'invention. Le logiciel à tester est destiné à être exécuté dans un calculateur réel, non représenté sur la figure. Selon l'invention, ce calculateur est simulé. Il 15 porte la référence 1 sur la figure 1. Ce calculateur simulé 1 est un équivalent virtuel du calculateur réel. Un calculateur réel est destiné à être embarqué, par exemple, dans un aéronef. Le calculateur simulé 1 est implanté dans une cible virtuelle. La cible virtuelle est un environnement où évolue le calculateur simulé 1. Cet 20 environnement, nommé par la suite environnement simulé 3, permet de reproduire, dans une plate-forme hôte 2, l'équivalent virtuel des moyens matériels destinés à tester le calculateur réel et, par voie de conséquence, le logiciel de fonctionnement qui y est chargé. Le calculateur réel est, par exemple, un équipement du système 25 embarqué à bord de l'aéronef et destiné à assurer diverses fonctions nécessaires à l'aéronef, comme des applications de commande de vol, de surveillance de systèmes ou d'affichage d'informations. L'environnement simulé 3 est un environnement d'exécution des tests du logiciel de fonctionnement. 30 Le calculateur simulé 1 fonctionne virtuellement dans l'environnement d'exécution des tests. Cet environnement d'exécution des tests est simulé sur la plateforme hôte 2. Le calculateur simulé 1 comporte, de manière non exhaustive, les différents éléments qui se trouvent dans le calculateur réel. Les éléments du calculateur réel sont donc reproduits virtuellement dans le 35 calculateur simulé 1. 9 La plateforme hôte 2 est, dans le mode de réalisation préféré de l'invention, une station de travail. Le calculateur simulé 1, centralise les ressources de fonctionnement de l'environnement simulé 3. Sur la figure 1, le calculateur simulé 1 est schématisé par une unité de commande. Cette unité de commande comporte une unité arithmétique et logique 6, une mémoire programme 7, une mémoire de données 8 et une interface d'entrées/sorties 9. L'unité arithmétique et logique 6, la mémoire programme 7, la mémoire de données 8 et l'interface d'entrées/sorties 9 sont connectées les unes aux autres par io un bus de communication 10 bidirectionnel. De manière classique, l'unité arithmétique et logique 6 commandée par des instructions enregistrées dans la mémoire programme 7 exécute les applications du calculateur simulé 1. La mémoire programme 7 est chargée avec un logiciel de 15 fonctionnement 11. Ce logiciel de fonctionnement 11 comporte des instructions assemblées pour former une chaîne d'instructions. Le logiciel de fonctionnement 11 est destiné à contrôler et à piloter le calculateur réel. Ce même logiciel de fonctionnement est également apte à contrôler et à piloter le calculateur simulé 1 par l'intermédiaire de l'unité arithmétique et logique 6. 20 Le logiciel de fonctionnement reproduit donc les mêmes actions sur le calculateur simulé 1 que sur le calculateur réel. Le logiciel de fonctionnement 11 comporte également des instructions dont l'exécution permet de simuler un périphérique ordinaire 4. Le périphérique ordinaire 4 simule l'ensemble des fonctionnalités 25 d'entrées/sorties dont dispose le calculateur réel. Autrement dit, le périphérique ordinaire 4 comporte une table d'entrée/sortie identique à celle du périphérique d'entrée/sortie du calculateur réel. Le périphérique ordinaire 4 permet la simulation de valeurs sur la table d'entrée du calculateur réel. Pour pouvoir observer l'ensemble des résultats de tests et introduire 30 de nouvelles fonctionnalités d'entrée/sortie supplémentaires par rapport à celles offertes par le périphérique ordinaire 4, le logiciel de fonctionnement 11 simule un périphérique dédié 5. Le périphérique dédié 5 donne accès à des fonctionnalités supplémentaires, non accessibles par le périphérique ordinaire 4. Ces 35 fonctionnalités supplémentaires peuvent être, notamment, l'accès en lecture 10 et/ou écriture à des fichiers de résultats de tests de la plateforme hôte 2. Ces fonctionnalités supplémentaires sont enregistrées dans une librairie 12. Cette librairie 12 est liée à la fois au logiciel de fonctionnement 11 sous test et au périphérique dédié 5. La librairie 12 comporte une bibliothèque de fonctions de commande, de préférence simples, que le logiciel de fonctionnement peut activer pour commander et piloter le périphérique dédié 5. Cette bibliothèque peut comporter un nombre de modèles de fonctions de commande extensible. Le périphérique dédié 5 permet donc au calculateur simulé 1 d'établir une interface ayant des fonctionnalités supplémentaires par rapport io à l'interface avec le périphérique ordinaire 4. Le périphérique dédié permet également d'envoyer des signaux sur les entrées du calculateur simulé 1 ou de lire les sorties dans des fichiers de résultats de tests. L'exécution du logiciel de fonctionnement 11 lui permet de dialoguer avec le calculateur simulé 1 via le périphérique dédié 5 et le périphérique ordinaire 4. Le 15 périphérique dédié 5 est vu comme un périphérique ordinaire 4 par l'unité arithmétique et logique 6. Les fonctions de commande de la librairie 12 sont totalement indépendantes de la nature des opérations effectuées par le périphérique ordinaire 4. 20 Autrement dit, le logiciel de fonctionnement 11 permet à un utilisateur d'avoir, par l'intermédiaire de la librairie 12, un accès direct en lecture et/ou en écriture à des fichiers de configuration et/ou de résultats de test, au moyen du périphérique dédié 5. Le calculateur simulé 1 permet d'éviter l'utilisation de moyens 25 matériels spécifiques tout en simulant un environnement d'exécution des tests du logiciel de fonctionnement 11. L'utilisation du périphérique dédié permet ainsi d'avoir un environnement d'exécution de tests moins intrusif par rapport à l'art antérieur. Le périphérique dédié 5 est mappé dans l'espace d'adressage de l'unité arithmétique et logique 6 du calculateur simulé 1 30 virtuel, à des adresses de périphérique non utilisées par l'environnement simulé 3. Autrement dit, l'espace d'adressage (non représenté) de l'unité arithmétique et logique 6, non utilisé par l'environnement simulé, est alloué à des adresses virtuelles du périphérique dédié 5. Cet espace d'adressage peut, selon un mode de réalisation d'architecture de calculateur simulé 1, 11 être dans un espace mémoire réservé aux entrées/sorties, c'est-à-dire dans un espace spécifique d'entrées/sorties. Le périphérique dédié 5 permet d'accéder à d'autres fonctionnalités disponibles sur la plateforme hôte 2. Pour cela, le périphérique dédié 5 est étendu. Des fonctions supplémentaires peuvent lui être attribuées. Dans ce cas, la librairie 12 est complétée par ajout et/ou par suppression de fonctions de commandes. Ces fonctions sont modifiées par l'utilisateur, c'est-à-dire par le spécialiste des essais du logiciel qui n'est pas, à priori, un spécialiste du système d'exploitation de la plateforme hôte. L'unité io arithmétique et logique 6 détermine ensuite, à partir des fonctions de commande présentes dans la librairie, les séquences de test à effectuer sur le logiciel. Autrement dit, le test à effectuer est déterminé à partir des fonctions de commande de la librairie. On comprend, à la lecture de cette description, que le calculateur 15 simulé 1 ne présente aucun lien direct ou logique avec la plateforme hôte 2. La figure 2 illustre un diagramme fonctionnel d'une séquence de test suivant le procédé de l'invention. Ce procédé comporte une étape préliminaire 20, dans laquelle le logiciel de fonctionnement est chargé dans la mémoire programme 7 de l'unité de commande du calculateur simulé 1 et 20 les différents paramètres de l'environnement d'exécution des tests dudit logiciel sont réinitialisés. A cette étape, le logiciel de fonctionnement 11 est apte à entrer dans une phase de test 30. La phase de test 30 correspond à un ensemble d'étapes nécessaires pour la vérification du déroulement de l'exécution du logiciel de fonctionnement 11. 25 Cette phase de test 30 comporte une étape 21 pendant laquelle, l'unité de commande du calculateur simulé 1 détermine le type de test à effectuer sur le logiciel de fonctionnement 11 en ajoutant ou en retirant des fonctions de commande dans la librairie 12. A l'étape 22, l'unité de commande du calculateur simulé 1 lance 30 l'exécution du logiciel de fonctionnement 11 dans l'environnement simulé 3. A l'étape 23, l'exécution du logiciel de fonctionnement 11 active et/ou désactive différentes fonctions de la librairie 12 comme les fonctionnalités d'accès à des fichiers de résultats. L'ajout et/ou le retrait de fonctionnalités dans la librairie 12 est possible par l'utilisateur. L'activation de fonctionnalités 12 de la librairie permet de simuler virtuellement le périphérique dédié 5 dans l'environnement simulé 3. A l'étape 24, l'unité de commande du calculateur simulé 1 transmet, dans des fichiers de la plateforme hôte 2, les fichiers de résultats en fonction du type de test effectué sur le logiciel de fonctionnement 11. En d'autres termes, les résultats des tests sont transmis du périphérique dédié 5 vers des fichiers de la plateforme hôte 2. A l'étape 25, les fichiers de résultats de tests sont enregistrés sur le système d'exploitation de la plate-forme hôte pour être analysés et afin io d'assurer la traçabilité des essais en vue de la certification par les autorités compétentes. A l'étape 26, l'unité de commande détermine si la séquence de test est terminée. Tant que l'unité de commande n'a pas retourné une instruction de fin de test, la phase de test continue, c'est-à-dire que les étapes 21 à 25 sont 15 réitérées. Lorsque tous les tests nécessaires ont été exécutés avec succès, le logiciel est normalement apte à être intégré dans le calculateur réel. Le procédé se termine, lorsque le logiciel de fonctionnement a été validé avant d'être intégré dans le calculateur réel (étape 27). 20 L'invention telle qu'elle vient d'être décrite permet une implémentation des fonctionnalités d'accès aux fichiers de résultats simple et flexible, ce qui permet de limiter le coût de développement du logiciel de fonctionnement sous test. L'invention permet une totale indépendance du périphérique dédié visà-vis du système d'exploitation de la plateforme hôte 2, ce qui permet un développement de périphériques dédiés dans l'environnement simulé 3 qui ne demande aucune connaissance particulière, sauf celles qui sont requises pour l'utilisation de fichiers, et rend le dispositif de test pratiquement insensible aux caractéristiques évolutives des plateformes hôtes. L'invention 30 ne nécessite donc aucune notion de distribution de fichiers, ni aucune conversion ou interception d'appel système. REVENDICATIONS 1 ù Procédé de simulation d'un environnement de test d'un système embarqué réel, sur une plate-forme hôte (2), pour tester un logiciel de fonctionnement (11), caractérisé en ce qu'il comporte les étapes suivantes : - préparation d'un test à effectuer sur le logiciel de fonctionnement (11) en ajoutant et/ou en retirant des fonctions de commande dans une librairie (12), - exécution du logiciel de fonctionnement du système embarqué réel io dans un environnement simulé (3), - simulation d'un périphérique dédié (5) par activation de fonctions de la librairie (12), -transmission des résultats de tests du périphérique dédié (5) vers des fichiers de résultats supportés par la plate-forme hôte (2) et 15 enregistrement de ces résultats. 2 ù Procédé selon la revendication 1, caractérisé en ce que le périphérique dédié (5) a une adresse virtuelle correspondant à une adresse réelle de l'environnement simulé (3) supporté par la plate-forme hôte (2). 3 ù Procédé selon la revendication 2, caractérisé en ce que l'espace 20 d'adressage est un espace mémoire réservé aux entrées-sorties. 4 ù Procédé selon l'une quelconque des revendications 1 à 3, caractérisé en ce que la librairie (12) comporte une bibliothèque de fonctions de commande simples que le logiciel de fonctionnement (11) active pour contrôler et piloter le périphérique dédié (5). 25 5 ù Procédé selon la revendication 4, caractérisé en ce que les fonctions de commande de la librairie (12) sont totalement indépendantes de la nature des opérations effectuées par le périphérique ordinaire (4). 6 ù Dispositif simulant le fonctionnement d'un calculateur embarqué à bord d'un aéronef, caractérisé en ce qu'il met en oeuvre le procédé selon 30 l'une quelconque des revendications 1 à 5. 7 ù Dispositif selon la revendication 6, caractérisé en ce qu'il comporte un environnement de test simulé (3) sur une plate-forme hôte (2) et comprenant un calculateur simulé (1), un périphérique ordinaire (4) et un périphérique dédié (5).14 8 ù Dispositif selon la revendication 7, caractérisé en ce que le calculateur simulé (1) comporte une unité arithmétique et logique (6), une mémoire de données (8), une mémoire programme (7) chargée avec un logiciel de fonctionnement (11) associé à une librairie (12)..