|
早稲田大学
中島 達夫
教授
機関別共同研究
Discovery Saga
論文分野別Discovery Saga
研究テーマDiscovery Saga
協賛企業
共同研究先:The University of Electro-Communications
Academic
共同研究数 2
Conference Paper
2009
IEEE : Institute of Electrical and Electronics Engineers
Project report: Toward the realization of highly reliable embedded systems
プロジェクト報告書 高信頼性組込みシステムの実現に向けて
Takuya Katayama, Taiichi Yuasa, Tomoji Kishi, Shintaro Hosoai, Midori Sugaya, Tatsuo Nakajima, Tomoharu Ugawa
【抄録】
Our society depend on embedded and ubiquitous computing and the reliability of embedded software becomes more and more important. We have conducted a five years project with industries to develop software for realizing highly reliable embedded systems. We have tackled reliability issues from the following aspects. 1)Design environment: we have developed a UML design verification tool that apply model checking techniques to improve the design quality of application software. 2)Operating environment: we have developed operating system supports that realize multiple execution of real-time operating systems and also developed operating systems with enhanced resource management. Both technologies contribute the realization of robust run-time environment. 3) Real-time environment: we have developed real-time garbage collection techniques for Jave. They prevent the suspension of applications that violates the correct behavior of real-time applications. Also, they reduce the effort of application programmers to avoid garbage-collection during important execution timing. We have obtained fruitful results from these three research themes, and some of them are actually used in industries. Furthermore, we have integrated the results to make syner-getic effect of them. In order to demonstrate the effectiveness, we have conduct an experiment. In this paper, we introduce the project and its results. © 2009 IEEE.
【抄録日本語訳】
私たちの社会は、組込みやユビキタスコンピューティングに依存しており、組込みソフトウェアの信頼性はますます重要になってきています。私たちは、高信頼性組込みシステムを実現するためのソフトウェア開発を、産業界と共同で5年間行ってきました。私たちは、以下のような観点から信頼性の問題に取り組んできました。設計環境:モデル検査技術を応用したUML設計検証ツールを開発し、アプリケーションソフトウェアの設計品質を向上させた。2)動作環境:リアルタイムOSの多重実行を実現するOSサポートや、リソース管理を強化したOSを開発しました。両技術は、堅牢なランタイム環境の実現に貢献しています。3) リアルタイム環境:Javeのリアルタイムガベージコレクション技術を開発した。この技術により、リアルタイムアプリケーションの正しい動作に反するアプリケーションの停止を防止することができる。また、重要な実行タイミングでのガベージコレクションを回避するため、アプリケーションプログラマの労力を軽減することができる。これら3つの研究テーマから実りある成果を得ることができ、その一部は実際に産業界で利用されている。さらに、これらの成果を統合し、相乗的な効果を得ることができた。また、その効果を実証するために、実験も行っている。本論文では、このプロジェクトとその結果について紹介する。© 2009 IEEE.
Conference Paper
2009
IEEE : Institute of Electrical and Electronics Engineers
A scalable monitoring system for distributed environments
(Last author)
分散環境におけるスケーラブルな監視システム
Sayaka Akioka, Junichi Ikeda, Takanori Ueda, Yuki Ohno, Midori Sugaya, Yu Hirate, Jiro Katto, Shigeki Goto, Yoichi Muraoka, Hayato Yamana, Tatsuo Nakajima
【抄録】
The total amount of information to process or analyze is jumping sharply with the quick spread of computers and networks. Our project, «Highly scalable monitoring architecture for information explosion», develops a monitoring system allows observing systems, merging the system logs, and discovering intelligence to share. More concretely, the project builds the total system to maintain, optimize, and protect autonomically. This paper reports the outcomes of the project after first-half of the development period.The rest of the paper is organized as follows. Section 2 describes the concept and details of the monitoring system on a single node, and Section 3 addresses the aggregation of the collected information in distributed environments. Section 4 and Section 5 introduce applications of the monitoring systems. Section 6 summarizes the project and mentions future plans. © 2009 IEEE.
【抄録日本語訳】
コンピュータやネットワークの急速な普及に伴い、処理・分析すべき情報の総量は急激に増加しています。私たちのプロジェクト「情報爆発のための高スケーラブル監視アーキテクチャ」では、システムを監視し、システムログを統合し、共有すべきインテリジェンスを発見できる監視システムを開発します。具体的には、自律的に保守・最適化・保護するトータルシステムを構築する。本論文では、開発期間の前半を終えたプロジェクトの成果を報告する。第2節では、単一ノードでの監視システムの概念と詳細について述べ、第3節では、分散環境における収集情報の集約について述べる。セクション 4 とセクション 5 では,監視システムのアプリケーションを紹介する.6節ではプロジェクトのまとめと今後の計画について言及する.© 2009 IEEE.