L'étude de marché justifie l'opportunité d'un avion de tourisme quadriplace, ayant une vitesse de croisière supérieure à 400km/h et une consommation d'essence inférieure à 55l/h (~13l/100km). La présente étude montre que la formule canard, combinée avec un moteur Porsche, permet d'atteindre ces objectifs. Le problème du centrage et celui du logement du train d'atterrissage ont été résolus en dotant la voilure d'une flèche importante. Les problèmes structuraux posés par l'existence de moments de torsion élevés ont pu être résolus en faisant appel à des éléments de caisson et à des matériaux composites.

Les architectures avioniques traditionnelles peuvent être assimilées à un ensemble de systèmes distincts construit autour d'équipements dédiés interconnectés. Elles ne répondent plus aux critères de développement, de maintenance et d'évolution. Les avancées technologiques mènent à la définition de nouveaux concepts d'architectures tels que l'Architecture Modulaire Intégrée (AMI), basée sur le partage de ressources génériques. Ces architectures s'appuient sur la définition de modules logiciels et matériels interconnectés par des bus multiplexés. La complexité des projets de conception d'architectures AMI nécessitent de s'intéresser à une nouvelle génération d'outils permettant à l'intégrateur de décrire et d'évaluer différents choix d'implémentation. Ceci rejoint l'idée d'utiliser la modélisation et la simulation le plus tôt possible dans le cycle de développement des systèmes complexes. Nous proposons alors un environnement de conception basé sur quatre niveaux de modèles (Application, Architecture, Intégration et Exécution). Ces modèles sont suffisamment abstraits afin de permettre au concepteur de se concentrer sur les points importants mais sont également assez précis afin de capturer les informations essentielles à l'analyse de performances. Les trois premiers modèles sont instanciés afin d'obtenir une description globale d'un ensemble donné de fonctions avioniques allouées sur une plate-forme AMI. Le modèle Exécution est utilisé conjointement aux informations capturées par les autres modèles pour générer un modèle de simulation. Il s'appuie sur le formalisme LDC, basé sur le langage SDL, introduit pour permettre la description du comportement temporel des composants identifiés par le modèle d'Architecture, indépendamment d'un outil de simulation particulier. Le modèle de simulation, implémenté à l'aide du formalisme de simulation par événements discrets est exécuté par un environnement du marché, au travers du scénario décrit par le modèle d'Application.

La conception des plateformes aéronautiques s’effectue en tenant compte des aspects fonctionnels et dysfonctionnels prévus dans les scénarios d’emploi des aéronefs qui les embarquent. Ces plateformes aéronautiques sont composées de systèmes informatiques temps réel qui doivent à la fois être précises dans leurs calculs, exactes dans l’instant de délivrance des résultats des calculs, et robustes à tout évènement pouvant compromettre le bon fonctionnement de la plateforme. Dans ce contexte, ces travaux de thèse abordent les ordonnancements temps réel tolérants aux fautes. Partant du fait que les systèmes informatiques embarqués sont perturbés par les ondes électromagnétiques des radars, notamment dans la phase d’approche des aéronefs, ces travaux proposent une modélisation des effets des ondes, dite en rafales de fautes. Après avoir exploré le comportement de l’ordonnanceur à la détection d’erreurs au sein d’une tâche, une technique de validation, reposant sur le calcul de pire temps de réponse des tâches, est présentée. Il devient alors possible d’effectuer des analyses d’ordonnançabilité sous l’hypothèse de la présence de rafales de fautes. Ainsi, cette technique de validation permet de conclure sur la faisabilité d’un ensemble de tâches en tenant compte de la durée de la rafale de fautes et de la stratégie de gestion des erreurs détectées dans les tâches. Sur la base de ces résultats, les travaux décrits montre comment envisager l’analyse au niveau système. L’idée sous-jacente est de mettre en évidence le rôle des ordonnancements temps réel tolérants aux fautes dans la gestion des données erronées causées par des perturbations extérieures au système. Ainsi, le comportement de chaque équipement est modélisé, ainsi que les flots de données échangés et la dynamique du système. Le comportement de chaque équipement est fonction de la perturbation subie, et donne lieu à l’établissement de la perturbation résultante, véritable réponse dysfonctionnelle de l’équipement à une agression extérieure.