In this thesis, we studied a component-based software design for componentizing Linux kernel. Our goal is to componentize kernel modules and explicitly define the dependency relation of components in the kernel. Componentization can greatly improve composability, evolvability, extensibility and testability of a software system, and can thus increase the productivity of software development and reduce the cost of maintenance. On top of the componentized kernel, we developed a suite of tools to facilitate the operations on kernel components. In the component-based design, the basic software unit is a component. We envision any subsystem in kernel as a composition of components. To realize the concept, we explicitly create the output ports by augmenting the symbol table of a kernel module to record the relocation information, i.e., the locations where the module invokes the functions exported by other modules. We developed tools to discover the data passing among components such that the dependency relation among components can be clearly disclosed. With componentization in place, we are able to implement the hot-swapping technique which allows the system structure to be dynamically changed at run time. The technique makes it possible to test, swap or re-compose components when part of the system cannot be terminated or removed. The proposed system is implemented on Linux kernel 2.6.17.1. While our componentization does not introduce any time overhead when modules are in action, we evaluated our approach in terms of module loading time, memory consumption and hot-swapping time. We found that the module loading time and memory consumption of a componentized module are both proportional to the number of relocations in the module. The hot-swapping time is related to the position of the symbol to be swapped in the symbol table. All these suggest that we still have room to improve the way we realized the componentization in Linux kernel.

Diplomová práce se zabývá návrhem termální kamery pro biologické aplikace. V první části je popsáné infračervené záření, také známé jako thermální záření. Pokračuje popisem emisivity objektů, která hraje důležitou roli při stanovení teploty snímaného objektu. Dále je v první kapitole uveden přehled typů termálních detektorů a jejich základní vlastnosti. Druhá kapitola stručně seznamuje se zákládními hardwarovými komponenty vyvíjené kamery. V poslední kapitole je popsán celý proces vývoje softwaru. Ten zahrnuje vývoj IP jader, kernel modulů a C++ knihoven.

This thesis describes preparation for porting as well aw porting itself of RedirFS Linux kernel module to FreeBSD. Basic differences between Linux and FreeBSD kernels are described as well as differences in implementation of the Virtual Filesystem, crucial part for RedirFS. Further there are described possibilities and different approaches to implementation RedirFS functionality to FreeBSD. Then, the possibilities are evaluated and ideal approach is proposed. Next chapters introduces required functionality of the new module as well as its solutions. Then the implementation details are described so the reader can very well understand how the new module works and how the required functionality is implemented into the module.

The diploma thesis deals with design and development of the system which detects and numbers train carriages in compliance with International Union of Railways. Firstly, methods for correct detection of passing wheel including time records are analysed. Also, the summary of detection sensors used in railway industry is referred. I analyse meaning of each digit in numbering according to the UIC. The system solution is designed and the interaction and communication with other sub-systems is discussed. I put emphasis on the kind of solution that returns as accurate record as possible under any circumstances. The system operates in real time. Further, the results of measuring program are back-tested in order to verify low-deviation of measuring system component. The following section describes program prototype, which processes the recorded data. The algorithms which I used for the detection of wheel and train carriages are described. In the following chapter I discuss the usage of an external camera detecting the numbers in accordance to the UIC. In the last chapter, I describe the test environment in which the solution has been tested, and summarize the results of tests on a real life railway.