L’objectif de ce projet de recherche est de développer une technologie d’agents mobiles pour systèmes embarqués. Dans un premier temps, une plateforme d’agents mobiles pour systèmes embarqués homogènes est réalisée et, ensuite dans un deuxième temps, une application d’informatique diffuse qui exploite la mobilité du contexte d’exécution est mise en œuvre pour valider cette plateforme. La mobilité d’un agent est définie comme suit: son exécution est interrompue sur le nœud courant, appelé nœud source, ensuite les données représentant l’état de l’agent sont transférées du nœud source vers un nœud destination et enfin, arrivé au nœud destination, son exécution se poursuit là où elle avait été interrompue sur le nœud de départ. Cette opération, appelée migration du contexte d’exécution, est intégrée aux fonctionnalités d’un noyau temps réel, permettant ainsi la mobilité d’agents logiciels au sein d’une grappe de systèmes embarqués homogènes. Les applications visées par le projet relèvent du domaine de l’informatique diffuse et plus particulièrement de son application à l’espace intelligent.

Les systèmes temps réel sont des systèmes informatiques composés de tâches auxquelles sont associées des contraintes temporelles, appelées échéances. Dans notre étude, nous distinguons deux familles de tâches : les tâches temps réel dur et les tâches temps réel souple. Les premières possèdent une échéance stricte, qu'elles doivent impérativement respecter. Elles sont de nature périodique, ou sporadique, et l'étude analytique de leur comportement fait l'objet d'un état de l'art conséquent. Les secondes sont de nature apériodique. Aucune hypothèse sur leur modèle d'arrivéée ni sur leur nombre n'est possible. Aucune garantie ne saurait être donnée sur leur comportement dès lors que l'on ne peut écarter les situations de surcharge, où la demande de calcul peut dépasser les capacités du système. La problématique devient alors l'étude des solutions d'ordonnancement mixte de tâches périodiques et apériodiques qui minimisent les temps de réponse des tâches apériodiques tout en garantissant les échéances des tâches périodiques. De nombreuses solutions ont été proposées ces vingt dernières années. On distingue les solutions basées sur la réservation de ressources, les serveurs de tâches, des solutions exploitant les instants d'inactivité du système, comme les algorithmes de vol de temps creux. La spécification Java pour le temps réel (RTSJ) voit le jour dans les années 2000. Si cette norme répond à de nombreux problèmes liés à la gestion de la mémoire ou à l'ordonnancement des tâches périodiques, celui de l'ordonnancement mixte de tâches périodiques et apériodiques n'est pas abordé. Nous proposons dans cette thèse d'apporter les modifications nécessaires aux algorithmes principaux d'ordonnancement mixte, le Polling Server (PS), le Deferrable Server (DS) et le Dynamic Approximate Slack Stealer (DASS) en vue de leur implantation avec RTSJ. Ces algorithmes ne peuvent en effet être implantés directement tels qu'ils sont décrits, car ils sont trop liés à l'ordonnanceur du système. Nous proposons des extensions aux APIs RTSJ existantes pour faciliter l'implantation de ces mécanismes modifiés, et nous fournissons les interfaces utiles à l'ajout d'autres solutions algorithmiques. Nous proposons également des modifications sur les APIs existantes de RTSJ afin de répondre aux problèmes d'intégration et d'implantation d'algorithmes d'analyse de faisabilité. Nous proposons enfin un algorithme d'estimation des temps creux, le Minimal Approximate Slack Stealer (MASS), dont l'implantation au niveau utilisateur, permet son intégration dans RTSJ

Qu’ est-ce que signifie le réel pour un poète si reconnu, comme Yves Bonnefoy ? Quelle est la relation entre le réel et sa théorie poétique ? Constitue-il, le réel, une catégorie essentielle de sa théorie poétique ? Quelle est la place de la présence ? Comment elle se situe par rapport aux grands courants de la pensée du XXème siècle et aux Poèmes ? Quel est le rôle des essais critiques et des sciences comme la psychanalyse, la sémiotique et la philosophie quant à l’ étude du réel ? Finalement, quel rôle y jouent le langage et la poésie ? Le réel est une catégorie ontologique qu’ on distingue du terme de la réalité. En outre, le réel est un autre mot pour désigner le défaut et l’ excès de chaque étant en comparaison de tout ce qui le forme. Avec son premier recueil, Anti-Platon, Bonnefoy pose les fondements de sa propre ontologie qui attaque l’ idéalisme à la fois antique ( la philosophie platonicienne ) et moderne ( Hegel ) et qui reconnaît le rôle du sensible. Après Pierre Écrite, la présence remplace la notion de sensible et elle devient la notion-clé de son œuvre. La présence est l’ émergence soudaine de la chose dans son évidence. Aussi, est-elle ‘’une intuition de l’ universel dans le particulier’’ et l’ expérience de l’ unité, de l’ altérité et de l’ échange. En outre, les essais critiques et les études sur le langage, la poésie, la sémiotique, la psychanalyse et la philosophie, mettent en scène le projet poétique de Bonnefoy comme totalité. / What does real mean for a poet as recognized an Yves Bonnefoy? What is the relationship between the real and his poetic theory? What is the role of presence? How it is placed compared to the main currents of twentieth century’s thought and Poems? What is the role of critical essays and sciences like psychoanalysis, semiotics and philosophy regarding the study of real? Last but not least, what role does language and poetry play? The real is an ontological category that is distinguished by the term reality. In addition, the real is another word for default and excess of each being compared to all that form it. With his first book, Anti-Plato, Bonnefoy lays the foundation of his own ontology that attacks idealism both ancient ( Plato’s philosophy ) and modern ( Hegel ) and recognizes the role of the sensible. After Written Stone ( Pierre Écrite ), the presence replaces the term of sensible and becomes the key-concept of Bonnefoy’s work. Presence is the sudden emergence of the thing in it’s obviousness. Also, it is ‘’an intuition of the universal in the particular’’ and the experience of unity, of otherness and exchange. Thus, it offers a vision of renewing the poetic act. In addition, critical essays and studies on language, poetry, semiotics, psychoanalysis and philosophy, set the poetic project of Bonnefoy as a totality

Cette thèse de psychologie clinique expose la problématique de la rencontre avec le cancer, en tant que « mauvaise rencontre » avec le réel de la maladie et de la mort. D’une part, cette rencontre a la particularité de ne pas être symbolisée. Elle relève de l’impossible et de l’impensable. D’autre part, elle est l’occasion de réactualisations de traumatismes non subjectivés, qui font retour de façon effractive dans le vif de l’expérience du sujet. L’objectif de notre recherche est de tenter de répondre à la question suivante : que peut faire le psychologue, à partir de sa place de clinicien, afin de permettre au patient d’approcher de façon non effractive la rencontre impossible et impensable du réel ?En guise de tentative de réponse, nous développâmes un modèle singulier et particulier, que nous appelâmes « écriture poéthique ». S’inspirant des enseignements lacaniens sur la poétique du sujet et le désir de l’analyste, ce modèle essaya de démontrer qu’il est possible d’a-border le réel avec le pouvoir de l’écriture, une « écriture poéthique » prise dans un lien transférentiel de trois niveaux intriqués : [i] lien transférentiel clinicien-patient, [ii] lien transférentiel clinicien-recherche, [iii] lien transférentiel patient-« écriture poéthique ».Ce modèle nous montra également qu’il n’existe pas de dissociation entre clinique et recherche à partir du moment où nous nous plaçons du côté du sujet de l’inconscient et du travail psychanalytique. / This thesis aims to demonstrate how to deal with « unpleasant encounter » with the « Real of cancer and death ». First of all, the « unpleasant encounter » has the distinction of not being symbolized. Therefore, it is impossible and somewhat unthinkable event in patient’s life. Secondly, it brings up to date non-symbolized traumas that come back to patient in an invasive manner.The author attempts to answer this question : is there a psychological method that allows a non-invasive approach to the « Real of cancer and death » ?The author addressed this question by developing a singular and particular psychoanalytical model, described as « poethic writing ». This model was inspired by Jacques Lacan’s concepts of poetic subject and the analyst’s desire, as well as Sigmund Freud’s theory of unconscious mind. This demonstrated that it is possible to border the « Real of cancer and death » using the power of « poethic writing », taken in three levels : [i] transference patient with clinical psychologist, [ii] transference clinical psychologist with research, [iii] transference patient with « poethic writing ». This model also showed that the clinical work and research can not be dissociated when we discuss about psychoanalysis, subject, unconscious and the « Real of cancer and death ».

Avec l’apparition des nouvelles technologies de communication, le nombre des systèmes embarqués avionique et automobile est en constante augmentation. La gestion des communications entre ces systèmes devient alors de plus en plus complexe à mettre en oeuvre dans un contexte où les contraintes temporelles et environnementales sont très fortes et où le taux d’échanges de messages en augmentation continuelle. L’utilisation optimale des réseaux pour acheminer les données tout en respectant les contraintes temporelles imposées est essentielle du point de vue de la sûreté de fonctionnement. Historiquement, pour répondre aux problématiques d’efficacité et de sûreté, les industriels ont développé une palette de réseaux embarqués dédiés à leurs applications cibles (CAN, LIN, . . . ). Ces réseaux présentaient des débits relativement faibles à un moment où un besoin croissant en bande passante se faisait ressentir. le choix d’utiliser le concept de composants dit ‘sur étagères’ (off the shelf COTS) permettait alors de pallier à ce nouveau besoin. Dans un souci de conservation des capacités des réseaux à garantir les contraintes temporelles imposées par les systèmes embarqués temps réel, les industriels ont dû adapter ce concept de composants sur étagères aux systèmes embarqués. L’intérêt de l’utilisation de ces composants est un gain non négligeable en bande passante et en poids pour des coûts de développements relativement faibles. L’introduction de ces composants nouveaux s’est faite de telle sorte que leur impact sur les standards préexistants et les systèmes connectés soit minimal. C’est ainsi que les réseaux dit ‘hétérogènes’ ont vu leur apparition. Ces réseaux constituent une hybridation entre les technologies embarquées historiques et les composants sur étagère. Ils consistent en des réseaux d’extrémité utilisant des technologies éprouvées (telles que le CAN) interconnectés via des passerelles à un réseau fédérateur (backbone) utilisant des composants sur étagères. Dès lors, le défi majeur à relever lors de l’utilisation d’un réseau fédérateur est de respecter les contraintes temporelles des applications sollicitant les différents réseaux. L’objectif est mis à mal sur les points d’interconnexion des réseaux hétérogènes (Passerelles). Ainsi l’approche principale utilisée pour le passage d’un réseau à un autre est l’encapsulation de trames. Pour atteindre l’optimalité de performance de cette technique plusieurs paramètres sont à prendre en compte tels que le nombre de trames à encapsuler, les ordonnancements utilisés, le coût en bande passante ainsi que l’impact sur les distributions de délais (gigue). Dans l’optique de préservation des performances des réseaux, l’objet de nos travaux porte sur l’étude, la comparaison et la proposition de techniques permettant l’interconnexion de réseaux hétérogènes temps réels à la fois pour des applications à faibles et à fortes contraintes temporelles. Après un état de l’art sur les réseaux temps réel, nous spécifions différentes techniques d’interconnexion de réseaux hétérogènes, puis, nous présentons une étude de cas basée sur une architecture réseau interconnectant différents bus CAN via un réseau fédérateur sans fil Wi-Fi. L’étude que nous avons menée montre, par le biais de différentes simulations, que cette architecture réseau est une bonne candidate pour la transmission de flux à contraintes temporelles faibles. Une architecture réseau interconnectant différents bus CAN via un réseau fédérateur Ethernet commuté est ensuite considérée dans une seconde étude de cas ciblant les applications à fortes contraintes temporelles. Dans un premier temps, nous prenons en compte le cas d’un réseau fédérateur Ethernet-PQSE et, dans un second temps, le cas d’Ethernet-AVB. Cette étude nous permet de montrer l’impact des différentes techniques d’interconnexion sur les délais des flux du réseau.

Dans le cas des systèmes temps-réels, une difficulté majeure pour le développement d’une approche compositionnelle consiste au modèle synchrone du temps où les horloges des différents composants avancent simultanément.Cet aspect est, pourtant, difficile à considérer dans un cadre compositionnel.Nous proposons une méthode basée sur l’approche déductive et consistant à calculer d’une manière purement compositionnelle une sur-approximation de l’ensemble des états atteignables du système à travers un invariant.Ce dernier se compose d’invariants locaux propres aux composants, un invariantd’interaction caractérisant les interactions entre les composants. En plus, afin de considérer le modèle synchrone du temps, nous introduisons des horloges auxiliaires appelées « Horloges d’Histoire ». Elles permettent de générer des invariants supplémentaires permettant de détecter des relations induites par les synchronisations temporelles des différents composants. Appliqué à plusieurs exemples de systèmes, l’invariant s’est avéré souvent suffisamment fort avec une réduction importante de la complexité de vérification.Toutefois, puisque la méthode est basée sur une sur-approximation, des faux contre-exemples peuvent être générés. Nous avons complété la méthode avec un module destiné pour leur analyse.Au delà de son passage à l’échelle, la méthode est étendue pour la vérification uniforme des systèmes paramétrés, où certains composants sont identiques. La validité de la propriété peut être affirmée indépendamment de leur nombre.Cette méthode compositionnelle est implémentée dans l’outil RTD-Finder conçu pour la vérification des systèmes modélisés au langage BIP (Behavior-Interaction-Priority).Les résultats d’expérimentation montrent la réduction de la complexité de vérification en comparaison avec l’approche monolithique, surtout quand l’invariant global est en mesure de détecter la propriété d’intérêt. / The compositional Verification aims at breaking down the complexity of the verification task by relying on the separate analysis of the sub-components and inferring global properties of the system from their local properties.In the framework of real-time systems, one main obstacle for developing fully compositional methods is the synchronous model of time.We propose a verification method based on the deductive approach where the setof reachable states of the system is over-approximated by an invariant computedin a fully compositional manner. It comprises local component invariants andan interaction invariant characterizing the interactions between the components.In addition, we introduce auxiliary clocks, called history clocks which allow toautomatically generate new invariants capturing the constraints induced by thetime-synchronizations between the different components. We completed this com-positional invariant generation approach with a counterexample-based invariantenforcement module analyzing iteratively the generated counterexamples.Besides its scalability, the method can be extended to the uniform verification of parameterized timed systems.Our compositional verification method was implemented in the RTD-Finder tool.The experimental results show that the verification time for large systems is drastically reduced in comparison with exploration techniques, especially when the global invariant catches the safety property of interest.

Ce manuscrit présente les travaux réalisés pour la mise au point d'un nouvel outil dédié à la détection temps-réelle assistée par ordinateur pour la détection des polypes colorectaux en vidéocoloscopie dans le cadre du dépistage précoce du cancer colorectal. Ce cancer reste aujourd'hui associé à un taux de mortalité important lorsque détecté trop tardivement. Un tel outil pourrait donc permettre d'améliorer la prise en charge.Tout d'abord, une analyse de l'état de l'art permet de mettre en évidence les limitations des méthodes actuelles. Il est alors possible de déterminer le positionnement scientifique et technique à adopter pour créer un outil innovant dédié à cette tâche de détection.Une première phase dédiée à l'analyse d'images fixes permet de confirmer ou d'infirme les choix scientifiques possibles et ainsi de développer une approche en accord avec les contraintes imposées par une utilisation clinique (temps de traitement, performances en particulier). Cette première méthode est ainsi capable de détecter les polypes en moins de 40 millisecondes par image, soit compatible avec le temps réel, en ayant de bonnes performances (F1 Score de 47.55%).Logiquement, on s'intéresse ensuite à la détection des polypes dans les vidéos, qui permet de se rapprocher d'examens réels. En particulier, on propose plusieurs optimisations (comme la cohérence temporelle) permettant de tirer bénéfice de la vidéo. L'outil est alors capable d'alerter le médecin sur la présence de polypes dans 97.6% des cas (36 vidéos) en temps-réel avec, en moyenne, seulement 23 millisecondes pour traiter une image.Au final, cet outil, capable d'alerter le médecin sur la présence de polypes colorectaux en temps-réel durant l'examen, pourrait donc s'intégrer dans la routine clinique de la vidéocoloscopie. Des essais cliniques à venir permettront d'identifier les possibles limitations à lever. / This manuscript presents the work carried out for the development of a new tool dedicated to real-time computer-assisted detection for the detection of colorectal polyps in videocoloscopy, in the context of early detection of colorectal cancer. This cancer remains today associated with a high mortality rate when detected too late. A such tool could help to improve medical care.First of all, an analysis of the state of the art makes it possible to highlight the limitations of current methods. It is then possible to determine the scientific and technical positioning to adopt in order to create an innovative tool dedicated to this detection task.A first phase dedicated to the analysis of still frames confirms or invalidates the possible scientific choices and thus develops an approach in accordance with the constraints imposed by clinical use (processing time, performance in particular). This first method is able to detect polyps in less than 40 milliseconds per image, which is compatible with real time, with good performance (F1 Score of 47.55%).Logically, we are interested in the detection of polyps in videos, which allows to get closer to real exams. In particular, several optimizations (such as temporal coherence) are proposed to benefit from video. The tool is then able to alert the doctor about the presence of polyps in 97.6% of cases (on a set of 36 videos) in real time with only an average processing time of 23 milliseconds per frame.In the end, this tool, which can alert the doctor of the presence of colorectal polyps in real time during the examination, could therefore be part of the clinical routine of videocoloscopy. Future clinical trials will identify possible limitations to be overcome.

Cette thèse propose une approche historique de l'esthétique théâtrale européenne qui entretient avec le réel une relation dynamique. Dans la programmation théâtrale au tournant du XXIe siècle de trois pays (France, Grande Bretagne et Pologne), un ensemble cohérent et significatif d’œuvres a pu être identifié comme relevant d’une catégorie particulière : le théâtre du réel. Cet objet d’étude nous a semblé un moyen pour comprendre non seulement une esthétique, plus ou moins partagée, mais aussi l’attitude de trois sociétés, distinctes mais en contact dans un cadre européen redéfini, face à un réel social, présent ou passé, évoqué sur scène entre 1997 et 2010. Dans la production théâtrale émerge alors une autre perception vécue de l’accessibilité du réel ainsi qu’un désir d’immédiateté des créateurs et du public. La matérialité du corps, l'effet de la véracité, la présence de témoins sur scène servent à créer un lien entre l'intime et le social. Une autre évolution sociale est ainsi perceptible. Dans les trois sociétés considérées le rapport entre les institutions théâtrales et les instances politiques qui les soutiennent changent. On demande au théâtre de participer au maintien ou à la reconstitution du « lien social ». En même temps, le politique comme instance spécifique fondée sur des conflictualités pacifiées, semble s’effacer au profit d’un consensus éthique, renforcé par un consensus sur l’idée d’un dépassement nécessaire des absolus culturels. Le théâtre est confronté à la question de la construction complexe et de la perception des identités, à un moment où la focalisation sur le tout-national est remise en cause. En mettant au cœur du projet théâtral le consensus social (réconciliation polono-allemande, réhabilitation de l’estime de soi des chômeurs, sensibilisation à la violence qui s’exerce dans l’histoire, avec les génocides), les artistes remplissent une mission éthique et préfigurent un certain état politique des sociétés contemporaines qui ne pensent plus le conflit politique et social selon un modèle binaire / In theatrical programming at the turn of the century in France, Great Britain, and Poland, a consistent and significant number of performances have been identified as belonging to one particular aesthetic: the theatre of the real. This object of historical study seemed to us a way to understand not only a particular aesthetic, more or less similar in these three countries, but also the attitude of the three societies, distinct, but sharing the same redefined European context, to a social reality, past or present, evoked on stage between 1997 and 2010. From theatrical creation at this time emerged a new perception of accessibility to reality, and also a desire for immediacy, for artists as well as for the spectators. The materiality of the body on the stage, the veracity, and the presence of witnesses are used to create a link between the intimacy of the spectator and the social dimension of the message. Another social change is thus perceptible. The relationship between theatrical institutions and the political bodies that support and finance them changes. The theatrical institutions are asked to participate in the maintenance or reconstruction of social "ties" and inclusiveness. At the same time, the politics seems to fade away in favour of an ethical consensus. By putting the consensus into the heart of the theatrical project (Polish-German reconciliation, rehabilitation of self-esteem of the unemployed, making the spectators sensitized to the violence exerted in history, including genocide), artists fulfil an ethical mission and foreshadow a political state of contemporary societies that no longer conceive the political and social conflict according to a binary model

La mise à disposition est une notion récente – à l’échelle du droit français – qui n’a réellement intégré le domaine juridique qu’au siècle dernier. A travers elle, c’est le phénomène d’évolution de la langue juridique qui peut être observé, les raisons et le processus de l’intégration d’un terme de la langue courante au sein du langage juridique. Par ailleurs, l’ampleur et la rapidité avec lesquelles la locution « mise à disposition » s’est répandue dans les textes du droit français montrent à quel point la formule répond à un besoin des praticiens. Pourtant, la notion de mise à disposition ne présente, à première vue, aucune cohérence et son utilisation normative recèle de nombreuses contradictions. L’étude approfondie de la mise à disposition permet toutefois de découvrir une notion homogène sous la forme d’une « licence d’utilisation », notion qui appelle un régime particulier. La mise en exergue par l’étude de la mise à disposition de certaines singularités juridiques ouvre d’ailleurs la voie à une réflexion plus large portant sur la pertinence de certaines classifications classiques, notamment quant aux catégories de choses et quant à la distinction droits réels / droits personnels. / The provision is a recent notion - across the French law - which has really integrated the legal scope in the last century. Through it, the phenomenon of legal language evolution can be observed, the reasons and the process of integrating a term of the current language in the legal language. Moreover, the extent and speed with which the "provision" phrase has spread in the texts of French law show how the formula meets the need of practitioners. Yet the notion of providing presents, at first glance, no consistency and normative use conceals many contradictions.However, the comprehensive study of the provision give the opportunity to discover a homogeneous concept as a "license to use" concept that calls a special regime. The discovery of certain legal singularities also opens the way for a broader reflection on the relevance of certain conventional classifications, particularly as regards the categories of things and on the distinction real rights / personal rights.

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. / The design of avionic platforms takes into account the functional and dysfunctional aspects, which depend on the aircraft operation concept. These avionic platforms embed computer resources that must produce accurate results at the right time, and must be dependable whatever the disturbance.In this specific context, we address the topic of fault tolerant real time scheduling. Since the embedded computer resources are disturbed by electromagnetic waves produced by radar, especially during the aircraft approach, we suggest a model of these wave effects named fault bursts. Afterthe analysis of scheduler behaviour when an error is dectected inside a task, we present a validation technique based on the evaluation of the worst case response time. By this way, we are able to study the task set feasibility under fault burst assumption and according to the error recovery strategy.Then, based on these results, we show a way to analyse the effects of disturbances such as electromagnetic waves at system level. The underlining idea is to demonstrate the main role of fault tolerant real time scheduler in the management of erroneous data. To do that, we suggest an equipment model which integrates the behaviour of the equipement when a disturbance occurs. We also describe thedata flows in order to describe the avionics platform dynamics.