A operating system release is composed of a large number of software packages, with complex dependencies. The management of dependency relationship is the foundation of building and maintaining a operating system release, and checking the integrity of the dependencies is the key of the dependency management. The widespread adoption of operating systems in many areas of the information technology society has drawn the attention on the issues regarding how to check the integrity of complexity dependencies of packages and how to manage a huge number of packages in a consistent and effective way. distributions have already provided the tools for managing the tasks of installing, removing and upgrading the packages they were made of. A number of tools have been provided to handle these tasks on the client side. However, there is a lack of tools that could help the distribution editors to maintain the integrity of package dependencies on the server side. In this paper we present a method based on conflict to check the integrity of package dependencies. From the perspective of conflict, this method achieves the goal to check the integrity of package dependencies on the server side by removing the conflict associating with the packages. Our contribution provides an effective and automatic way to support distribution editors in handling those issues. Experiments using this method are very successful in checking the integrity of package dependencies in software distributions.

抄録全体を表示

We propose a system time synchronization method between ARM-based embedded

systems. The master with reference clock sends its own system time to the slave via Transmission Control Protocol communication along with a general-purpose input/output (GPIO) signal, and then the slave corrects its own system time by the difference between its own system time at receiving the GPIO signal and the received reference time. The synchronization performance is significantly improved by compensating for the GPIO signal detection latency and the system time acquisition and setting latencies in . These latencies are precisely measured by exploiting the function of Cycle Counter register in ARM coprocessor. Extensive experiments are performed with two ARM-based embedded systems, and the results demonstrate the validity and performance of the proposed synchronization method.

抄録全体を表示

ART- is a real-time operating system kernel which has prominent compatibility with . Although it previously had principal instability, I have succeeded to stabilize it based on SMP support of kernel. In this paper I describe the method how to stabilize the ART- kernel, and result of measurement of its real-time processing performance.

抄録全体を表示

The

kernel has been applied in various security-sensitive fields, so ensuring its security is crucial. Vulnerabilities in the kernel are usually caused by undefined behaviors of the C programming language, the most threatening of which are memory safety vulnerabilities. Both the software-based and hardware approaches to memory safety have disadvantages of poor performance, false positives, and poor compatibility. This paper explores the feasibility of using the safe programming language Rust to reconstruct a kernel component and open-source the component's code. We leverage the Rust FFI mechanism to design a safe foreign interface layer to enable the reconstructed component to invoke other functionalities, and then use Rust to reconstruct the component, during which we leverage Rust's type-safety and ownership mechanisms to improve its security, and finally export the C interface of the component to enable the invocation by the kernel. The performance and memory overhead of the reconstructed component, referred to as “rOOM”, were evaluated, revealing a performance overhead of 8.9% in kernel mode, 5% in user mode, 3% in real time, and a memory overhead of 0.06%. These results suggest that it is possible to develop key components of the kernel using Rust in terms of functionality, performance, and memory overhead.

抄録全体を表示

This paper shows an open lecture "Introduction to ". Linus B. Torvalds first developed the kernel when he was a university student. There are various systems with many applications, which are called distributions, and now everyone can use most of them as free software. However it is necessary to practice installing the system into personal computer. In this lecture we worked about three contents: guidance about , how to install the and how to use the system.

抄録全体を表示

We improve the cycle time performance of EtherCAT networks with embedded

-based master by developing a Ethernet driver optimized for EtherCAT operation. The Ethernet driver is developed to establish a direct interface between the master module and Ethernet controllers of embedded systems by removing the involvement of network stack and the New API (NAPI) of standard Ethernet drivers. Consequently, it is achieved that the time-consuming memory copy operations are reduced and the process of EtherCAT frames is accelerated. In order to demonstrate the effect of the developed Ethernet driver, we set up EtherCAT networks composed of an embedded -based master and commercial off-the-shelf slaves, and the experimental results confirm that the cycle time performance is significantly improved.

抄録全体を表示

We develop an automatic Live rebuilding system for science and engineering education, such as information processing education, numerical analysis and so on. Our system is enable to easily and automatically rebuild a customized Live from a ISO image of Ubuntu, which is one of the distribution. Also, it is easily possible to install/uninstall packages and to enable/disable init daemons. When we rebuild a Live CD using our system, we show number of the operations is 8, and the rebuilding time is about 33 minutes on CD version and about 50 minutes on DVD version. Moreover, we have applied the rebuilded Live CD in a class of information processing education in our college. As the results of a questionnaires survey from our 43 students who used the Live CD, we obtain that the our Live is useful for about 80 percents of students. From these results, we conclude that our system is able to easily and automatically rebuild a useful Live in short time.

抄録全体を表示

次世代シークエンサ（NGS）は，医療やライフサイエンス分野の諸課題を効率的に解決するための実験機器の一つである．麻酔がもたらす作用メカニズムの解明にも，おそらく利用されているか利用されつつある．例えば，麻酔に伴う重篤な合併症に関連した遺伝子，低酸素や低体温応答関連遺伝子の同定などが考えられる．ほかにも麻酔薬がどの神経細胞中の，どの遺伝子（転写物またはRNA）の発現レベルに，どの程度の投与量で作用するかについても適用可能であろう．本稿では，典型的なビッグデータである大量の塩基配列データ（NGSデータ）を効率的に扱うための取り組みを紹介する．

抄録全体を表示

There are many robots which are controlled with PCs (Personal Computers) . Their typical OS (Operating System) was MS-DOS, but MS-DOS is not suitable for high level control. Therefore, RTLinux was developed as realtime OS. However, the authors tried to control mechatronic system by using common and found that it has enough ability to control robots. In this paper, it is described why the common can be used as OS for PCs that control robots. Some experimental results that indicate performance of common as robot controlling OS are also provided. Then the control system developed for human type biped robot as an example that utilize this method is shown.

抄録全体を表示

We address the real-time robot control using . The RT-Preempt Patch [1][2] renders with a fully preemptible kernel. We call the system Realtime . The advantages of Realtime is that we can use most of the libraries and create a real-time program API based on POSIX. The aim of this paper is confirming multithread real-time robot control using a multicore processor, considering processor affinity, i.e. each task is allocated to kin processor in preference to others at allocation time. More specifically, we consider an eye-in-hand robot system comprising a PA-10 robot arm and a USB camera under real-time control with a multicore processor by efficiently assigning the processor affinity. Results are demonstrated with data from a face tracking experiment.

抄録全体を表示

We have build a micromouse type robot that has one Raspberry Pi, which is a single board computer. Since several major operating systems work on the computer, we can use various kinds of open source for this micromouse. This property contributes to robotics research and education based on recent open source movement. On the other hand, it should overcome the problem of interruption. We choose a structure that prevents running time of actuators becoming derailed by interruptions.

抄録全体を表示