<p>When working with embedded systems, secure and fast applications are desired. To achieve this the applications needs to be analyzed and optimized so that they will not be deadlocked or communicate inefficiently. For this purpose an analysis program that can track communications, deadlocks and response times is needed. Operating System Embedded, OSE, is a wide spread real-time operating system that is used in embedded systems. OSE-applications are excellent candidates for analysis and there exists such a tool, VirtualTime, for that purpose. To analyze an OSE-application a model needs to be written that VirtualTime can analyze. This takes up time and effort as the models can require a lot of work to write.</p><p>In this thesis we have investigated and implemented a prototype that translates OSE-application code into VirtualTime simulation model code. We used the transformation tool TXL to translate communication and timing behaviors. In the translation one needs to preserve the communication and timing behavior and throw away other unnecessary code in the OSE-application. This complicates the translation and sophisticated methods like backward slicing might be necessary. A proposed method in this thesis could help with the problem.</p>

No description available.

When working with embedded systems, secure and fast applications are desired. To achieve this the applications needs to be analyzed and optimized so that they will not be deadlocked or communicate inefficiently. For this purpose an analysis program that can track communications, deadlocks and response times is needed. Operating System Embedded, OSE, is a wide spread real-time operating system that is used in embedded systems. OSE-applications are excellent candidates for analysis and there exists such a tool, VirtualTime, for that purpose. To analyze an OSE-application a model needs to be written that VirtualTime can analyze. This takes up time and effort as the models can require a lot of work to write. In this thesis we have investigated and implemented a prototype that translates OSE-application code into VirtualTime simulation model code. We used the transformation tool TXL to translate communication and timing behaviors. In the translation one needs to preserve the communication and timing behavior and throw away other unnecessary code in the OSE-application. This complicates the translation and sophisticated methods like backward slicing might be necessary. A proposed method in this thesis could help with the problem.

Die Multiple Sklerose (MS) ist eine entzündliche Autoimmunerkrankung des Zentralnervensystems. Die klinisch und pathologisch heterogene Erkrankung wird im Tiermodell am besten durch eine experimentelle Autoimmunenzephalomyelitis (EAE) abgebildet. Entzündliche Läsionen einer EAE sind neben Lymphozyten durch Monozyten/ Makrophagen gekennzeichnet. Der in dieser Arbeit untersuchte Chemokinrezeptor CX3CR1 findet sich auf murinen Monozyten des Blutes und wird dort unterschiedlich hoch exprimiert. Im ZNS werden der Rezeptor auf Mikroglia und der Ligand Fraktalkin (CX3CL1) konstitutiv und somit entzündungsunabhängig auf Neuronen exprimiert. In verschiedenen Tiermodellen neurologischer Erkrankungen wurden unterschiedliche Auswirkungen dieser Interaktion beschrieben. Die vorliegende Studie untersucht die Fragestellung, ob sich in einem spontanen EAE-Modell CX3CR1-defiziente OSE-Mäuse von CX3CR1-kompetenten OSEMäusen hinsichtlich spontaner EAE-Inzidenz, Erkrankungsverlauf und Läsionspathologie unterscheiden. CX3CR1-defiziente OSE-Mäuse zeigen in diesem Modell eine erhöhte Inzidenz (54% vs. 32%), aber einen milderen Krankheitsverlauf gegenüber Rezeptor-Wildtypen. Dem milderen Krankheitsverlauf entsprechend weisen OSE CX3CR1-defiziente Mäuse histopathologisch in der akuten Phase kleinere demyelinisierte Läsionen der spinalen weißen Substanz und geringere meningeale spinale entzündliche Infiltrate auf mit einer signifikant geringeren Makrophageninfiltration in den Läsionen. In der spinalen grauen Substanz zeigen sie eine mildere neuronale Schädigung. In der chronischen Krankheitsphase findet sich eine reduzierte Infiltration von Entzündungszellen ohne signifikanten Unterschied zwischen OSE CX3CR1-defizienten Mäusen und Rezeptorwildtypen. Molekularbiologisch zeigen OSE CX3CR1-defiziente Mäuse eine verstärkte Expression von IL-17a in der akuten Krankheitsphase. Die erhöhte EAE-Inzidenz in CX3CR1-defizienten OSE-Mäusen ist am ehesten auf ein vermehrte Generierung von enzephalitogenen 2D2 T-Zellen im Darm in diesem spontanen EAE-Modell zurückzuführen. Der mildere Krankheitsverlauf bei CX3CR1- defizienten Mäusen weist auf eine Bedeutung von CX3CR1 in der Migration von Monozyten in das entzündete ZNS hin. Die vorliegende Arbeit ist die Grundlage für weiterführende Studien, in welchen die Bedeutung der Fraktalkin-CX3CR1-Interaktion für kortikale Pathologie bei der EAE untersucht werden wird.

L'arrivée de Hitler au pouvoir et la mise en œuvre de la politique du IIIème Reich provoquent l'arrivée en France de plusieurs vagues successives de réfugiés provenant d'Allemagne et de tous les pays nouvellement conquis par le nazisme. Lyon, véritablecitadelle contre l'obscurantisme, allait s'élever comme un rempart pour les protéger et venir en aide aux nouveaux arrivants, parmi lesquels les Juifs.Le 26 août 1942, 1016 juifs étrangers, entrés en France après le 1er janvier 1936, des dix départements de la Région de Lyon, situés en zone dite libre, avaient été arrêtés et dirigés au camp de Vénissieux, situé dans la proche banlieue de Lyon, par les forces de police et de gendarmerie françaises afin d'être livrés par Vichy à l'occupant nazi. En utilisant la couverture de l'Amitié Chrétienne et grâce au soutien des membres résistants des services de Vichy, des combattants sans armes et de toutes obédiences, qui avaient déjà entrepris d'autres actions de sauvetage et qui se connaissaient, participèrent au travail de la commission de criblage de Vénissieux afin de plaider chaque dossier des internés dans un sens favorables aux exemptions.Trois jours plus tard, le 29 août 1942, 545 d'entre eux ont été conduits à la gare de St Priest pour être livrés à l'occupant en vue de leur déportation à Auschwitz tandis que les 470 restants viennent d'être libérés dont une centaine d'enfants, et prennent le chemin de la liberté. Ceux que nous avons pu retrouver nous livrent le récit de cet épisode tragique.L'affaire emblématique de Vénissieux restera dans l'histoire de la Shoah en France comme la plus grande opération de sauvetage entreprise dans un camp en France. Elle a été le résultat d'une conjonction d'éléments favorables saisis avec brio par les meilleurs du sauvetage, des résistants sans arme membres des œuvres charitables de toutes confessions qui agirent de concert avec Gilbert LESAGE du Service des Etrangers (SSE) et sous le couvert de l'Amitié Chrétienne avec l’appui du Service Social d'Aide aux Etrangers (SSAE), en coopération avec des membres de l'œuvre de Secours aux Enfants (OSE) et avec le soutien des Eclaireurs Israélites de France (EIF), du Consistoire, des rabbins. / The arrival of Hitler to power and the installation of the policy of the 3rd Reich lead to the arrival in France of several successive waves of refugees coming from Germany and all the countries conquered by the Nazis. Lyon, a real citadel against obscurantism , was going to rise like a rampart to protect them and come to the rescue of the newcomers, among them the Jews.On August 26th, 1942, 1016 foreign Jews, who arrived in France after January 1st, 1936, of the ten departments of the area of Lyon, located in the so called "free zone", had been arrested by the French police and sent to the Vénissieux camp, located in the outskirts of Lyon, in order to be handed over to the nazi occupant.Under the cover of the Christian Friendship and thanks to the help of the resistant members inside the Vichy regime, fighters without weapons and of all denominations, who had already undertaken other rescue actions and who knew each other, took part in the screening commission in Vénissieux, in order to save as many internees as possible. Three days later, on August 29th, 1942, 545 prisoners where led to the train station of St Priest, handed over to the occupant and deported to Auschwitz, while 470 others, among which 100 children, and set off to freedom.The survivors we could find after the war, gave us the account of this epic. Still, the emblematic case of Vénissieux, will remain in the history of the Shoah in France. It was the result of an environment of favourable elements seized with brilliance by the best of the rescuers, unarmed partisans, members of charitable organisations of all faiths who acted in liaison with Gilbert LESAGE from the SSE ( Service des Etrangers ) and under the cover of the Christian Frienship together with the SSAE (Service Sociald’Aide aux Etrangers), in cooperation with members of the OSE (Oeuvre de Secours aux Enfants ) and the help of the Eclaireurs Israélites de France, the Consistoire and rabbis.

Η πτυχιακή εργασία αποτελείται από δύο μέρη. Το πρώτο είναι μια τεχνικογεωλογική περιγραφή της σήραγγας του Αιγίου, η οποία αποτελεί μέρος της καινούργιας σιδηροδρομικής γραμμής που ξεκινάει δυτικά του σιδηροδρομικού σταθμού του Διακοπτού και τελειώνει δυτικά της πόλης του Αιγίου, στη Δυτική Ελλάδα. Η σύραγγα έχει συνολικό μήκος 3518 μέτρα, από Χ.Θ. 85+538,67 έως Χ.Θ. 89+246,40, κατασκευάστηκε σε Νεογενείς-Τεταρτογενείς σχηματισμούς, όπως κροκαλοπαγή, ψαμμίτες και μάργες. Το δεύτερο μέρος αφορά τη σχεδίαση της τεχνικογεωλογικής μηκοτομής και οριζοντιογραφίας από τη σύνθεση των γεωλογικών αποτυπώσεων των μετώπων εκσκαφής. / This thesis has two parts, the first part is the geotechnical description of the construction of the tunnel, which is part of the new railway line that starts at the west of the old railway station of the city of Diakopto and ends at the west of the city of Aigio, in western Greece. The tunnel has a total length of 3518m; from kilometric position 85+538,57 to kilometric position 89+246,40, it was built in Neocene’s – Quaternary formations, such as conglomerate, sandstone and marl. The second part is a geotechnical general plan on the horizontal plane and an alignment of the tunnel from kilometric position 85+953,95 to kilometric position 86+936,70, from the composition of the geological mappings of the fronts of the excavations.

No description available.

Music Culture of the Elisabethan Convent in Prague Jakub Michl Abstract The Sisters of Saint Elizabeth (Elizabethan Nuns) were a spiritual order primarily focused on administering healthcare. Therefore, music was never the main focus of the order's activities, as it often was in others, particularly educational orders. However, thanks to the uninterrupted historical continuity of the Prague convent, which was exempted from the restrictions of Joseph II's era, many sources illustrating the convent music culture were preserved, including an extensive collection of music. The dissertation aims to describe this music culture in the context of the order structure and its personal hierarchy, as part of the city of Prague and its civic institutions, and in its everyday life and characteristics such as enclosure, hospital service and recreational activities. Music in convents was always tightly bound to liturgy. In the case of the Elizabethan order, significant music production was focused on the order's main liturgical feasts such as S. Elizabeth, S. Francis of Assisi, Porciuncula, Christmas, Epiphany, Easter and also memorial services for deceased patrons of the convent. The convent cooperated with many lay musicians and composers such as F. X. Brixi, Z. V. Suchý, F. X. Labler, J. N. Bayer, among others. At the...