物理情報システムに対する軽量検証の、オートマトン的技法を用いた実用的発展

使用类似自动机的技术对物理信息系统进行轻量级验证的实际开发

基本信息

项目摘要

まず本年度は、モニタリング対象のシステムの近似的な動作の仮定を用いたモニタリング問題の拡張を行った。具体的には線形ハイブリッドオートマトンで与えられたシステムに近似モデルを用いることで、間欠的にサンプリオングされたログにおいて、二つのサンプルの間での動作についてもモニタリングを行うことができる拡張を行った。このことにより、例えば異常動作の検出漏れを防ぎつつサンプリング周期を伸ばすことが可能となり、組込みシステム等計算資源が限られている環境での応用が期待できる。本研究結果をまとめた論文が物理情報システムに関する国際会議 ICCPS 2021に採択された。さらに物理情報システムの探索的テストにおける、異なる物理量に言及したさいの困難を解決する研究も行った。異なる物理量間では通常用いられる値の大きさが一般には異なるが、これによって物理情報システムの探索的テストにおいて、ある特定の物理量の変化が事実上無視されてしまうという「スケール問題」という現象が知られていた。本研究では、物理量の絶対的な大きさのみではなく相対的な順位も考慮することで、「スケール問題」を回避しながら探索的テストを行うことのできる拡張を行った。本研究結果をまとめた論文がシステム制御に関する国際会議 ADHS 2021に採択された。また、前年度に採択された、物理情報システムについての反例生成問題を、オートマトン学習を経由して解く手法について研究成果を物理情報システムに関する国際会議HSCC 2020において口頭発表を行った。更に日本ソフトウェア科学会第37回大会において、前年度に研究を行った[Waga, Andre, & Hasuo, CAV'19]の内容について招待講演を行った。また,前々年度,前年度,本年度の成果を博士論文として体系化した.
This year, we are looking for ways to improve the quality of our products. The physical shape of the line is similar to that of the line. The line. The line is similar to that of the line. The line. The line is similar to that of the line. This is because computing resources, such as the possibility and organization of abnormal behavior, are limited and the environment is expected to be used. The results of this study were collected from the International Conference ICCPS 2021 on Physical Information Systems. In this paper, the physical information system of the exploration of the problem, different physical quantities and the difficulties of the study to solve In general, physical quantities are different from each other, and physical information is different from each other. In general, physical quantities are different from each other, and physical quantities are different from each other. In general, physical In this study, the physical quantity of the opposite large and small, the order of consideration,"the problem" to avoid the exploration of the problem, the line of action The results of this study were presented at the international conference ADHS 2021 on the topic of system control. International Conference HSCC 2020 on Physical Information System and Counter Example Generation In addition, the 37th General Assembly of the Japan Science Society was held in the past year.[Waga, Andre, & Hasuo, CAV'19] was held in the past year. The previous year, the previous year, the achievements of this year's doctoral thesis systematization.

项目成果

期刊论文数量(33)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration
MONAA:基于自动机加速的定时模式匹配工具
  • DOI:
    10.1109/mt-cps.2018.00014
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Masaki Waga;Ichiro Hasuo;Kohei Suenaga
  • 通讯作者:
    Kohei Suenaga
Masaki Waga (和賀 正樹)
和贺正树
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
パリ13大学/ロレーヌ大学(フランス)
巴黎十三所大学/洛林大学(法国)
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Genetic algorithm for the weight maximization problem on weighted automata
加权自动机权重最大化问题的遗传算法
Moore-Machine Filtering for Timed and Untimed Pattern Matching
用于定时和不定时模式匹配的摩尔机器过滤
{{ 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 }}

和賀 正樹其他文献

フランスにおける地域を単位とした社会的包摂の取り組みーレジー・ド・カルチエに着目してー
法国在各地区的社会包容性努力:以 Régie de Cartier 为中心
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Andre Etienne;Hasuo Ichiro;Waga Masaki;Naveed Ahmed Azam;Masaki Waga;和賀 正樹;Masaki Waga;Masaki Waga;Masaki Waga;Masaki Waga;長谷川敦也;長谷川 敦也
  • 通讯作者:
    長谷川 敦也
フランス・リヨンにおけるレジー・ド・カルチエ(RQ)による生活・就労支援―その活動とその意義
法国里昂 Régie de Quartier (RQ) 的生活和就业支持 - 其活动及其意义
  • DOI:
  • 发表时间:
    2019
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Andre Etienne;Hasuo Ichiro;Waga Masaki;Naveed Ahmed Azam;Masaki Waga;和賀 正樹;Masaki Waga;Masaki Waga;Masaki Waga;Masaki Waga;長谷川敦也
  • 通讯作者:
    長谷川敦也

和賀 正樹的其他文献

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

{{ truncateString('和賀 正樹', 18)}}的其他基金

オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
使用自动机技术对物理信息系统进行轻量级形式验证的定量开发
  • 批准号:
    22K17873
  • 财政年份:
    2022
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists

相似海外基金

オートマトン的技法を用いた、物理情報システムのための軽量形式検証の量的発展
使用自动机技术对物理信息系统进行轻量级形式验证的定量开发
  • 批准号:
    22K17873
  • 财政年份:
    2022
  • 资助金额:
    $ 1.41万
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了