著者

ブャンネメフオドフー 眞鍋雄貴 伊達浩典 石尾隆 井上克郎

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-29, no.2, pp.1-8, 2013-05-20

---

ソフトウェアの保守を困難にする要因の一つとしてコードクローンが挙げられる.コードクローンとは,ソースコード中に,互いに類似または一致した部分を持つコード片のことである.各コードクローンは,たとえ記述が同一であってもそれらの周辺のコードに依存して異なる動作をする可能性がある.しかしながら,実際にどの程度コードクローンが周辺コードに依存しているかはわかっていない.本研究では,コードクローンと周辺のコードとの依存関係を明らかにするため,コードクローンの周辺コードの量と,周辺コード間の違いについて調査を行った.その結果,多くのコードクローンに周辺コードが存在し,多くのコードクローン間で周辺コードが異なることを確認した.

著者

石居達也 小堀一雄 松下誠 井上克郎

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-29, no.1, pp.1-8, 2013-05-20

---

Java では,フィールドおよびメソッドに対してアクセス修飾子を宣言することで,外部からアクセス可能な範囲を制限することができる.しかし,既存ソフトウェアには実際の利用範囲に対して過剰に広く設定されているアクセス修飾子が多数存在することが知られている.一方で,それらのアクセス修飾子の修正状況については,過去に分析が行われていない.そこで本研究では,ソフトウェア開発の履歴を対象として,過剰なアクセス修飾子に対する修正作業の実行頻度について分析した.分析対象とするデータは,既存のアクセス修飾子過剰性検出ツールを拡張して既存の 7 つの Java プロジェクトから取得した.分析を行うに当たり,宣言されているアクセス修飾子と実際の利用範囲に基づき,フィールドおよびメソッドを 3 状態へ分類した.さらに,バージョン間における状態遷移を,性質ごとに 6 つのグループへと分類した.その結果,過剰なアクセス修飾子の大半は,修正されずそのまま放置されていることを確認した.一方,一部の種類の過剰なアクセス修飾子については,分析対象の全プロジェクトにおいて修正が行われていることを確認した.

著者

岩井 昌悟

出版者

東洋大学文学部

雑誌

東洋学論叢 = Bulletin of Orientology (ISSN:03859487)

巻号頁・発行日

no.36, pp.164-138, 2011-03

著者

NancyR.Mead 吉岡 信和

雑誌

情報処理

巻号頁・発行日

vol.50, no.3, pp.193-197, 2009-03-15

---

会社などの組織の中で,セキュリティ要求を効率よく獲得し,規定するためには,一般の要求工学の場合と同様,そのための手順(プロセス)を定め,それに従って進めることが有効である.特にセキュリティの場合,システムを利用する直接的なユーザのみならず,システムの運用者や,システムを導入する企業のビジネス戦略や扱う顧客情報の取り扱いを決定する経営陣など,非常に多くの利害関係者(ステークホルダ)が存在し,それぞれの権限,文化を考慮して進める必要があり,特にプロセスが重要になる.SQUARE(Security Quality Requirements Engineering:セキュリティ品質要求工学)は,セキュリティに関するシステムの品質を高めるために定められたプロセスモデルである.本稿では,そのプロセスの詳細とSQUAREに関する活動に関して解説する.

著者

金澤 正憲 平野 彰雄 赤坂 浩一

雑誌

情報処理学会研究報告マルチメディア通信と分散処理(DPS)

巻号頁・発行日

vol.1994, no.39(1994-DPS-065), pp.145-150, 1994-05-19

---

多くの研究者が共同で利用する大型計算機システムでは、利用者の保存ファイルおよびセンターの提供するデータベースの容量は、増加の一途を辿っている。しかし、すべてのファイルが毎日参照されるわけではなく、3ケ月から数ケ月間まったく参照されないファイルもある。このような状況に対して、ファイルの階層化が採用されるのが通常である。ここでは、京都大学大型計算機センターで導入した利用者保存ファイルに対する階層ファイルの構成・概念と運用について述べる。さらに、利用者保存ファイルのバックアップとリカバリの方式についても述べる。

著者

久野 靖

雑誌

情報処理

巻号頁・発行日

vol.54, no.4, pp.386-389, 2013-03-15

著者

奈良 勝行

出版者

和光大学現代人間学部

雑誌

和光大学現代人間学部紀要 = Bulletin of the Faculty of Human Studies (ISSN:18827292)

巻号頁・発行日

vol.3, pp.77-98, 2010-03

---

最近日本では企業においても教育界においてもコンピテンシー、キー・コンピテンシーという用語がよく使われている。本論文では、コンピテンシーは1970年代アメリカで初めて提唱されたものであるが、その概念・内容はどんなものであるか、どのような経緯でそれがアメリカの企業で使われ、日本に波及していったかを明らかにしたい。キー・コンピテンシーは経済協力開発機構で開発された概念であるが、その内容はどのようなものかを分析し、日本の生徒の「学力」は低下したのかを検証する。PISAの学力を「PISA型学力」と称して、その調査で常に世界トップの成績をあげているフィンランドの教育メソッドに注目して日本にそれを普及しようとする動きがあり、文科省も事実上これを後押ししている。この「フィンランド・メソッド」を分析し、一面的「PISA型学力」の問題点を明らかにし、日本の教育の歩むべき道を探求したい。

著者

森 暢平

雑誌

コミュニケーション紀要

巻号頁・発行日

vol.18, pp.1-22, 2006-03

著者

田邊昇 冨森苑子 高田雅美 城和貴

雑誌

研究報告計算機アーキテクチャ(ARC)

巻号頁・発行日

vol.2013-ARC-204, no.4, pp.1-7, 2013-03-19

---

HPC における反復解法のみならず、近年ではビッグデータ解析のニーズの高まりにより、大量データへのランダムアクセスの低電力化・高スループット化のニーズが高まっている。キャッシュベースの CPU や GPU において、キャッシュから溢れる配列に対して Scatter/Gather を行なうと、ライン内の空間的局所性の欠乏により消費電力とスループットの両面で深刻な問題が発生する。特に電力やメモリスループットが不足する将来の大規模計算基盤においては、この問題が年々深刻さを増す。本報告では、上記の問題の解決策として、Scatter/Gather 機能を Hybrid Memory Cube 内で行なうことを提案する。提案方式の電力やスループットに関するメリットについて、モデルを構築しつつ、Graph500 ベンチマーク課題行列に対する疎行列ベクトル積を実例に考察する。

著者

石島 悌 平松 初珠 山東悠介 岩田 晋弥

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.54, no.3, pp.1120-1130, 2013-03-15

---

情報通信技術分野においても,省エネルギー対応は社会的な要請である.それに応えるためには,サーバ機器などの消費電力や温度を適切に計測する必要がある.そこで,我々は,サーバやUPSなどの情報機器に内蔵されたセンサを活用することで,消費エネルギーを計測する手法を提案する.提案方式により,新たな計測機器を追加する必要がなくなり,測定値の継続的な記録と可視化が容易となる.提案方式の有効性を確認するため,実際にハードウェアモニタによる消費エネルギーの計測を行った.その結果,誤差は実用上問題にならない範囲に収まっており,提案方式の有効性を確認できた.

著者

徳永寿郎

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.33, pp.1-6, 2013-03-06

---

近年の組込みシステムは安全/安定運用が必要な社会インフラに適用されつつあり,故障で停止した場合に社会に多大な影響を与える.またシステムに求められる要求も様々で複雑化しており,故障の原因も多種多様となり原因の特定や対処に時間を要してシステムダウンの時間が長くなる危険性が増大している.このような社会インフラでは,故障した場合でも原因究明が容易でシステムダウンの時間が最短で済む仕組みが必要とされ,発生した故障に対して検知/情報収集/対処するという機能(本稿では故障対処機能と呼ぶ)が重要となっている.しかし,現状ではOSの機能を利用して簡易に故障対処している組込みシステムが多く,情報収集や対処が不十分な場合が多い.また,OSの故障対処機能を強化する開発は容易ではない.これらの問題を解決するため,既存の組込みシステムに対して,OSとは別モジュールの故障対処機能を容易に追加する手法について提案する.

著者

田村雅成 兪明連 横山孝典

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.31, pp.1-6, 2013-03-06

---

組み込み制御ソフトウェア開発の効率向上のため,Simulinkモデルから実装を考慮したUMLモデルを効率的に設計する手法を提案する.一般に,組み込み制御ソフトウェア開発は制御ロジックを作成する制御設計と制御ロジックを元にソフトウェアモデルを作成するソフトウェア設計の2段階で行う.近年の制御設計ではMATLAB/Simulinkを用いて制御ロジックをSimulinkモデルとして設計することが多い.しかし,MATLAB/Simulinkはプリエンプティブなマルチタスク環境でのタスク間のプリエンプションなどについては考慮していない.そのため,制御ロジックをそのままソフトウェアとして実装する場合,プリエンプションによってデータの不整合が発生する恐れがあり,同期や通信の処理を追加する必要がある.我々はこれまでに,制御設計からソフトウェア設計への移行をスムーズに行うため,Simulinkモデルをソフトウェア設計に適した形のUMLモデルに変換するモデル変換ツールを開発してきた.本論文では,生成されたUMLモデルをプリエンプティブなマルチタスク環境で実行した場合に起こりうるデータの不整合を,モデル検査ツールSPINを用いて発見する手法を提案する.そして,モデル変換ツールが生成したUMLモデルから検証用のPROMELAコードを自動生成するツールを開発する.これにより,効率的なソフトウェア設計を可能とする.

著者

松谷 宏紀

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.29, pp.1-6, 2013-03-06

---

本論文では、サービス指向ルータにおける問合せ処理高速化のためにハードウェアによるSQLキャッシュを検討する。まず、プロセッサ単体の問合せ処理性能を見積もり、次に、ハードウェアによるSQLキャッシュのための設計方針を決め、問合せの多様性とカテゴリ分けを行う。これらの議論を踏まえ、ハードウェアによるSQLキャッシュとして、集合関数の結果をキャッシュする結果キャッシュ、及び、直近1時間の全レコードを保持するバッファキャッシュを設計し、待ち行列理論を用いて性能向上率を見積もる。最後に、ハードウェア量の考察を行い、また、C言語で実装したSQLキャッシュシミュレータを用いて提案機構の有用性を確認する。

著者

本村 哲朗 近藤 雄樹 山田 哲也 高田 雅士 仁藤 拓実 野尻 徹 十山 圭介 斎藤 靖彦 西 博史 佐藤 未来子 並木 美太郎

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.28, pp.1-6, 2013-03-06

---

今日の組込みシステムは,リアルタイム制御と情報処理のような独立の複数の機能を扱う必要があり,マルチコア上への搭載が有効である.この時,リソース保護のため,仮想化の一技術であるリソースパーティショニングが必要となる.我々は,リアルタイム性の実現に向けリソースパーティショニングのオーバヘッドを削減する,ハードウェア支援技術ExVisor/XVSを開発した.その主要技術は物理アドレス管理モジュールPAM*で,組込みシステムのメモリ利用方法の特徴を活かした階層のないページテーブルによるダイレクトなアドレス変換で高速化を図る.RTLシミュレーションとFPGA実装で評価を行った結果,シングルコアと比較してリソースアクセス時のオーバヘッドは高々5.6%であることを確認した.*PAM : Physical Address Management module

著者

加藤 寿和 石川 拓也 本田 晋也 高田 広章

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.27, pp.1-6, 2013-03-06

---

近年,大規模化するリアルタイムシステムにおいて,メモリ保護機能が必要となっており,その実現のためにMMUが使用される.MMUでは,TLBというキャッシュ機構を使用するが,TLBミスの発生を予測することは難しく,そのために,最悪実行時間の予測が困難となる.本研究では,まず,リアルタイムシステムにおいて,TLBミスが最悪実行時間へ及ぼす影響を調査する.次に,その影響を低減させるための,TLBロック機能を用いた改善手法を提案する.そして,評価実験により,提案手法の有効性を示す.

著者

田中 清史

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.25, pp.1-6, 2013-03-06

---

リアルタイムスケジューリング理論では,タスクの実行は最悪実行時間を費やすものと仮定するのが一般的である.しかし実際のシステム上で動作するタスクは,ほとんどの場合で最悪実行時間よりも短い時間で実行を完了する.本稿では,実際の実行時間を予測し,予測した時間を利用するスケジューリングにより,応答時間を短縮する2つの方法を提案する.評価では,提案手法により重要度の高い周期タスクの平均応答時間が最大13.4%,非周期リクエストの平均応答時間が最大32.0%短縮されることが確認された.

著者

西原 英 谷口 一徹 加藤 晋也 福井 正博

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.24, pp.1-6, 2013-03-06

---

本研究では,太陽光パネルと蓄電池を持つ家庭を対象とした電力需要のピークカットに貢献する蓄電池マネジメント手法を提案する.提案手法では,過去の類似した発電/需要パターンを基に,蓄電池マネジメントを数理計画問題として定式化することで電力需要のピークカットを実現する.提案手法により,電力需要のピークが大きくなる夏や冬の日において,最大51%もの大幅なピークの削減を行うことができた.

著者

大川禎 枝廣正人 久村孝寛

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.23, pp.1-6, 2013-03-06

---

近年,マルチコア・メニーコアが組込みシステムにおいても主流となりつつある.また,制御処理を記述する上で有効なソフトウェアモデルとして,CSP(Communicating Sequential Processes)があげられる.本論文では,汎用マイクロコントローラベースのマルチコアシステムをターゲットとし,CSPにより記述されたモーター制御モデルの実装を行い,実行時間が最小となるタスク割当てパターンを非線形計画問題によって発見した.また,従来手法から得られたタスク割り当てパターンと性能比較を行った結果,従来手法に比べ15%性能を改善することができた.

著者

阿部一樹 安島光紀 兪明連 横山孝典

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.22, pp.1-6, 2013-03-06

---

一般に組込みシステム上のアプリケーションは複数のタスクから構成されるが,アプリケーションによって異なるタスクスケジューリングアルゴリズムが要求される場合がある.しかし多くの組込みOSは,固定優先度スケジューリングしか提供していない.そのため,スケジューリングアルゴリズムの選択が可能な組込みOSが求められる.本研究では,アスペクト指向プログラミングにより,OSのソースコードを直接書き換えることなく,組込みOSのスケジューラをアプリケーションに応じてカスタマイズする手法を提案する.自動車制御向け組込みOSであるOSEK OSを対象に,固定優先度のスケジューラをEDFに切り替えるとともに,EDFに対応した排他制御を実現するために,排他制御のプロトコルを変更するアスペクトを開発した.そして,実際にそれらのアスペクトを適用したOSの評価を行い,実用上問題の無いオーバヘッドで実現可能であることを確認した.

著者

土本 幸司 川島 裕崇 本田 晋也 高田 広章

雑誌

研究報告組込みシステム(EMB)

巻号頁・発行日

vol.2013-EMB-28, no.8, pp.1-6, 2013-03-06

---

昨今の自動車の高機能化に伴い,車載ソフトウェアが大規模・複雑になってきている.その結果,ソフトウェア開発のコストが増大し,大規模なソフトウェアを含む車載システムの安全性を確保することが困難になってきている.こうした背景を受け,高い安全レベルを要求される車載ソフトウェアをできる限り少ないコストで開発するためのパーティショニング機構(DefensiveZone)の開発を行なった.DefensiveZoneでは,小規模なハードウェアをマイコンに付加することによって,あるソフトウェアの不具合が他のソフトウェアへ波及しないように保護を行なう.性能評価においては,DefensiveZoneはAUTOSAR OSのメモリ保護機能に比べて半分程度の実行オーバヘッドでソフトウェアの保護を行なえることを確認した.