回路分野の学生実験における検証・デバッグ技術の活用による高度化・効率化
Project/Area Number |
20K03114
|
Research Category |
Grant-in-Aid for Scientific Research (C)
|
Allocation Type | Multi-year Fund |
Section | 一般 |
Review Section |
Basic Section 09070:Educational technology-related
|
Research Institution | Ishikawa National College of Technology |
Principal Investigator |
松本 剛史 石川工業高等専門学校, 電子情報工学科, 准教授 (40536140)
|
Project Period (FY) |
2020-04-01 – 2024-03-31
|
Project Status |
Granted (Fiscal Year 2022)
|
Budget Amount *help |
¥3,380,000 (Direct Cost: ¥2,600,000、Indirect Cost: ¥780,000)
Fiscal Year 2022: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000)
Fiscal Year 2021: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2020: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
|
Keywords | 回路デバッグ / 回路検証 / 回路実験 / 工学教育 |
Outline of Research at the Start |
多くの大学・高専の電気系・情報系学科で実施されているディジタル回路実験において、学生が主体的に回路の誤りに気付き、自ら修正することができる環境の構築を目的として、回路作製支援システムを導入し、実際の授業での実践を通して評価を行う。回路実験における回路作製支援の新たなアプローチとして、ネットリスト間の等価性検証や回路誤り位置の特定など、回路検証とデバッグ分野における近年の技術を採り入れたシステムを開発・実践することにより、実験作業の効率化が図れるだけではなく、作ったモノの正しさを自ら確認し、修正する意識を持たせる教育効果が期待できる。
|
Outline of Annual Research Achievements |
高専で実施されている論理回路(ディジタル回路)実験の多くは、ブレッドボード上で回路を組み、それを測定することによって進められる。ディジタル回路の実験は、コンピュータアーキテクチャや組込みシステムといった計算機科学の基礎を理解するために重要なものであるが、アナログ回路等の他の回路実験に比べて、使用するIC数も多く配線が複雑になるために回路デバッグが難しく、学生自身で進めることが困難な場合がある。本研究では、このような状況を改善して自主的・効率的に実験を進めることができるようにするため、また、その結果としてより高度な回路の実験を行うため、学生実験において回路デバッグを支援する環境の開発を進めている。 研究期間3年目となる2022年度は、前年度までに開発した配線検証システムとブレッドボード回路デバッグ支援システムを小型シングルボードコンピュータであるRaspberry pi上に実装した。配線支援システムは、演習室のPCで回路図エディタを用いて作成した回路配線が正しいかどうかをSMT問題に定式化して検証するシステムであり、回路図エディタで保存したファイルをRaspberry pi上のWebサーバにアップロードすることによって検証ができる環境を構築した。一方、実際にブレッドボード上に作成した回路のデバッグを行うシステムは、Raspberry pi内のプログラムによって生成した入力パターンを回路に与えた後、回路で計算された値をRaspberry piで取り込んで処理することにより、誤りの有無や誤り箇所を提示するものである。これらについて、基本的な実装は完了しており、次年度の実験授業で学生に使ってもらい評価を行うことができるように準備を進めている。
|
Current Status of Research Progress |
Current Status of Research Progress
3: Progress in research has been slightly delayed.
Reason
新型コロナウイルス感染症流行の影響による半導体不足により、予定していたRaspberry piの機種を必要数調達することができなくなったため、開発が遅れ、研究期間を延長することとした。なお、予定していたRapberry pi 3 model Bは、生産が再開されることなく生産終了となる可能性が高いため、代替品として、Raspberry pi 4の調達を予定している。Raspberry pi 4は価格が予定機種に比べて高くなるため、台数を予定より減らして対応する予定である。
|
Strategy for Future Research Activity |
次年度は、Raspberry pi 4を早期に調達し、2022年度の基本的な実装を改良して、電子情報工学科3年で実施しているディジタル回路実験で実際に学生に使用してもらい、評価を行う予定である。
|
Report
(3 results)
Research Products
(2 results)