著者

鵜林尚靖 金川 太俊 瀬戸 敏喜 中島 震 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

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

巻号頁・発行日

vol.48, no.8, pp.2492-2507, 2007-08-15

---

本論文では,コンテキストを考慮した組み込みシステム向けプロダクトライン開発手法を提案する.現状では主にシステム構成をどうするかという立場からプロダクトラインが定義されるため,システムとコンテキストの組合せによっては想定外の欠陥が生じる場合がある.本論文では,このような問題を解決するため,システムラインとコンテキストラインの2 つからプロダクト仕様を構成する方法を提案する.また,プロダクトラインの仕様をVDM++により記述する方法,およびそれらの妥当性確認方法を示す.We propose a new product line development method that takes into account the contexts of embedded systems. Most of the current approaches focus on the system configuration only. Unexpected defects might be found in a system due to conflicting combinations of the system and its contexts. In order to deal with this issue, we propose a method for constructing product specifications composed of both system and context lines. Additionally we show how to describe and validate the product line specifications using VDM++.

著者

平山 雅之 中本 幸一

雑誌

情報処理

巻号頁・発行日

vol.54, no.9, pp.890-863, 2013-08-15

---

さまざまな領域で利用される組込みソフトウェア分野では,規模や複雑さをはじめ多くの技術的な課題が指摘されている.これらの技術課題やその解決策を論じる場合,具体的な組込みソフトウェアの題材が必要となる.特に組込みソフトウェアの開発技術についてはハードウェア依存性,実時間制約,要求の不確定性,非機能要求,信頼性・安全性への要求などさまざまな特徴への対応を考慮することが求められる.本稿では,これらの特徴を考慮したうえで,組込みソフトウェア分野の課題検討や解決策を論ずるのに適した共通例題について,その方向性を示すともに,具体的な例題の案として自転車事故防止システムを取り上げ紹介する.

著者

村田 龍 徳田 祥子 平山 雅之

雑誌

組込みシステムシンポジウム2015論文集

巻号頁・発行日

vol.2015, pp.119-120, 2015-10-14

---

我々は教育現場で発生する答案並び替え作業などを支援するシステムの開発を目指している.本報告では答案の学生番号を読み取り,答案を物理的に並び替えるシステムの基本アイデアとシステムを構成するデバイス類の選定について紹介する.

著者

佐藤 誠 岡安 二郎 水野 浩之 馬場 茂雄 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.114, pp.67-74, 2001-11-21

参考文献数

4

被引用文献数

1

---

近年、コンポーネントを利用したソフトウェア開発が増加している。コンポーネントを利用したソフト開発では、ソフト開発者にとって、システムの開発がしやすい(利用性が高い)コンポーネントを選択することがポイントとなる。本稿では、ソフト開発を行うコンポーネント利用者の視点から、コンポーネント利用性を評価することを目的とするコンポーネント利用性評価手法を提案する。提案する手法は、?プログラマのコンポーネント利用方法の分析をもとに「コンポーネント選定時の機能把握容易性」「コンポーネント利用時の実装作業容易性」などの副特性から構成される評価モデルを定義し、?ソースコードを持たないブラックボックス・コンポーネントに対して、ソースコード以外から取得できる限られた情報を用いてこれらの副特性を計測するメトリクスを設定するといった特徴を持つ。また、この手法の有効性確認を目的とした適用評価実験を行った結果、コンポーネントの利用性について、提案する手法(定量評価手法)と実際の作業者のコンポーネント利用時の印象(定性評価)はよく一致することが確認できた。これより本稿で提案するコンポーネント利用性評価手法が有効であることが確認できた。Recently, software components have been used widely used in software development. In the component based software engineering, it is especially important to evaluate usability of software components. In this paper, we discuss the usability evaluation method for software components, which is composed of usability evaluation viewpoints and their evaluation metrics. The proposed method has following features; 1) Software component usability evaluation model based on the way of using software components by programmers. 2) The technique that make it possible to evaluate black-box software component by using information except for its source code. From our application experiment, we confirmed the effectiveness of proposed method. That is, with using proposed method, we can evaluate the usability of software components effectively.

著者

田村 文隆 岡本 渉 植木 克彦 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2002, no.23, pp.163-170, 2002-03-07

---

探索型デバッグ手法は ユーザが効率良くバグの原因箇所を特定する手助けを行う手法である.これを実現する為に 我々は 特徴値 類似度という二つの量を定義し利用している.本稿では 特徴値を中心に、その意味、利用方法、定め方を述べる。特徴値は、ログ内に含まれる各事象に対し、その発生確率が低いほど大きい値を取るように定められる。多数の事象が同じ特徴値を持つという縮退の問題を持つ。我々は、この縮退を説く方法を考察した。最後に、現在我々が進めている実験の一例を紹介することにより、特徴値の定め方の有効性を示す。We proposed 'Exploratory Debugging Method' which supports users to locate the failures in software. For the quantitative analysis, we defined two values: 'peculiarity' and 'similarity'. In this paper, we focus the former and eexplain its details. Peculiarities are defined for each event in a given program's trace, such that rare events have high values. However, there are high degeneracies in the peculiarities defined above. We studied a method to resolve this degeneracy. To illustrate the adequacy of our method, we show one practical example chosen from our experiments.

著者

平山 雅之

出版者

日本信頼性学会

雑誌

日本信頼性学会誌 : 信頼性 (ISSN:09192697)

巻号頁・発行日

vol.30, no.3, pp.206-214, 2008-05-01

---

近年,様々な分野でコンピュータを利用した組込みシステムが利用されるようになってきている.これらの組込みシステムを構成する要素の中でも特にそれらに組み込まれて動作する組込みソフトウェアの信頼性を如何に確実なものとするかは極めて重要な課題となってきている.本稿では,組込みソフトウェアの品質を向上させるための考え方を紹介していく.

著者

原 圭吾 植木 克彦 平山 雅之

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告ソフトウェア工学(SE) (ISSN:09196072)

巻号頁・発行日

vol.2000, no.25, pp.73-80, 2000-03-09

---

近年、家電や携帯端末のような組み込みシステムは大規模化と複雑化が進んでいる。これらの変化に対応し、かつ加速する市場サイクルに追随していくためには、開発工程の効率化と短縮が不可欠である。特にこれらの複雑な組込みシステムではテストに多大な工数を必要としており、開発遅延などを引き起こす大きな要因の一つになっている。これに対しソフトウェアシミュレータを使ったテスト環境を利用する事でテスト工程を効率化する方式が提案されているが、これらの方式ではシミュレーションのための環境を構築するためのコストがかかるといった問題が新たに生じている。本報告ではシミュレー夕の再利用を円滑に進める方式を提案し、これにより上記の問題の解決を図るアプローチを採用した。ここではシミュレーション環境を再利用するにあたり、再利用する側の要求機能、再利用される側の機能や再利用のパターンをもとに、シミュレーション環境全体の機能分割について、再利用性を考慮した分割手法を提案した。またシミュレーション環境の再利用を進める際の作業プロセスにも着目し、再利用時の機能抜け防止を目的としたシミュレーション環境構築プロセスを提案した。シミュレーション環境構築プロセスとしては特に再利用するシミュレー夕に対する機能の実現度合いやシミュレーション精度に着目し、機能の過不足や精度の不足を動作時にアサーションなどを応用して検証する方式についても提案する。Recently, it became popular to use software simulators for embedded software testing because it brings high efficiency of testing and also high quality of software. On the other hand, since simulation environments consist of these simulators generally require much building cost and time. Therefore, re-use of existing simulators is recommended. However, conventional simulation environments and simulators have not been considered their reuse mechanism enough, it is difficult to reuse these simulation environments. In addition, the difference between the building environment and the reusing environment often causes functional shortage of the building environment. This paper proposes an architecture of simulation environment which focuses on frequency f reusing, and building process using assertion technique to detect functional shortage. Proposed architecture and process enable to reuse existing environments efficiently and also to achieve high reliability of simulation environments.