2017 Fiscal Year Annual Research Report
Research on Establishment of Sensor-based Software Engineering
| Project/Area Number |
25280026
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
深澤 良彰 早稲田大学, 理工学術院, 教授 (30120934)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
白銀 純子 東京女子大学, 現代教養学部, 准教授 (00329161)
鷲崎 弘宜 早稲田大学, 理工学術院, 教授 (70350494)
|
|---|
| Project Period (FY) |
2013-04-01 – 2019-03-31
|
| Keywords | モデル駆動開発 / センサー / アクチュエータ / IoT / プロダクトライン / アスペクト / ソフトウェア部品 |
|---|
| Outline of Annual Research Achievements |
本研究は、以下の５本柱から構成されている。
（１）モデル指向ソフトウェア自動生成技術について：異なるドメイン記述言語を用いている環境ごとに、アプリケーションを開発する方法として、MDDを適用する際の問題点を洗い出す。（２）センサー向きソフトウェアパターンについて：既存の組込みソフトウェア向きパターンについての詳細な調査を行い、センサーソフトウェアに適用可能なものを選び出す。（３）センサーソフトウェア部品に関する研究について：セキュアなアプリケーションを構築するためのロギングや認証といった処理は、どんなアプリケーションにも登場する汎用的な処理でもある。既存の処理を再利用し、容易にメインロジックに組み込むことが可能である。まず、これらのインタフェースを明確にし、その後の協調プロトコル合成の準備とする。そこでは、メインロジック、課金、認証等をそれぞれ個別の部品として扱うことを前提とする。（４）アスペクトの抽出に関する研究について：これまでに提案してきたアスペクト指向プログラム言語を利用して、サンプルとなるセンサーソフトウェアを記述し、どのようなアスペクトを抽出すべきであるかについて、予備実験を行う。（５）プロダクトラインを利用した体系的なソフトウェア再利用について：我々が先行研究として行ってきた障がい者支援アプリケーションプロダクトラインの枠組みを残し、コアアセットとして、これまで開発をしてきたセンサーソフトウェア関係の部品を与える。このプロダクトラインを実際に使用し、どのような種類のソフトウェア開発が可能なのかを明確にする。このプロダクトラインをセンサーソフトウェア向きに更新し、どのような機能を備えるのが本質的であるのかを明確にする
これらのすべてにおいて、一定の成果を収めつつあると考えている。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
上記「研究実績の概要」で述べたように研究そのものは、順調に進んでいる。このことは、「10．研究発表」の実績を参照しても明らかである。
研究開始当初予想できなかったことは、現時点におけるIoTの大流行である。
IoTの重要性が広く認識されるようになるにつれて、より高い信頼性をもったIoT向けのソフトウェア（以下IoTソフトウェアと呼ぶ）を、より高い生産性で開発することが急務となってきている。しかし、それを実現するための多くのソフトウェア工学的手法においては、IoTソフトウェアであることの特質を活かしきれているとは言い難い。そこで、本研究では、対象ソフトウェアをIoTソフトウェアに限定した場合に有効なソフトウェア開発・保守技術の開発を行うことを新たな目標の一つに掲げた。研究対象とするすべての技術において、統一して、セキュリティの確保を重視することによって、今後もさらに重要視されることが確実な安全性が高いIoTソフトウェアの実現に資するように、更なる研究の遂行が必要となった。
|
| Strategy for Future Research Activity |
IoTソフトウェアに対するソフトウェア工学的手法は幅広い。しかし、１年間の期間延長で、このすべてに渡って研究することはできない。そこで、今後、セキュリティを十分に確保した高信頼IoTソフトウェアを効率的に開発するために、ソフトウェアの再利用とソフトウェアの自動生成という２つの視点に分けてセキュリティ・パターンに関する研究とそのセキュリティ・パターンを利用したソフトウェア開発技法に関する研究の２つの分けて研究を進めていく。一方、このような手法とは異なる手法で開発され、セキュリティに問題を残したIoTソフトウェアも明らかに存在する。このようなIoTソフトウェアに対しては、保守技法として研究を行っていく。
|
| Causes of Carryover |
「７．現在までの進捗状況」ならびに「８．今後の研究の推進方法」でも述べたように、本研究を始めた時点とは大きく異なり、「IoT」なる用語が頻用され、その重要性が広く認識されるようになってきている。これによって、より高い信頼性をもったIoT向けのソフトウェア（以下IoTソフトウェアと呼ぶ）を、より高い生産性で開発することが急務となってきている。しかし、それを実現するための多くのソフトウェア工学的手法においては、IoTソフトウェアであることの特質を活かしきれているとは言い難い。そこで、本研究では、対象ソフトウェアをIoTソフトウェアに限定した場合に有効なソフトウェア開発・保守技術の開発を行うことを新たな目標の一つに掲げた。研究対象とするすべての技術において、統一して、セキュリティの確保を重視することによって、今後もさらに重要視されることが確実な安全性が高いIoTソフトウェアの実現に資するように、更なる研究の遂行が必要となった。
この研究を進めていくためには、そのための研究経費（主として、研究成果の学会発表にかかる旅費や、論文掲載料などを、その使途とする）が必要となる。ただし、新たな設備・備品等はすでに購入済であるので、新たな購入は行わない。
|
