Les cartes à puce Java comportent plusieurs mécanismes de sécurité, dont le vérifieur de code intermédiaire (\emph{$ \ll $Java Card bytecode verifier$ \gg $}), qui est composé de deux parties, la vérification de structure et la vérification de type. Ce mémoire porte sur la génération de tests de vulnérabilité pour la vérification de structure. Il s'inspire des travaux sur la vérification de type de l'outil \textsc{VTG} (\emph{$ \ll $Vulnerability Tests Generator$ \gg $}) développé par Aymerick Savary. Notre approche consiste à modéliser formellement la spécification de la structure des fichiers \textsf{CAP} avec le langage \textsf{Event-B}, en utilisant des contextes. Cette modélisation permet de donner une définition formelle d'un fichier \textsf{CAP} valide. Nous utilisons ensuite la mutation de spécification pour insérer des fautes dans cette définition dans le but de générer des fichiers \textsf{CAP} (\emph{$ \ll $Converted APplet$ \gg $}) invalides. Nous utilisons \textsc{ProB}, un explorateur de modèles \textsf{Event-B}, pour générer des tests abstraits de fichiers CAP invalides. La spécification formelle étant d'une taille importante qui entraîne une forte explosion combinatoire (plus de 250 constantes, 450 axiomes, 100 contextes), nous guidons \textsc{ProB} dans sa recherche de modèles en utilisant des valeurs prédéterminées pour un sous-ensemble de symboles de la spécification. Ce mémoire propose un ensemble de patrons de spécification pour représenter les structures des fichiers CAP. Ces patrons limitent aussi l'explosion combinatoire, tout en facilitant la tâche de spécification. Notre spécification \textsf{Event-B} comprend toute la définition des structures des fichiers CAP et une partie des contraintes. Des tests abstraits sont générés pour une partie du modèle, à titre illustratif. Ces tests ont permis de mettre en lumière des imprécisions dans la spécification \textsf{Java Card}. Ces travaux ont permis d'étendre la méthode de génération de test de vulnérabilité aux contextes \textsf{Event-B}. De plus, le modèle proposé permet de tester, à l'aide du \textsc{VTG}, une partie plus importante de la vérification de structure du vérifieur de code intermédiaire.

ITC/USA 2008 Conference Proceedings / The Forty-Fourth Annual International Telemetering Conference and Technical Exhibition / October 27-30, 2008 / Town and Country Resort & Convention Center, San Diego, California / As traditional data acquisition systems give way to network-based data acquisition systems a new approach to instrumentation configuration, management and analysis is required. Today, most flight test programs are supported by traditional instrumentation systems and software. Pockets of network-based systems exist but are typically entirely new, closed systems. Relatively soon, test articles will emerge with a mixture of equipment. The merger of traditional and networked instrumentation is inevitable. Bridging the gap in software tools is a non-trivial task. Network-based data acquisition systems provide expanded flexibility and capabilities well beyond traditional systems. Yet pre-existing equipment requires traditional configuration and analysis tools. Traditional flight test software alone cannot fully exploit the added benefits gained from such mergers. The need exists for a new type of flight test software that handles existing instrumentation while also providing additional features to manage a network of devices. Network management is new to flight test software but a thoughtful implementation can facilitate easy transition to these modern systems. This paper explores the technologies required to satisfy traditional system configuration as well as the less understood aspects of network management and analysis. Examples of software that meet or exceed these requirements are provided.

ITC/USA 2011 Conference Proceedings / The Forty-Seventh Annual International Telemetering Conference and Technical Exhibition / October 24-27, 2011 / Bally's Las Vegas, Las Vegas, Nevada / The Spectrum Efficient Technology Science and Technology (SET S&T) Program is sponsoring the development of the Dynamic Commutation and Decommutation System (DCDS), which optimizes telemetry data transmission in real time. The goal of DCDS is to improve spectrum efficiency - not through improving RF techniques but rather through changing and optimizing contents of the telemetry stream during system test. By allowing the addition of new parameters to the telemetered stream at any point during system test, DCDS removes the need to transmit measured data unless it is actually needed on the ground. When compared to serial streaming telemetry, real time re-formatting of the telemetry stream does require additional processing onboard the test article. DCDS leverages advances in microprocessor technology to perform this processing while meeting size, weight, and power constraints of the test environment. Performance gains of the system have been achieved by significant multi-threading of the application, allowing it to run on modern multi-core processors. Two other enhancing technologies incorporated into DCDS are the Java programming language and lossless compression.

published_or_final_version / abstract / Computer Science / Doctoral / Doctor of Philosophy

published_or_final_version / Computer Science / Master / Master of Philosophy

物件永續化是應用系統設計時經常會面臨的需求，傳統做法是由開發人員自行設法將物件轉為資料庫可接受的格式，再存入後端資料庫。但這往往使得開發人員必須同時處理兩種資料模型，除了應用系統所用的物件模型之外，開發人員還要處理後端資料庫所用的資料模型，譬如表格等，以及兩種模型間的轉換。這不僅增加系統開發的複雜度，維護系統亦不容易。新的資料永續性技術Java資料物件（JDO）提供一個標準的框架，能夠幫助開發人員代為處理物件永續化的問題。因此開發人員能夠以單純的物件模型發展應用系統。另一方面，XML技術的興起帶動XML文件在資料交換與儲存方面的加速發展，其中專門儲存XML文件的資料庫也日益普遍。我們的研究是在瞭解如何使用XML資料庫為後端的資料儲存庫，而對Java物件進行物件永續化。 / Object persistence often comes up at the development of the application systems. Traditionally, the developers should try to transfer the objects to forms that databases can accept, and then store them in databases. But this often makes developers deal with two kinds of data models at the same time: besides object model that the application usually uses, the developers should also deal with the data model used for the backend database, like the relation model, and the conversion between both models. This not only increases the complexity of the system, but also the difficulty to maintain the system. A new technology of object persistence is Java Data Objects (JDO), which offer a standard framework to help developers to deal with object persistence so that the developers can concern themselves with object model only. On the other hand, the rise of XML technologies makes it attractive in data exchange and storage. The use of XML databases as data repositories becomes more and more common. Our research in the thesis is to realize JDO by serializing Java objects as XML documents and use XML databases as persistent repositories to store the resulting documents.

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

Le marché des passerelles domestiques évolue vers un nouveau modèle économique, où de multiples acteurs sont amenés à fournir des services vers nos domiciles : multimédia à la demande, domotique, télésécurité, aide aux personnes âgées ou handicapées\ldots<br /><br />Ce nouveau modèle économique a des répercussions techniques sur les passerelles domestiques. Ces équipements à ressources limitées doivent alors supporter le déploiement, l'exécution et la gestion de plusieurs éléments logiciels (modules), en provenance de fournisseurs différents. Ceci se traduit par des besoins en terme d'isolation d'exécution locale, de gestion à distance, d'infrastructure de déploiement et de modèle de programmation.<br /><br />Dans ces travaux, nous proposons de répondre à ces quatre familles de besoins en nous appuyant sur deux types d'environnements d'exécution : Java/OSGi et C/Linux.<br /><br />Nous proposons de combler les fonctionnalités manquantes à ces deux environnements, afin d'obtenir un système conforme au modèle multi-services.

Šio darbo tikslas yra sukurti metodą, kuris teiktų galimybę kuo didesnę vartotojo sąsajos dalį apibrėžti deklaratyviai (komponentų kūrimas, įvykių klausytojų registravimas, komponentų tarpusavio sąryšių apibrėžimas ir vizualus komponentų išdėstymas languose). Darbe išanalizuotos įvairios komponentinės architektūros bei išraiškingą vartotojo sąsajos apibrėžimą įgalinantys sprendimai. Apibrėžta ir įgyvendinta architektūra leidžianti kurti deklaratyviai apibrėžiamus vartotojo sąsajos komponentus, kurie deklaruoja savo elgesį ir gali bendrauti tarpusavyje pranešimų pagalba. Rezultate buvo sukurta sistema, kuri leidžia kurti taikomąsias programas su Java Swing vartotojo sąsaja, naudojantis beveik vien tik deklaratyviais taikomosios programos dalių apibrėžimais. Sukurtos sistemos konfigūracijos galimybės leidžia sumažinti komponentų manipuliacijai skirto Java kodo poreikį. / A part of a user interface can be created using declarative means. The main goal of this paper is to maximize that portion. To do that, said means would be used to create components, register event listeners, describe relationships between components and layout them in windows. Various component-based architectures and existing solutions for declarative user interface definition were analyzed. As a result, an architecture was defined which allows user interface components to be created using a declarative approach. These components define their behavior and use messages to communicate with each other. The outcome was a system, which can create Java Swing applications using mostly declarative definitions of various parts of said applications. This system provides various configuration options that reduce the need of writing Java code for component manipulation.

Magistro teoriniame darbe yra nagrinėjama post-traumatinė teritorina esanti Libano sostinėje Beirute. Atliktų analizių išvados nurodo tolimesnę praktinio darbo eigą. / This Master thesis project analyzes post-traumatic area situated in Beirut, Lebanon. Conclusions taken from analysis are used to elevate the practical part of MA project.