コンピュータソフトウェア

The Internet

砂原秀樹

2014 年 31 巻 4 号 p. 4_1
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_1

ジャーナルフリー

PDF形式でダウンロード (92K)
特集「ソフトウェア論文」の編集にあたって

馬谷誠二, 河野恭之, 小宮常康, 権藤克彦, 細部博史, 横山大作

2014 年 31 巻 4 号 p. 4_2
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_2

ジャーナルフリー

PDF形式でダウンロード (100K)
GKJ: グループを対象にした紙ラベル作業の電子化支援システム

三浦元喜

2014 年 31 巻 4 号 p. 4_3-4_8
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_3

ジャーナルフリー

PDF形式でダウンロード (5030K)
猫にはわかる量子プログラミング

本多健太郎, 角谷良彦, 久保田貴大

2014 年 31 巻 4 号 p. 4_9-4_20
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_9

ジャーナルフリー

PDF形式でダウンロード (737K)
CHI 2014参加報告

栗原拓郎

2014 年 31 巻 4 号 p. 4_21-4_25
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_21

ジャーナルフリー

PDF形式でダウンロード (2637K)
ACM MobiSys 2014レポート

戸辺義人

2014 年 31 巻 4 号 p. 4_26-4_29
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_26

ジャーナルフリー

PDF形式でダウンロード (566K)
PLDI 2014/ISMM 2014参加報告

鵜川始陽

2014 年 31 巻 4 号 p. 4_30-4_35
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_30

ジャーナルフリー

PDF形式でダウンロード (312K)
FM2014参加報告

石川冬樹

2014 年 31 巻 4 号 p. 4_36-4_39
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_36

ジャーナルフリー

PDF形式でダウンロード (355K)
モデル検査による設計検証

吉岡信和, 田辺良則, 田原康之, 長谷川哲夫, 磯部祥尚

2014 年 31 巻 4 号 p. 4_40-4_65
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_40

ジャーナルフリー

抄録を表示する抄録を非表示にする

機器の高速化やネットワークの発展に伴い，多数の機器やコンポーネントを連携させ，高度な機能を提供する並行分散システムが一般的になってきている．そのようなシステムでは，振舞いの可能性が膨大であり，従来のレビューやシミュレーションで設計の振舞いの正しさを保証することは困難である．それに対して，網羅的にかつ自動的に振舞いに関する性質を調べるモデル検査技術が注目されている．本稿では，モデル検査技術の背景と5つの代表的なモデル検査ツールを紹介し，その応用事例や最新の研究動向を解説する．

抄録全体を表示

PDF形式でダウンロード (2078K)
プロダクトライン開発における可変性のモデル化手法

野田夏子, 岸知二

2014 年 31 巻 4 号 p. 4_66-4_76
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_66

ジャーナルフリー

抄録を表示する抄録を非表示にする

ソフトウェアプロダクトライン開発では可変性管理が重要であり，その可変性を明示的に表現するためのモデル化手法が従来から複数提案されている．特に近年では，ソフトウェアプロダクトライン開発の広がりと，可変性を示すモデルの使われ方の広がりに伴い，従来の手法の拡張の提案もなされている．本解説論文では，代表的な可変性モデルであるフィーチャモデルを取り上げ，基本のフィーチャモデルとその代表的な拡張を紹介するとともに，ソフトウェアプロダクトライン開発の利用局面に応じた利用法について解説する．

抄録全体を表示

PDF形式でダウンロード (429K)
マルチコアにおけるコア隔離機構Timer ShieldによるLinuxのリアルタイム性向上

山田真大, 小林良岳, 本田晋也, 高田広章

2014 年 31 巻 4 号 p. 4_77-4_96
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_77

ジャーナルフリー

抄録を表示する抄録を非表示にする

組込み向け機器に利用されるハードウェアの高性能化に伴い，組込みOSとしてLinuxなどの汎用OSが搭載されるようになった．組込み機器では，リアルタイム性が重要視されるため，Linuxを採用する場合，カーネルに改良を施すことでリアルタイム性を確保している．また，マルチコアを搭載する組込み機器では，Linuxが持つCPU affinityの機能を用いることで，シングルコアでは不可能であった高負荷時におけるリアルタイム性も確保することが可能になった．しかし，コア毎に存在しているカーネルスレッドはCPU affinityを適用することができず，また，この処理がまれに引き起こすタイマ処理のカスケードには多くの処理時間を必要とし，リアルタイム性を阻害する原因となる．本論文では，マルチコアの各コアを，リアルタイム性を必要とするコアと不要とするコアに分割し，リアルタイム性を必要とする CPUコアでは，タイマのカスケード処理を発生させないよう隔離することで，リアルタイム性を確保する手法Timer Shieldを提案する．

抄録全体を表示

PDF形式でダウンロード (987K)
To browse or to search, is that the question?

高田眞吾

2014 年 31 巻 4 号 p. 4_98-4_99
発行日: 2014/10/24
公開日: 2014/12/24

DOIhttps://doi.org/10.11309/jssst.31.4_98

ジャーナルフリー

PDF形式でダウンロード (222K)
メモリ保護を考慮した組込みシステム向けソフトウェアコンポーネント技術

石川拓也, 安積卓也, 大山博司, 本田晋也, 高田広章

2014 年 31 巻 4 号 p. 4_105-4_130
発行日: 2014/10/24
公開日: 2014/11/28

DOIhttps://doi.org/10.11309/jssst.31.4_105

ジャーナルフリー

抄録を表示する抄録を非表示にする

本論文では，メモリ保護が必要な組込みソフトウェアの開発を支援するコンポーネント技術HR-TECSについて述べる． HR-TECSでは，組込みソフトウェア向けのコンポーネント技術であるTECSを拡張することで，メモリ保護を考慮した組込みソフトウェアのコンポーネントベース開発を可能とし，メモリ保護機能を持ったリアルタイムOSの機能を利用して，メモリ保護機能を実現する．また，コンポーネント間の通信について，個々のコンポーネントにおける通信APIの記述は，それらのコンポーネントが配置される保護領域に依存せず，共通のAPIで開発できる．さらに，HR-TECSは，非特権モードで動作するアプリケーションだけでなく，特権モードで動作するデバイスドライバなどの開発にも利用できる．本論文では，メモリ保護機能を持ったリアルタイムOSであるTOPPERS/HRP2カーネルを利用した場合のHR-TECSの実現方法を示し，評価実験により，HR-TECSを用いることによって生じる実行時間のオーバヘッドが小さく，かつ，予測が可能であること，および，メモリ使用量のオーバヘッドが小さいことを示す．

抄録全体を表示

PDF形式でダウンロード (1049K)
重み付き型エラースライスの提案

対馬かなえ, 浅井健一

2014 年 31 巻 4 号 p. 4_131-4_148
発行日: 2014/10/24
公開日: 2014/11/28

DOIhttps://doi.org/10.11309/jssst.31.4_131

ジャーナルフリー

抄録を表示する抄録を非表示にする

本論文ではコンパイラに備わっている型推論器をそのまま使い，型エラースライスを作成する手法について述べる．特徴としては，他の部分と何度衝突したかという重みがついた型エラースライスを求めている．これまでの型エラースライスでは型エラーの可能性がスライスの各部分で一様であった．しかし，プログラムによっては，人の目から見て，明らかに可能性が異なると思われる例が存在する．本研究ではそのような例に対して，重みを付けた型エラースライスを求めることを目的とした．本手法の利点は2つ挙げられる．1つはコンパイラの型推論器を使用することである．それにより，型エラースライサの拡張性・保守性が高いという利点が得られる．もう1つは型エラースライスに重みを付けたことである．それによって型デバッグの際にスライス内でどこに注目するのが良いかという指針が得られる．本論文ではまずコンパイラの型推論器を使用した型エラースライサを提案し，それを拡張して重み付き型エラースライスを求める方法について述べる．

抄録全体を表示

PDF形式でダウンロード (450K)

J-STAGEへの登録はこちら（無料）