Cette thèse porte sur le développement de schémas semi-implicites à pas fractionnaires pour les équations de Navier-Stokes compressibles ; ces schémas entrent dans la classe des méthodes de correction de pression.La discrétisation spatiale choisie est de type "à mailles décalées :éléments finis mixtes non conformes (éléments finis de Crouzeix-Raviart ou Rannacher-Turek) ou schéma MAC classique.Une discrétisation en volumes finis décentrée amont du bilan de masse garantit la positivité de la masse volumique.La positivité de l'énergie interne est obtenue en discrétisant le bilan d'énergie interne continu, par une méthode de volumes finis décentrée amont, enfin, et en couplant ce bilan d'énergie interne discret à l'étape de correction de pression.On effectue une discrétisation particulière en volumes finis sur un maillage dual du terme de convection de vitesse dans le bilan de quantité de mouvement et une étape de renormalisation de la pression; ceci permet de garantir le contrôle au cours du temps de l'intégrale de l'énergie totale sur le domaine.L'ensemble de ces estimations a priori implique en outre, par un argument de degré topologique, l'existence d'une solution discrète. L'application de ce schéma aux équations d'Euler pose une difficulté supplémentaire.En effet, l'obtention de vitesses de choc correctes nécessite que le schéma soit consistant avec l'équation de bilan d'énergie totale, propriété que nous obtenons comme suit. Tout d'abord, nous établissons un bilan discret (local) d'énergie cinétique.Ce dernier comporte des termes sources, que nous compensons ensuite dans le bilan d'énergie interne. Les équations d'énergie cinétique et interne sont associées au maillage dual et primal respectivement, et ne peuvent donc être additionnées pour obtenir un bilan d'énergie totale ; cette dernière équation est toutefois retrouvée, sous sa forme continue, à convergence : si nous supposons qu'une suite de solutions discrètes converge lorsque le pas de temps et d'espace tendent vers 0,, nous montrons en effet, en 1D au moins, que la limite en satisfait une forme faible.Ces résultats théoriques sont confortés par des tests numériques.Des résultats similaires sont obtenus pour les équations de Navier-Stokes barotropes. / This thesis is concerned with the development of semi-implicit fractional step schemes, for the compressible Navier-Stokes equations; these schemes are part of the class of the pressure correction methods.The chosen spatial discretization is staggered: non conforming mixed finite elements (Crouzeix-Raviart or Rannacher-Turek) or the classic MAC scheme. An upwind finite volume discretization of the mass balanced guarantees the positivity of the density. The positivity of the internal energy is obtained by discretising the internal energy balance by an upwind finite volume scheme and by coupling the discrete internal energy balance with the pressure correction step.A special finite volume discretization on dual cells is performed for the convection term in the momentum balance equation, along with a renormalization of the pressure; this allows to guarantee the control in time of integral of the total energy over the domain.All these a priori estimates implies lead to the existence of a discrete solution by a topological degree argument.The application of this scheme the equations of Euler yields an additional difficulty.Indeed, obtaining correct shock speeds requires that the scheme be consistent with the total energy balance,, property which we obtain as follows.First of all, a local discrete kinetic energy balance is established; it contains source terms which are compensated by adding some source terms in the internal energy balance. The kinetic and internal energy equations are associated with the dual and primal meshes respectively, and thus cannot be added to obtain a balance total energy balance; its continuous counterpart is however recovered at the limit: if we suppose that a sequence of discrete solutions converges when the space and time steps tend to 0, we indeed show, in 1D at least, that the limit satisfies a weak form of the equation. These theoretical results are comforted by numerical tests.Similar results are obtained for the barotropic Navier--Stokes equations

Cette thèse traite de la modélisation et la simulation de réseaux de capteurs sans fil afin de fournir des estimations précises de consommations d´énergie. Un cadre de conception et de simulation base sur SystemC au niveau système est proposé, nommé IDEA1. Elle permet l’exploration de l’espace de conception de réseaux de capteurs à un stade amont. Les résultats de simulation comprennent le taux de livraison de paquets, la latence de transmission et les consommations d’énergie. Sur un banc d’essai comportant 9 nœuds, la différence moyen entre les IDEA1 simulations et les mesures expérimentales est 4.6 %. Les performances d'IDEA1 sont comparées avec un autre simulateur largement utilisé, NS-2. Avec la co-simulation matérielle et logicielle, IDEA1 peut apporter des modèles plus détaillés de nœuds de capteurs. Pour fournir les résultats de la simulation au même niveau d’abstraction, IDEA1 réalise les simulations deux fois plus vite que NS-2.Enfin, deux études de cas sont accomplies pour valider le flot de conception d'IDEA1. La performance de l‘IEEE 802.15.4 est globalement évaluée pour diverses charges de trafic et configurations de paramètres de protocole. Une application de contrôle actif des vibrations est également étudiée. Les simulations d'IDEA1 trouvent le meilleur choix de protocoles de communication. / This thesis deals with the modeling and simulation of wireless sensor networks in order to provide mote accurate prediction of energy consumptions. A SystemC-based system level design and simulation framework is proposed, named as IDEA1. It enables the design space exploration of sensor networks at an early stage. The simulation results include packet delivery rate, transmission latency and energy consumptions. A testbed consisting of 9 motes is built to validate the simulation results of IDEA1. The average deviation between the IDEA1 simulations and the experimental measurements is 4.6%. The performances of IDEA1 are compared with a widely-used WSN simulator,NS-2. With the hardware and software co-simulation, IDEA1 can provide more detailed models of sensor nodes. For offering the simulation results at same abstraction level,IDEA1 only uses one third of the simulation time of NS-2. Finally, two case studies are performed to validate design flow of IDEA1. The performance of IEEE 802.15.4sensor networks is comprehensively evaluated for various traffic loads and configurations of protocol parameters. In addition, a real-time active vibration control application is also studied. By the simulation of IDEA1, the best choice of communication protocols and hardware platforms is found.

Le monde des réseaux de capteurs sans fil ‘RCSF’ a connu de grands progrès au cours de ces dernières années. Ainsi, les RCSF ont pu intégrer divers champs d’application (environnement, militaire, médecine, domotique ...) dont quelques-uns ayant des exigences en termes de qualité de service ‘QdS’. Cependant, la garantie de la QdS dans un RCSF pose des problèmes de recherche non triviaux, à cause de la nature peu fiable de la communication sans fil et des limitations des ressources des nœuds RCSF (processeur, mémoire, énergie ...). Dans le cadre de cette thèse, nous nous sommes focalisés sur les protocoles MAC afin d’améliorer le support de QdS dans les RCSF. Plus particulièrement, le standard IEEE 802.15.4. Les mécanismes de conservation d’énergie proposés par ce standard sont efficaces et présentent une flexibilité par rapport aux besoins des applications. Néanmoins, le temps de sommeil des nœuds affecte considérablement le délai de communication, donnant naissance à un compromis énergie/délai. Pour résoudre ce problème, nous avons amélioré ce standard pour un meilleur support des applications temps-réel. L’approche proposée permet de réduire le délai de communication de manière significative, même pour de faibles rapports cycliques, grâce au nouveau format de la supertrame. Les performances ont été validées par simulation et sur des plateformes de nœuds RCSF réelles. Nous avons proposé également un modèle de simulation pour le standard IEEE 802.15.4 sous le simulateur NS-3. / In the last years, Wireless Sensor Networks ‘WSN’ knew a tremendous evolution which attracted many applications. WSN has several characteristics that make it a unique research field, such as, WSN nodes’ constraints and the unreliable (lossy) wireless communication. The IEEE 802.15.4 standard is the first standard designed for this type of networks known as LR-WPANs ‘Low-Rate Wireless Personal Area Network’. The energy conservation mechanism proposed by the current standard is quite efficient and very flexible. This flexibility comes from the ability to configure different duty cycles to meet specific applications’ requirements. However, this mechanism has a considerable impact on the end-to-end delay. Our approach resolves the energy/delay trade-off by avoiding the storage of the real-time data in the coordinator during sleep time, more particularly in Multi-source Multi-sink networks. A new superframe structure is adopted and a deterministic reception scheduling is used. In this thesis, we also proposed a new WPAN model for the Network Simulator 3 ‘NS-3’.

Switch Optimization in a Converged Network thesis discusses the role of the Ethernet switch in the network. It describes differences between the switch and the hub in the network and the impacts on the collision domain size. In the converged network, priority data switching according to their origin and thus the qualitative point of view is also addressed - e-mails, voice services and multimedia will each behave differently. A real element, switch L3 - a switch with services quality support - is mentioned. The tool Matlab - Simulink is briefly described and a functional simplified model of the ethernet switch was created. Furthermore, the topic was used as a theme for a laboratory task in the subject Services of Telecommunication Networks. A model for Simulink and an example of the laboratory protocol for the created task are attached to the thesis.

This thesis deals with the design and construction of the meteorological station. The meteorological station is designed and constructed to be able to measure the basic meteorological parameters (temperature, humidity, air pressure) and the other three variables (measuring rainfall, wind speed, wind direction). This thesis will introduce you to meteorology. Meteorology determines the daily weather forecast and the results are used for examples in aviation or maritime affairs. The method of atmospheric origin is given in the theoretical part. Meteorology must use measuring instruments to determine quantities. The dissertation also includes analysis of the measuring instruments. The meteorological station uses the Ethernet technology. In the chapter devoted to Ethernet are described its principles, types and method of power supply over Ethernet. The following section describes the design of the entire meteorological station, selection of all components and description of their connection. The chapter about implementation contains a description of the parts which forms program part of the meteorological station. The aim of the thesis is a summary of the achieved results including price comparison of the renovated meteorological station with other meteorological stations, which can be normally bought.

Les années récentes ont vu l’explosion du trafic sur les réseaux mobiles depuis l’apparition de nouveaux terminaux (smartphones, tablettes) et des usages qu’ils permettent, en particulier les données multimédia, le trafic voix restant sensiblement constant. Une conséquence est le besoin de plus de spectre, ou la nécessité de mieux utiliser le spectre déjà alloué. Comme il n’y a pas de coordination entre les utilisateurs secondaire(s) et primaire, avant toute transmission les premiers doivent mettre en œuvre des traitements pour détecter les périodes dans lesquelles l’utilisateur primaire transmet, ce qui est le scénario considéré dans cette thèse. Nous considérons donc une autre approche, reposant sur l’utilisation de codes correcteurs d’effacements en mode paquet. La dernière partie de la thèse aborde un scénario dans lequel il n’y a plus d’utilisateur primaire, tous les utilisateurs ayant le même droit à transmettre dans le canal. Nous décrivons une modification de la couche MAC du 802.11 consistant à réduire les différents temps consacrés à attendre (SIFS, DIFS, backoff, . . .) afin d’accéder plus souvent au canal, au prix de quelques collisions supplémentaires qu’il est possible de récupérer en mettant en œuvre des codes correcteurs d’effacements. / The emergence of new devices especially the smartphones and tablets having a lot of new applications have rocketed the wireless traffic in recent years and this is the cause of main surge in the demand of radio spectrum. There is a need of either more spectrum or to use existing spectrum more efficiently due to dramatic increase in the demand of limited spectrum. Among the new dynamic access schemes designed to use the spectrum more efficiently opportunistic spectrum access (OSA) is currently addressed when one or more secondary users (SU) are allowed to access the channel when the PU is not transmitting. The erasure correcting codes are therefore envisioned to recover the lost data due to sensing impairments. We define the parameter efficiency of SU and optimize it in-terms of spectrum utilization keeping into account sensing impairments, code parameters and the activity of PU. Finally, the spectrum access for multiple secondary users is addressed when there is no primary and each user has equal right to access the channel. The interesting scenarios are Cognitive radio networks and WiFi where 802.11 protocol gives the specification for MAC layer. The throughput curvesachieved by retransmission and using various erasure correcting codes are compared. This modification in MAC layer will reduce the long waiting time to access the channel, as the number of users are increased.

Les accidents routiers et leurs dommages représentent un problème croissant dans le monde entier. Dans ce contexte, les réseaux véhiculaires (VANETs) peuvent être déployés pour réduire les risques et pour améliorer le confort. Ils permettent aux véhicules d'échanger différents types de données qui vont des applications de sécurité et de gestion du trafic aux applications de confort. De nos jours, les applications de sécurité sont l’objet de beaucoup d'attention des chercheurs ainsi que des fabricants d'automobiles. Dans cette thèse, nous étudierons les applications critiques pour la sécurité routière visant à fournir une assistance dans des situations dangereuses ou difficiles. Notre objectif principal sera de proposer de nouveaux protocoles de contrôle d'accès au support de transmission (MAC) et de routage, qui peuvent s’adapter dynamiquement aux changements fréquents de topologies des VANETs. Après un aperçu des protocoles d’accès sans contention dans les VANETs, nous proposons des solutions basées sur la technique de division du temps: Time Division Multiple Access (TDMA). D’abord, nous nous concentrons sur le développement d’un nouveau protocole distribué (DTMAC), qui ne repose pas sur l’utilisation d’infrastructure. DTMAC utilise les informations de localisation et un mécanisme de réutilisation des slots pour assurer que les véhicules accèdent au canal efficacement et sans collision. Les résultats obtenus ont confirmé l’efficacité de notre protocole, DTMAC se comporte très significativement mieux que VeMAC (protocole MAC basé sur TDMA.) Ensuite nous proposons TRPM, un protocole de routage basé sur une approche cross-layer. Dans TRPM, l’ordonnancement des slots TDMA construit par DTMAC et la position de la destination sont utilisés pour choisir le meilleur relais. Les résultats montrent que TRPM offre de meilleures performances, du nombre moyen de relais et de la fiabilité de livraison des messages comparé à d’autres protocoles. Dans la deuxième partie de cette thèse, nous nous focaliserons sur les mécanismes centralisés d’allocation de slots qui utilisent des coordinateurs. D’abord, nous proposons CTMAC, un protocole basé sur TDMA centralisé utilisant les RSUs (RoadSide Units) pour créer et maintenir les ordonnancements. CTMAC met en œuvre un mécanisme qui permet d’empêcher les “Access Collisions” de se produire plus que deux fois entre les véhicules qui tentent d’acquérir un même slot disponible. Les résultats ont montré que CTMAC permet de mieux minimiser les collisions, ainsi que le surcoût généré pour créer et maintenir les ordonnancements par rapport aux protocoles MAC, basés sur TDMA distribué. Cependant, dans CTMAC, les véhicules roulant vite devront acquérir des nouveaux slots après une courte période de temps à chaque fois qu’ils quittent les zones de leurs RSUs courants. Cette situation rend les protocoles centralisés inefficaces et couteux dans les réseaux à grande vitesse. Afin de pallier à ce problème inhérent à l’utilisation des RSUs, nous adaptons un algorithme d’ordonnancement basé sur le clustering dans lequel certains véhicules sont élus pour gérer l'accès au canal. Ceci permet aux véhicules de rester attachés à leurs clusters plus longtemps. Pour ce faire, nous proposons 1- un protocole de clustering nommé AWCP afin de former des clusters stables avec une longue durée de vie. AWCP est basé sur l’algorithme de clustering pour les réseaux mobiles WCA dans lequel les têtes des clusters sont élues en se basant sur une fonction de poids. 2- Nous formulons le réglage des paramètres de protocole AWCP comme un problème d’optimisation multi-objective et nous proposons un outil d’optimisation qui combine la version multi-objective de l’algorithme génétique appelé NSGA-II avec le simulateur de réseau ns-2 pour trouver les meilleurs paramètres du protocole AWCP. 3- Nous proposons ASAS, une stratégie adaptative pour l’attribution des slots temporels basée sur une approche cross-layer entre TDMA et AWCP / Road crashes and their damages represent a serious issue and are one of the main causes of people death. In this context, Vehicular Ad hoc NETworks (VANETs) are deployed to reduce the risk of road accident as well as to improve passengers’ comfort by allowing vehicles to exchange different kinds of data which ranges widely from road safety and traffic management to infotainment. Nowadays, safety applications are receiving a great deal of attention from researchers as well as from automobile manufacturers. In this thesis, we particularly focus on safety-critical applications, designed to provide drivers assistance in dangerous situations and to avoid accidents in highway environments. Such applications must guarantee to the vehicles access to the medium and have strict requirements regarding end-to-end delay and packet loss ratio. Therefore, our main goal is to propose new medium access control and routing protocols, which can efficiently adapt to frequent changing VANET network topologies. After a comprehensive overview of free-contention MAC protocols, we propose several solutions, based on Time Division Multiple Access Technique (TDMA). We have designed DTMAC, a fully distributed TDMA-based MAC protocol, which does not rely on an expensive infrastructure. DTMAC uses vehicles’ locations and a slot reuse concept to ensure that vehicles in adjacent areas have collision-free schedule. Using simulations, we prove that DTMAC provides a lower rate of access and merging collisions than VeMAC, a well-known TDMA based MAC protocol in VANET. Then, in order to ensure that event-driven safety messages can be sent over a long distance, we propose TRPM, a TDMA aware Routing Protocol for Multi-hop communication. Our routing scheme is based on a cross layer approach between the MAC and the routing layers, in which the intermediate vehicles are selected using TDMA scheduling information. Simulation results show that TRPM provides better performances in terms of average end-to-end delay, average number of hops and average delivery ratio. In the second part, we focus on coordinator-based TDMA scheduling mechanisms. First, we propose the Centralized TDMA based MAC protocol (CTMAC) which uses Road Side Units (RSUs) as a central coordinator to create and maintain the TDMA schedules. CTMAC implements an Access Collision Avoidance mechanism that can prevent the access collision problem occurring more than twice between the same vehicles that are trying to access the channel at the same time. Using simulation we show an improvement in terms of access and merging collisions as well as the overhead required to create and maintain the TDMA schedules compared to distributed scheduling mechanisms. However, in the CTMAC protocol, fast moving vehicles will need to compete for new slots after a short period of time when they leave their current RSU area, which makes a centralized scheduling approach very expensive. In order to further improve the performance of coordinator-based TDMA scheduling mechanisms, we focus on cluster-based TDMA MAC protocols in which some vehicles in the network are elected to coordinate the channel access, allowing the vehicles to remain connected with their channel coordinator for a longer period of time. To this end, first we propose an adaptive weighted clustering protocol, named AWCP, which is road map dependent and uses road IDs and vehicle directions to make the clusters’ structure as stable as possible. Then, we formulate the AWCP parameter tuning as a multi-objective problem and we propose an optimization tool to find the optimal parameters of AWCP to ensure its QoS. Next, we propose ASAS, an adaptive slot assignment strategy for a cluster-based TDMA MAC protocol. This strategy is based on a cross layer approach involving TDMA and AWCP. The objective is to overcome the inter-cluster interference issue in overlapping areas by taking into account vehicles’ locations and directions when the cluster head assign slots

Cette thèse se situe dans le domaine des Systèmes Commandés en Réseaux, systèmes pluridisciplinairesqui connaissent un grand développement dans le contexte technologique actuel etqui introduisent de nouveaux problèmes de recherche, en particulier, pour les communautés Automatiqueet Réseau de Communication. L’objectif est de montrer l’intérêt de considérer un lienbidirectionnel entre la Qualité de Contrôle (QdC) (stabilité et performance des applications decontrôle-commande) et la Qualité de Service (QdS) (retards dans les transmissions) en se focalisantsur les réseaux locaux et plus particulièrement sur l’ordonnancement des trames dans la souscouche MAC où on considère des protocoles MAC de type CSMA.Notre travail se situe tout d’abord dans le cadre du réseau CAN où nous faisons trois propositions.La première proposition consiste en des solutions de QdS pour des applications decontrôle-commande sur la base du concept de priorité hybride, pour l’ordonnancement de trames,dans laquelle nous définissons une partie priorité dynamique qui dépend d’un paramètre de QdC.Ceci permet de réaliser une relation QdC→QdS. La deuxième proposition consiste en des solutionsde QdC par une méthode de compensation de retard (maintenance des pôles dominants)ce qui permet de réaliser une relation QdS→QdC. La troisième proposition consiste à réaliserune relation QdC⇋QdS qui assure lors de l’implantation de plusieurs applications, une propriétéd’équité comportementale. Nous abordons ensuite le cadre particulier des réseaux locaux sans filoù, d’une part, nous définissons des protocoles MAC de type CSMA sans collision sur la basede priorités et, d’autre part, nous montrons la faisabilité des idées développées dans le cadre duréseau CAN / This thesis is in the field of Networked Controlled Systems, which are multidisciplinary systemsand which experience a great development in the context of the current technology andintroduce new research problems, particularly for the communities of Automatic Control andCommunication Network. The aim is to show the interest in considering a bidirectional link betweenthe Quality of Control (QoC) (stability and performance of process control applications) andQuality of Service (QoS) (delays in the transmissions) and to focus on Local Area Networks and,more particularly, on the scheduling of frames in the MAC layer in which we consider CSMAMAC protocols.Our work first concerns a CAN network where we have three proposals. The first proposalconsists of solutions for QoS, for process control applications, which are based on the conceptof hybrid priority for the frame scheduling in which we define a dynamic priority part which dependson a QoC parameter. This allows to implement a relation QoC→QoS. The second proposalconsists of QoC solutions by using a compensation method for time delays (maintenance of dominantpoles) which allows to implement a relation QoS→QoC. The third proposal consists inimplementing a relation QoS⇋QoC that ensures, for the implementation of several applications,a fairness property. We then discuss the specific context of Wireless LANs, where, on the onehand, we define collision-free CSMA MAC protocols on the basis of priorities and, on the otherhand, we show the feasibility of the ideas developed in the CAN network

[pt] A dissertação possui como objetivo principal estudar a cláusula MAC em sua aplicação no Brasil. A cláusula MAC é muito mais do que uma mera cláusula única e simples, sendo, na realidade, um mecanismo contratual, aparecendo de maneiras diversas ao longo do contrato e extremamente presente na realidade negocial internacional, sobretudo, em relações contratuais complexas como as operações de M(e)A, foco de análise desta dissertação. O grande objetivo da cláusula MAC é lidar com o eventual desequilíbrio superveniente ou da alteração das circunstâncias nas operações de M(e)A. É uma cláusula que, além de ser bastante discutida contratual e judicialmente no exterior, é de origem estrangeira (anglo-saxã), reforçando, portanto, a necessidade de se fazer um contraponto entre tal mecanismo e alguns dos principais institutos e conceitos de direito civil, obrigacional e contratual existentes no ordenamento jurídico brasileiro. / [en] The main goal of this dissertation is to study the MAC clause and its applicability in Brazil. The MAC clause is much more than a mere single and simple clause, being, in fact, a contractual mechanism, appearing in different ways throughout the contract and extremely present in the international business reality, above all, in complex contractual relationships such as M(and)A transactions, focus of analysis of this dissertation. The main objective of the MAC clause is to deal with any supervening imbalance or change in circumstances in M(and)A transactions. It is a clause that, in addition to being widely discussed contractually and judicially abroad, is of a foreign origin (Anglo-Saxon), therefore reinforcing the need to male a counterpoint between such a mechanism and some of the main institutes and concepts of civil, obligational, and contractual la, existing in the Brazilian legal system.

The Macintosh Hierarchical File System Plus, HFS +, or as it is commonly referred to as the Mac Operating System, OS, Extended, was introduced in 1998 with Mac OS X 8.1. HFS+ is an update to HFS, Mac OS Standard format that offers more efficient use of disk space, implements international friendly file names, future support for named forks, and facilitates booting on non-Mac OS operating systems through different partition schemes. The HFS+ file system is efficient, yet, complex. It makes use of B-trees to implement key data structures for maintaining meta-data about folders, files, and data. The implementation of what happens within HFS+ at volume format, or when folders, files, and data are created, moved, or deleted is largely a mystery to those who are not programmers. The vast majority of information on this subject is relegated to documentation in books, papers, and online content that direct the reader to C code, libraries, and include files. If one can’t interpret the complex C or Perl code implementations the opportunity to understand the workflow within HFS+ is less than adequate to develop a basic understanding of the internals and how they work. The basic concepts learned from this research will facilitate a better understanding of the HFS+ file system and journal as changes resulting from the adding and deleting files or folders are applied in a controlled, easy to follow, process. The primary tool used to examine the file system changes is a proprietary command line interface, CLI, tool called fileXray. This tool is actually a custom implementation of the HFS+ file system that has the ability to examine file system, meta-data, and data level information that iv isn’t available in other tools. We will also use Apple’s command line interface tool, Terminal, the WinHex graphical user interface, GUI, editor, The Sleuth Kit command line tools and DiffFork 1.1.9 help to document and illustrate the file system changes. The processes used to document the pristine and changed versions of the file system, with each experiment, are very similar such that the output files are identical with the exception of the actual change. Keeping the processes the same enables baseline comparisons using a diff tool like DiffFork. Side by side and line by line comparisons of the allocation, extents overflow, catalog, and attributes files will help identify where the changes occurred. The target device in this experiment is a two-gigabyte Universal Serial Bus, USB, thumb drive formatted with Global Unit Identifier, GUID, and Partition Table. Where practical, HFS+ special files and data structures will be manually parsed; documented, and illustrated.