• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2015 Fiscal Year Annual Research Report

V字開発を軸とした国際連携型技術者育成基盤の構築

Research Project

Project/Area Number 25871048
Research InstitutionOkinawa National College of Technology

Principal Investigator

山田 親稔  沖縄工業高等専門学校, 情報通信システム工学科, 准教授 (40412902)

Project Period (FY) 2013-04-01 – 2016-03-31
Keywords分散協調教育システム / 産業・技術教育 / モデルベース / 組込みシステム
Outline of Annual Research Achievements

前年度に、マラ工科大学(マレーシア)と沖縄高専において技術者育成のカリキュラムの教育実践を行った結果を踏まえ、本年度は開発したシステムの評価および検証を行うとともに、技術者育成カリキュラムの教育実践およびその評価に主眼を置き研究を遂行した。前年度に実践したカリキュラムの評価を行い、その結果から技術者育成支援LMSと多機能演算システムの改善項目を抽出し、各システムの改修を行った。また、琉球大学とビクトリア大学(カナダ)の大学院生がリーダーとなり、高専の学生と連携してV字モデル技術者育成支援のカリキュラムを実践した。その際、プロジェクトに参加する学生が各自の役割分担を明確にし、V字モデルを意識しながら実習を行うことができた。本プロジェクトにより作成した課題の報告会を実施し、発表内容を撮影し技術者育成支援LMSに動画としてアップロードし、連携校の教員が評価を行った。難易度の低い実習においてもV字開発を意識しながら学習し、LMSを導入することで受講者どうしの進捗管理や国内外(日本・カナダ・マレーシア)の大学との連携を図ることができ、実践的な設計概念を習得することができた。本研究で提案する実践的な技術者育成カリキュラムを導入することで、国内外の大学生と高専学生とチーム・ベースのプロジェクトとして実習を行うことで、国際連携型の実践的な人材育成を行うことができ、これらの成果は、海外展開を行う企業での技術者育成を支援するものとして有用であると考える。

  • Research Products

    (6 results)

All 2016 2015 Other

All Int'l Joint Research (2 results) Journal Article (1 results) (of which Int'l Joint Research: 1 results,  Peer Reviewed: 1 results,  Open Access: 1 results,  Acknowledgement Compliant: 1 results) Presentation (3 results) (of which Int'l Joint Research: 3 results)

  • [Int'l Joint Research] ビクトリア大学(カナダ)

    • Country Name
      CANADA
    • Counterpart Institution
      ビクトリア大学
  • [Int'l Joint Research] マラ工科大学(マレーシア)

    • Country Name
      MALAYSIA
    • Counterpart Institution
      マラ工科大学
  • [Journal Article] Using SPIN to Check Simulink Stateflow Models2016

    • Author(s)
      Chikatoshi Yamada and D. Michael Miller
    • Journal Title

      International Journal of Networked and Distributed Computing

      Volume: 2 Pages: 65-74

    • DOI

      10.2991/ijndc.2016.4.1.7

    • Peer Reviewed / Open Access / Int'l Joint Research / Acknowledgement Compliant
  • [Presentation] SPIN Model Checking for the BEE System2015

    • Author(s)
      Chikatoshi Yamada, Sudhakar Ganti and D. Michael Miller
    • Organizer
      IEEE TENCON 2015
    • Place of Presentation
      Macau(中国)
    • Year and Date
      2015-11-01 – 2015-11-04
    • Int'l Joint Research
  • [Presentation] Using SPIN to check Simulink Stateflow models2015

    • Author(s)
      Chikatoshi Yamada and D. Michael Miller
    • Organizer
      the 14th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2015)
    • Place of Presentation
      Las Vegas(米国)
    • Year and Date
      2015-06-28 – 2015-07-01
    • Int'l Joint Research
  • [Presentation] Using SPIN to Check Nondeterministic Simulink Stateflow Models2015

    • Author(s)
      Chikatoshi Yamada and D. Michael Miller
    • Organizer
      IEEE International Symposium on Multiple-Valued Logic (ISMVL 2015)
    • Place of Presentation
      Toronto(カナダ)
    • Year and Date
      2015-05-18 – 2015-05-20
    • Int'l Joint Research

URL: 

Published: 2017-01-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi