High-Quality Development Method for Embedded Software for the Realization of Society 5.0

实现社会5.0的嵌入式软件高质量开发方法

基本信息

  • 批准号:
    22K11957
  • 负责人:
  • 金额:
    $ 1.91万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
  • 财政年份:
    2022
  • 资助国家:
    日本
  • 起止时间:
    2022-04-01 至 2025-03-31
  • 项目状态:
    未结题

项目摘要

高品質な組込みソフトウェアを効率よく開発することを目的として,初年度には不具合が生じない高品質なソフトウェア開発を実現するための解析手法の考案と,それに基づいて検査をするツールを実装した.考案した手法は,過去に不具合が発生したときの要因となったコードパターンが,検査対象のC言語のソースコードに含まれていないかどうかを自動的に検査可能とする「コーディングパターン検査法」である.これにより,開発中のソースコードを実機試験する前に,過去の不具合については再発防止がはかられることから,実機試験で発生する不具合の削減が期待される.なお,初年度は検査法の有効性を確かめるべく,対象とするソースコードとしてモジュール単位(単独のファイル)かつ,メモリ管理のためのポインタ操作を除いたものとした.考案した検査法の実装にあたっては,過去の不具合のコードパターンを記述できること,さらには,組込みソフトウェアを対象として定められている標準的なコーディング規約(プログラム記述のルール集)に準拠しているかどうかが検査できるようことを満たす表現法を定めた.これにより,検査対象のソースコードのなかで,コーディング規約に違反しているコードを実施危険の前に自動的に検出できるようになった.このうち,組込みソフトウェア開発で求められているコーディング規約については,研究発表の図書「Arduinoで学ぶ組込みシステム入門(第2版)」において,組込みソフトウェアの品質向上の一手法として述べた.2年目以降は,組込みソフトウェアの派生開発(既存のソースコードを改良しての高機能化)を支援する「影響波及解析法」の考案とそれに基づいて動作する支援ツールの開発に取り組むとともに,対象とするソースコードの制限の緩和を試みる.
High quality な group 込 み ソ フ ト ウ ェ ア を sharper rate よ く open 発 す る こ と を purpose と し て, at the beginning of the annual に は born not close が じ な い high-quality な ソ フ ト ウ ェ ア open 発 を be presently す る た め の parsing technique と の test case, そ れ に base づ い て 検 check を す る ツ ー ル を be loaded し た. Test case し た は, not the past に close が 発 raw し た と き の by と な っ た コ ー ド パ タ ー ン が, 検 check words like の C seaborne の ソ ー ス コ ー ド に containing ま れ て い な い か ど う か を automatic に 検 check may と す る "コ ー デ ィ ン グ パ タ ー ン 検 check method" で あ る. こ れ に よ り, open 発 の ソ ー ス コ ー ド を be machine test す る に before, not the past の close に つ い て は 発 again prevent が は か ら れ る こ と か ら, be machine test で 発 raw す る not close の が expect cuts さ れ る. の な お, at the beginning of year は 検 check method of unseen sex を か really め る べ く, like と seaborne す る ソ ー ス コ ー ド と し て モ ジ ュ ー ル 単 bits (単 alone の フ ァ イ ル) か つ, メ モ リ management の た め の ポ イ ン タ を operation except い た も の と し た. Method of test case し た 検 check の be loaded に あ た っ て は, not the past の close の コ ー ド パ タ ー ン を account で き る こ と, さ ら に は, Group 込 み ソ フ ト ウ ェ ア を like と seaborne し て set め ら れ て い る standard な コ ー デ ィ ン グ statute (プ ロ グ ラ ム account の ル ー ル set) に quasi 拠 し て い る か ど う か が 検 check で き る よ う こ と を against た す performance method を calm め た. こ れ に よ り, 検 like の seaborne ソ ー ス コ ー ド の な か で, コ ー デ ィ ン に グ code violation し て い る コ ー ド を be ShiWei 険 の に before automatic に 検 out で き る よ う に な っ た. こ の う ち, group 込 み ソ フ ト ウ ェ ア open 発 で o め ら れ て い る コ ー デ ィ ン グ statute に つ い て は, research 発 table の 図 book "Arduino で learn ぶ group 込 み シ ス テ ム primer (second edition)" に お い て, group 込 み ソ フ ト ウ ェ ア の quality の up a gimmick と し て above べ た. 2 years in は, group 込 み ソ フ ト ウ ェ ア の derived open 発 (existing の ソ ー ス コ ー ド を improved し て の high function) を support す る "analytical method" affecting の test case と そ れ に base づ い て action す る support ツ ー ル の open 発 に group take り む と と も に, like と seaborne す る ソ ー ス コ ー ド limitations の の ease を try み る.

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Arduinoで学ぶ組込みシステム入門(第2版)
使用 Arduino 的嵌入式系统简介(第二版)
  • DOI:
  • 发表时间:
    2023
  • 期刊:
  • 影响因子:
    0
  • 作者:
    畑俊吉;宇佐美公良;猪股 俊光
  • 通讯作者:
    猪股 俊光
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

猪股 俊光其他文献

揮発性ネットワークのための順序制御機能の実装と評価
不稳定网络排序功能的实现和评估
  • DOI:
  • 发表时间:
    2014
  • 期刊:
  • 影响因子:
    0
  • 作者:
    今野 翔太;今井 信太郎;北形 元;新井 義和;猪股 俊光
  • 通讯作者:
    猪股 俊光
「サルから考える人間のコミュニティの未来」.近藤淳也監修『ネットコミュニティの設計と力』
“从猴子的角度看人类社区的未来”,近藤淳也监督“互联网社区的设计与力量”。
  • DOI:
  • 发表时间:
    2015
  • 期刊:
  • 影响因子:
    0
  • 作者:
    今野 翔太;今井 信太郎;北形 元;新井 義和;猪股 俊光;山極寿一
  • 通讯作者:
    山極寿一

猪股 俊光的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('猪股 俊光', 18)}}的其他基金

線形論理に基づく並列プログラムの形式的設計法と並列計算機によるその実現
基于线性逻辑的并行程序形式化设计方法及其并行计算机实现
  • 批准号:
    09780303
  • 财政年份:
    1997
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
並列プログラムの形式的設計法とその実現
并行程序的形式化设计方法及其实现
  • 批准号:
    08780312
  • 财政年份:
    1996
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)
並列計算モデル変換技法とそれに基づく並列プログラミング環境構築システムの開発
并行计算模型转换技术及基于该技术的并行编程环境构建系统的开发
  • 批准号:
    04750321
  • 财政年份:
    1992
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Encouragement of Young Scientists (A)

相似海外基金

10μmオーダーの超高精細断層面を実現する次世代MRI組込みソフトウェアの開発
开发下一代MRI嵌入式软件,实现10μm量级超高清断层平面
  • 批准号:
    24H00717
  • 财政年份:
    2024
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (A)
組込みソフトウェア技術者教育のための2足歩行ロボット制御による体験型教材の開発
基于双足机器人控制的嵌入式软件工程师教育体验式教材开发
  • 批准号:
    18918021
  • 财政年份:
    2006
  • 资助金额:
    $ 1.91万
  • 项目类别:
    Grant-in-Aid for Encouragement of Scientists
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了