JP6664560B1 - 実行監視装置、実行監視方法、及び、実行監視プログラム - Google Patents
実行監視装置、実行監視方法、及び、実行監視プログラム Download PDFInfo
- Publication number
- JP6664560B1 JP6664560B1 JP2019548495A JP2019548495A JP6664560B1 JP 6664560 B1 JP6664560 B1 JP 6664560B1 JP 2019548495 A JP2019548495 A JP 2019548495A JP 2019548495 A JP2019548495 A JP 2019548495A JP 6664560 B1 JP6664560 B1 JP 6664560B1
- Authority
- JP
- Japan
- Prior art keywords
- time
- real
- monitoring
- series data
- storage unit
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000012544 monitoring process Methods 0.000 title claims abstract description 264
- 238000012806 monitoring device Methods 0.000 title claims abstract description 48
- 238000000034 method Methods 0.000 title claims description 52
- 238000013500 data storage Methods 0.000 claims abstract description 67
- 230000015654 memory Effects 0.000 claims abstract description 32
- 238000012545 processing Methods 0.000 claims description 89
- 238000004364 calculation method Methods 0.000 claims description 58
- 230000008859 change Effects 0.000 claims description 43
- 230000008569 process Effects 0.000 claims description 28
- 230000005856 abnormality Effects 0.000 claims description 24
- 238000007726 management method Methods 0.000 claims description 13
- 230000014509 gene expression Effects 0.000 description 23
- 238000007781 pre-processing Methods 0.000 description 21
- 230000006870 function Effects 0.000 description 13
- 238000010586 diagram Methods 0.000 description 11
- 238000006243 chemical reaction Methods 0.000 description 5
- 230000001419 dependent effect Effects 0.000 description 5
- 238000004891 communication Methods 0.000 description 4
- 238000012986 modification Methods 0.000 description 4
- 230000004048 modification Effects 0.000 description 4
- 238000000354 decomposition reaction Methods 0.000 description 3
- 238000001514 detection method Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 238000000605 extraction Methods 0.000 description 3
- 230000003936 working memory Effects 0.000 description 3
- 230000002159 abnormal effect Effects 0.000 description 2
- 230000003044 adaptive effect Effects 0.000 description 2
- 238000013473 artificial intelligence Methods 0.000 description 2
- 230000006399 behavior Effects 0.000 description 2
- 238000013480 data collection Methods 0.000 description 2
- 230000010354 integration Effects 0.000 description 2
- 230000003068 static effect Effects 0.000 description 2
- 238000012795 verification Methods 0.000 description 2
- 230000008901 benefit Effects 0.000 description 1
- 239000002131 composite material Substances 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 239000000284 extract Substances 0.000 description 1
- 230000006872 improvement Effects 0.000 description 1
- 238000005457 optimization Methods 0.000 description 1
- 230000000737 periodic effect Effects 0.000 description 1
- 230000001105 regulatory effect Effects 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
Images
Classifications
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W50/06—Improving the dynamic response of the control system, e.g. improving the speed of regulation or avoiding hunting or overshoot
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
- G06F11/3006—Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system is distributed, e.g. networked systems, clusters, multiprocessor systems
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W50/04—Monitoring the functioning of the control system
- B60W50/045—Monitoring control system parameters
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/30—Monitoring
- G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
- G06F11/3013—Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system is an embedded system, i.e. a combination of hardware and software dedicated to perform a certain function in mobile devices, printers, automotive or aircraft systems
-
- G—PHYSICS
- G07—CHECKING-DEVICES
- G07C—TIME OR ATTENDANCE REGISTERS; REGISTERING OR INDICATING THE WORKING OF MACHINES; GENERATING RANDOM NUMBERS; VOTING OR LOTTERY APPARATUS; ARRANGEMENTS, SYSTEMS OR APPARATUS FOR CHECKING NOT PROVIDED FOR ELSEWHERE
- G07C5/00—Registering or indicating the working of vehicles
- G07C5/08—Registering or indicating performance data other than driving, working, idle, or waiting time, with or without registering driving, working, idle or waiting time
- G07C5/12—Registering or indicating performance data other than driving, working, idle, or waiting time, with or without registering driving, working, idle or waiting time in graphical form
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W2050/0062—Adapting control system settings
- B60W2050/0075—Automatic parameter input, automatic initialising or calibrating means
- B60W2050/0083—Setting, resetting, calibration
- B60W2050/0088—Adaptive recalibration
-
- B—PERFORMING OPERATIONS; TRANSPORTING
- B60—VEHICLES IN GENERAL
- B60W—CONJOINT CONTROL OF VEHICLE SUB-UNITS OF DIFFERENT TYPE OR DIFFERENT FUNCTION; CONTROL SYSTEMS SPECIALLY ADAPTED FOR HYBRID VEHICLES; ROAD VEHICLE DRIVE CONTROL SYSTEMS FOR PURPOSES NOT RELATED TO THE CONTROL OF A PARTICULAR SUB-UNIT
- B60W50/00—Details of control systems for road vehicle drive control not related to the control of a particular sub-unit, e.g. process diagnostic or vehicle driver interfaces
- B60W50/04—Monitoring the functioning of the control system
- B60W50/045—Monitoring control system parameters
- B60W2050/046—Monitoring control system parameters involving external transmission of data to or from the vehicle, e.g. via telemetry, satellite, Global Positioning System [GPS]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/805—Real-time
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
- G06F2201/835—Timestamp
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Computing Systems (AREA)
- Automation & Control Theory (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- General Engineering & Computer Science (AREA)
- Mathematical Physics (AREA)
- Human Computer Interaction (AREA)
- Transportation (AREA)
- Mechanical Engineering (AREA)
- Debugging And Monitoring (AREA)
- Combined Controls Of Internal Combustion Engines (AREA)
Abstract
Description
また、非特許文献1では、時間拡張したReteアルゴリズムを提案している。
時系列データを保存する時系列データ保存部と、
前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、メモリのヒープ領域以外の領域に保存されている、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新する実時間仕様判定部と
を備える。
以下、本実施の形態について、図面を参照しながら詳細に説明する。
なお、本実施の形態の実行監視装置20は、任意の電子装置の実行を監視することができる。しかし、説明の便宜上、本実施の形態をACC(Adaptive Cruise Control System)システムに応用した例に基づいて説明する。
<監視仕様式> ::=
{<信号制約>}| …(1)
!<監視仕様式>| …(2)
<監視仕様式_1> || <監視仕様式_2>| …(3)
<監視仕様式_1> && <監視仕様式_2> | …(4)
<監視仕様式_1> → <監視仕様式_2> | …(5)
<監視仕様式_1> U[<実数値1>,<実数値2>] <監視仕様式_2>| …(6)
<監視仕様式_1> S[<実数値1>,<実数値2>] <監視仕様式_2> …(7)
F_f[<実数値1>,<実数値2>] <監視仕様式>
{“True”} U[<実数値1>,<実数値2>] <監視仕様式>
G_f[<実数値1>,<実数値2>] <監視仕様式>
!(F_f[<実数値1>,<実数値2>] !<監視仕様式>)
F_p[<実数値1>,<実数値2>] <監視仕様式>
{“True”} S [<実数値1>,<実数値2>] <監視仕様式>
G_p[<実数値1>,<実数値2>] <監視仕様式>
!(F_p[<実数値1>,<実数値2>] !<監視仕様式>)
DSLで記述した監視仕様式を、実時間制約に対応したReteネットワークに変換する方法について説明する。
図8は、前記方法を示すフローチャートである。
ステップS001では、監視仕様を信号命題から成る論理式とするために、実時間制約に関連する部分式を仮想的な信号を導入して信号命題に変換する。実時間制約に関連する部分式とは、具体的には、演算子D、演算子F_p、演算子G_p、及び、演算子Sのいずれか1の演算子のみから成る論理式である。実時間制約に関連する部分式が監視仕様に含まれる場合、仮想的な信号を導入して前記部分式を信号命題に変換し、前記仮想的な信号及び前記仮想的な信号に対応する監視仕様式を記録する。
D[!{ACC有効信号},5] || D[!{車間距離 < 理想車間距離},5] || F_p[0,5](!{車間距離 < 理想車間距離})
{D_1} || {D_2} || {F_p_1}
ステップS002では、全ての実時間制約に関連する部分式を変換した監視仕様式のリストの監視仕様式に対して、論理最小化(Logic Minimization)を適用する。論理最小化とは、論理式を、前記論理式と等価な“sum−of−products”形式の論理式の内、最も単純な論理式に変換することである。論理最小化をすることにより、計算量を削減することができる。なお、論理式を、論理最小化に対応する論理式に近似する論理式に変換しても良い。論理最小化を多項式時間で実施することはできないが、[非特許文献4]に、論理最小化に対応する論理式に近似する論理式を高速に求める手法が開示されている。
({<信号制約1>} && {<信号制約2>}) || ({<信号制約3>} && {<信号制約4>}) || ({<信号制約4>} && {<信号制約5>} && {<信号制約6>})
ステップS003では、監視仕様式のリストの全ての監視仕様式を、AST(Abstract Syntax Tree)に変換する。図10は、監視仕様式xを、ASTにより表現したグラフを示すものである。ここで、{<信号制約n>}を信号真理値nと表記することにする。
ステップS004では、監視仕様式のリストの全ての監視仕様式の全てのサブツリーに対して、同一性の判定を行う。監視仕様式y1と監視仕様式y2とを用いて、本ステップにおける処理を具体的に説明する。図11は、監視仕様式y1をASTにより表現したものであり、図12は、監視仕様式y2をASTにより表現したものである。
ステップS005では、ステップS004において同一であると判定されたサブツリー同士をマージする。これにより、監視仕様式のリストの監視仕様式をDAG(Directed Acyclic Graph:有向非循環グラフ)により表現することができる。図13に示すグラフは、監視仕様式y1に対応するASTと、監視仕様式y2に対応するASTとをマージしたグラフである。前記グラフにおいて、サブツリー1と、サブツリー2とをマージした部分グラフを、部分グラフ1としている。
ステップS006では、3以上の論理和又は論理積を表すノードを、2の論理和又は論理積を表す複数のノードに変換する。具体例としては、監視仕様式をDAGにより表現したグラフに、図14に示す部分グラフが存在する場合、前記部分グラフを図15に示す部分グラフに変換する。
ステップS007では、Reteネットワークに対して、トポロジカルソートを実施する。ReteネットワークはDAGであるため、トポロジカルソートを実施できる。図16は、Reteネットワークに対してトポロジカルソートを実施した例である。なお、前記Reteネットワークは、仮想的な信号の信号真理値を求める際に実際の信号を参照する場合、前記信号を含む。前記Reteネットワークの各ノードに振られた番号は、トポロジカルソートに伴い振られた番号である。また、前記番号を、部分仕様番号と呼ぶことにする。それぞれのノードは、真理値を求めるべきであり、監視仕様が含む制約の一部(以下、部分仕様と記述する)を表す。なお、仮想的な信号の信号真理値を求める際に参照する実際の信号に対応するノードと、監視仕様式y1及び監視仕様式y2に対応するノードとを部分仕様を表すノードとして扱い、前記ノードの真理値は、直上のノードの真理値と同一とする。部分仕様番号は、部分仕様を判定する順序を表す。エッジ及びエッジの向きは、部分仕様間の依存関係を表す。
ステップS008では、仮想的な信号に対応する複数のノードであって、仮想的な信号の真理値を求める際に参照する信号が同一であるが、前記真理値を求める際に取得された時刻が異なる前記信号を参照する複数のノード(以下、異時刻ノード群)を抽出する。図18に示すReteネットワークを基に、本ステップの処理を具体的に説明する。本図の枠で囲ったノードは、異時刻ノード群のノードに該当する。
F_p[x,y]の信号真理値を求めるためには、現在時刻−yから現在時刻−xまでにおける信号1の値が必要であるため、−y以上−x以下の値を、時刻情報として記録する。なお、本図に示す−y以上−x以下の記録間隔は例であり、前記記録間隔は、実行監視装置20が信号を取得する周期に依存する。
D[z]の真理値を求めるためには、現在時刻−zにおける信号1の値が必要であるため、−zの値を、時刻情報として記録する。
図18に示すDAGの場合、F_p[0,2]とD[5]とが存在しているので、図19に示す表が作成される。図20は、図7に示す監視仕様の判定において必要である、部分仕様と時刻情報とのペアをまとめた表である。
図22は、本実施の形態に係る実行監視装置20の構成図である。
本図に示されるように、実行監視装置20は、前処理部201と、次計算仕様判定部202と、不変仕様判定部203と、実時間仕様判定部204と、期限管理部205と、変化時刻算出部206と、出力部207と、異常出力部208とを備える。
また、実時間仕様判定部204は、時系列データ保存部225に保存された時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、実時間仕様を満たすか否かを判定した結果である判定結果を更新する。
即ち、異常出力部208は、時系列データ保存部225が実時間仕様を判定する際に使用する全ての時系列データを保存していない場合に、依存関係保存部229を参照して実時間仕様に対応する監視仕様を特定し、監視仕様の情報を出力する。
信号が反転した全ての時刻を保存する必要はなく、
最後に信号が反転した時刻である最終反転時刻と、反転した時刻及び前記時刻の直近に反転した時刻の間隔とを保存すれば十分である。
そこで、時系列データ保存部225は、
実時間仕様に依存されている部分仕様毎に許容する反転の回数を設定し、
ある部分仕様の反転の回数が、前記部分仕様に対応する許容する反転の回数を超えた場合、保存している前記部分仕様の時系列データの内、最も古いデータを破棄する。
実行監視装置20は、前記場合に対応するため、
許容する変化の回数を適切に設定しておき、
時系列データ保存部225に保存している時系列データより過去の時系列データを参照する必要がある場合、フェイルセーフになることを考慮して作成された代替的な判定結果を用いても良い。
実行監視装置20は、本図に示す一般的なマイクロコンピュータ10と、通信インタフェース104とから構成される。なお、マイクロコンピュータ10は、一般的なコンピュータであっても良い。コンピュータには、マイクロコンピュータも含まれることとする。
図28は、実行監視装置20による実行監視手順を示すフローチャートである。実行監視装置20は、ステップS201〜S215に示すフローを周期的に実行する。
前処理部201は、一時バッファ部221に保存された信号の信号値を、監視仕様が有する信号制約に基づいて信号真理値に変換する。なお、信号値をそのまま信号真理値として使用すればよい場合、前処理部201は実際には入力信号を変換しないが、説明の便宜のために、前処理部201が信号値を信号真理値に変換したとみなすことにする。
全ての前記信号値を前記信号制約に基づいて信号真理値に変換し、
前記信号真理値の内、少なくとも1つが“False”である場合、前記信号制約の信号真理値を“False”とし、
それ以外の場合、前記信号制約の信号真理値を“True”とする。
前処理部201は、時系列データの更新を行う。
変化時刻テーブル保存部227を参照して実時間仕様に依存されている信号制約を特定し、
実時間仕様に依存されている信号制約が存在する場合、全ての前記信号制約について、今回の周期における前記信号制約の真理値と、判定結果保存部224に記録されている、前記信号制約に対応する真理値とを比較する。
時系列データ保存部225に、前記真理値に対応する全ての直近n回目の反転間隔として保存されているデータを、直近n+1回目の反転間隔として保存し、
時系列データ保存部225に保存されている最終判定時刻と現在時刻との差を、直近1回目の反転間隔として保存し、
時系列データ保存部225の最終反転時刻に現在時刻を保存する。
ただし、前処理部201は、時系列データ保存部225に保存されている、前記真理値に対応するデータの数が既に保存できる上限に達している場合、前記データの内、最も古いデータを削除する。
前処理部201は、
時系列データ更新処理においてデータを更新した場合、全ての前記データに対応する信号制約に対して、メモリあふれの検出処理を行い、
それ以外の場合、本ステップの処理を実行せずにステップS205に進む。
時系列データ保存部225に保存された最終反転時刻から時系列データ保存部225に保存された全ての直近n回目の反転間隔を足した値を引いた時刻が、前記信号制約に依存する実時間仕様の判定結果を求める際に参照する時刻、又は、時刻の区間内の最も過去の時刻よりも未来の時刻である場合、前記信号制約についてメモリあふれを検出したものとして、ステップS204に進む。
前処理部201は、上記以外の場合、ステップS205に進む。
前処理部201は、前記信号制約についてメモリあふれを検出した場合、異常処理ポリシ保存部228を参照し、前記実時間仕様に対応する処理方針に従って処理する。
前処理部201は、前記実時間仕様の判定結果を、前記実時間仕様に対応する処理方針に応じて設定する。
依存関係保存部229に保存されている依存関係を参照して、前記実時間仕様に対応する監視仕様を、監視仕様IDを特定することによって特定し、
前記監視仕様の情報である監視仕様IDを外部に出力する。
変化時刻算出部206は、
実時間仕様毎に、実時間仕様が依存する、時系列データ保存部225に保存された信号に関するデータと、変化時刻テーブル保存部227に保存されたデータとに基づいて、実時間仕様の判定結果が変化する時刻の内、最も現在時刻に近い未来の時刻を変化時刻として算出し、
前記変化時刻を前記時刻に対応する実時間仕様の次回判定時刻として変化時刻保存部226に保存する。
即ち、変化時刻算出部206は、実時間仕様毎に、実時間仕様の判定結果が変化する変化時刻を算出する。
次計算仕様判定部202は、
全ての信号制約の信号真理値について、前処理部201が変換した信号真理値と、判定結果保存部224に保存されている信号真理値とを比較することにより、前処理部201が変換した信号真理値が、1つ前の周期における信号真理値と比較して反転しているか否かを判定し、
信号真理値が反転している場合、監視仕様保存部222を参照し、全ての前記信号真理値に直接的に依存する部分仕様を、判定結果が変化し得る部分仕様として特定し、
全ての前記信号真理値に直接的に依存する部分仕様を、計算対象保存部223に保存する。なお、次計算仕様判定部202は、前記部分仕様が既に計算対象保存部223に保存されている場合、前記部分仕様を重複して保存しない。
信号真理値に直接的に依存する部分仕様とは、図18に示すグラフにおいて、信号真理値に対応するノードと、部分仕様に対応するノードとが接続されており、部分仕様に対応するノードから始点向き方向に1つ進むことにより、信号真理値に対応するノードに辿り着くことを意味する。この信号真理値を、部分仕様等に置き換えた場合においても同様である。
期限管理部205は、各実時間仕様の判定結果の有効期限が切れている場合に、前記判定結果に対応する実時間仕様を実時間仕様判定部204が判定すべきであると判定する。
期限管理部205は、具体的には、
実時間仕様毎に、現在時刻が実時間仕様に対応する次回判定時刻以後(即ち、変化時刻以後)であるか否かを判定し、
現在時刻が実時間仕様に対応する次回判定時刻以後である場合、
実時間仕様判定部204が、前記次回判定時刻に対応する実時間仕様を判定すべきであると判定し、
前記実時間仕様を、計算対象保存部223に保存する。なお、期限管理部205は、前記実時間仕様及び前記部分仕様が既に計算対象保存部223に保存されている場合、前記部分仕様を重複して保存しない。
本例では、
全ての信号真理値は変化せず、
現在時刻がF_p[0,2]の次回判定時刻を過ぎておらず、
現在時刻がD[5]の次回判定時刻を過ぎていることを仮定しているため、
D[5]のみが計算対象とされている。
次計算仕様判定部202は、計算対象である部分仕様の有無を判定する。具体的には、次計算仕様判定部202は、計算対象保存部223に、計算対象として保存されている部分仕様が存在するか否かを判定する。
実行監視装置20は、
前記部分仕様が存在しない場合、今回の周期の周期処理を終了し、
前記部分仕様が存在する場合、ステップS209に進む。
次計算仕様判定部202は、判定結果を求める対象である1の部分仕様を特定する。具体的には、次計算仕様判定部202は、計算対象保存部223に、計算対象として記録されている部分仕様の内、部分仕様番号が一番小さい部分仕様を特定する。以下、本ステップで特定した部分仕様を、特定部分仕様と呼ぶ。
次計算仕様判定部202は、特定部分仕様が実時間仕様であるか否かを判定する。
本ステップの詳細は、ステップS301〜S312に記載する。
次計算仕様判定部202は、特定部分仕様が不変仕様であるか否かを判定する。
実行監視装置20は、
前記部分仕様が不変仕様である場合、ステップS213に進み、
それ以外の場合、ステップS214に進む。
本ステップの詳細は、ステップS401〜S407に記載する。
出力部207は、判定結果保存部224に保存されている監視仕様の監視結果を外部に出力する。
次計算仕様判定部202は、特定部分仕様の記録を、計算対象保存部223から削除する。実行監視装置20は、ステップS208に進む。
実時間仕様判定部204は、特定部分仕様の演算子がDであるか否かを判定する。
実時間仕様判定部204は、
演算子がDである場合、ステップS302に進み、
それ以外の場合、ステップS303に進む。
実時間仕様判定部204は、前記演算子Dの演算を行う。実時間仕様判定部204は、演算子Dの第1項に基づいて、時系列データ保存部225に保存されている時系列データから、特定部分仕様が参照すべき時刻におけるデータを抽出する。
前記データに係る値が“True”である場合、特定部分仕様の判定結果を“True”とし、
それ以外の場合、特定部分仕様の判定結果を“False”とする。
実時間仕様判定部204は、特定部分仕様の演算子がF_pであるか否かを判定する。
実時間仕様判定部204は、
演算子がF_pである場合、ステップS304に進み、
それ以外の場合、ステップS305に進む。
実時間仕様判定部204は、演算子F_pの演算を行う。
実時間仕様判定部204は、
演算子F_pの第1項及び第2項に基づいて、演算子F_pの監視仕様式の真理値を参照すべき時刻の区間(以下、F_p参照区間)を特定し、
時系列データ保存部225に保存されている時系列データから、F_p参照区間内における前記監視仕様式に対応するデータを抽出する。
F_p参照区間内において、前記監視仕様式の真理値が“True”である時刻が少なくとも1存在する場合、特定部分仕様の判定結果を“True”とし、
それ以外の場合、特定部分仕様の判定結果を“False”とする。
実時間仕様判定部204は、特定部分仕様の演算子がG_pであるか否かを判定する。
実時間仕様判定部204は、
演算子がG_pである場合、ステップS306に進み、
それ以外の場合、ステップS307に進む。
実時間仕様判定部204は、前記演算子G_pの演算を行う。
実時間仕様判定部204は、
演算子G_pの第1項及び第2項に基づいて、演算子G_pの監視仕様式の真理値を参照すべき時刻の区間(以下、G_p参照区間)を特定し、
時系列データ保存部225に保存されている時系列データから、G_p参照区間内における前記監視仕様式に対応するデータを抽出する。
G_p参照区間内において、前記監視仕様式の真理値が“False”である時刻が少なくとも1存在する場合、特定部分仕様の判定結果“False”とし、
それ以外の場合、特定部分仕様の判定結果を“True”とする。
実時間仕様判定部204は、演算子Sの演算を行う。
実時間仕様判定部204は、
演算子Sの、演算子Sの定義中の実数値1及び実数値2に対応する項に基づいて、演算子Sの2の監視仕様式(本ステップにおいて、Sの左に表記する監視仕様式をs1、Sの右に表記する監視仕様式をs2とする)の内、s2の真理値を参照すべき時刻の区間(以下、s2参照区間)を特定し、
時系列データ保存部225に保存されている時系列データから、s2参照区間内におけるs2に対応するデータを抽出する。
s2参照区間内において、s2に対応するデータに対応する時刻が現在時刻に近い順に、s2に対応するデータに基づくs2の真理値が“True”であるか否かを確認することにより、s2参照区間内においてs2の真理値が“True”である時刻の内、最も現在時刻に近い時刻を特定し、
時系列データ保存部225に保存されている時系列データから、前記最も現在時刻に近い時刻から現在時刻までの区間(以下、s1参照区間)におけるs1に対応するデータを抽出する。
s1参照区間内において、s1に対応するデータに基づくs1の真理値が常に“True”である場合、特定部分仕様の判定結果を“True”とし、
それ以外の場合、特定部分仕様の判定結果を“False”とする。
実時間仕様判定部204は、判定結果保存部224に記録されている特定部分仕様の判定結果を、上記で求めた判定結果に更新する。
実時間仕様判定部204は、時系列データの更新を行う。
変化時刻テーブル保存部227を参照して特定部分仕様が実時間仕様に依存されているか判定し、
特定部分仕様が実時間仕様に依存されている場合、今回の周期における特定部分仕様の判定結果と、判定結果保存部224に記録されている、特定部分仕様に対応する判定結果とを比較する。
時系列データ保存部225に、前記判定結果に対応する全ての直近n回目の反転間隔として保存されているデータを、直近n+1回目の反転間隔として保存し、
時系列データ保存部225に保存されていた最終判定時刻と現在時刻との差を、直近1回目の反転間隔として保存し、
時系列データ保存部225の最終反転時刻に現在時刻を保存する。ここで、nは自然数とする。
ただし、実時間仕様判定部204は、時系列データ保存部225に保存されている、前記判定結果に対応するデータの数が既に保存できる上限に達している場合、前記データの内、最も古いデータを削除する。
実時間仕様判定部204は、
時系列データ更新処理において特定部分仕様に対応するデータを更新した場合、前記データに対してメモリあふれの検出処理を行い、
それ以外の場合、本ステップの処理を実行せずに、本フローチャートの処理を終了する。
実時間仕様判定部204は、時系列データ保存部225に保存されている直近n回目の判定間隔のデータ数が保存できる上限に達している場合、かつ、
時系列データ保存部225に保存された最終反転時刻から時系列データ保存部225に保存された全ての直近n回目の反転間隔を足した値を引いた時刻が、特定部分仕様に依存する実時間仕様の判定結果を求める際に参照する時刻、又は、時刻の区間内の最も過去の時刻よりも未来の時刻である場合、特定部分仕様についてメモリあふれを検出したものとして、ステップS311に進む。
実時間仕様判定部204は、上記以外の場合、本フローチャートの処理を終了する。
実時間仕様判定部204は、特定部分仕様についてメモリあふれを検出した場合、異常処理ポリシ保存部228を参照して、前記実時間仕様に対応する処理方針に従って処理する。
実時間仕様判定部204は、前記実時間仕様の判定結果を、前記実時間仕様に対応する処理方針に応じて設定する。
前記監視仕様IDを外部に出力する。
次計算仕様判定部202は、
上記のステップにおける特定部分仕様の判定結果と、判定結果保存部224に保存されている、特定部分仕様に対応する判定結果とを比較することにより、特定部分仕様の判定結果が、1つ前の周期における判定結果と比較して反転しているか否かを判定し、
判定結果が反転している場合、監視仕様保存部222を参照し、特定部分仕様に直接的に依存する部分仕様を、判定結果が変化し得る部分仕様として特定し、
特定部分仕様に直接的に依存する部分仕様を、計算対象保存部223に保存する。なお、次計算仕様判定部202は、前記部分仕様が既に計算対象保存部223に保存されている場合、前記部分仕様を重複して保存しない。
不変仕様判定部203は、特定部分仕様の演算子がandであるか否かを判定する。
不変仕様判定部203は、
演算子がandである場合、ステップS402に進み、
それ以外の場合、ステップS403に進む。
不変仕様判定部203は、演算子andの演算を行う。
不変仕様判定部203は、
特定部分仕様の入力である2の真理値が双方とも“True”である場合、特定部分仕様の判定結果を“True”とし、
それ以外の場合、特定部分仕様の判定結果を“False”とする。
不変仕様判定部203は、演算子orの演算を行う。
不変仕様判定部203は、
特定部分仕様の入力である2の真理値が双方とも“False”である場合、特定部分仕様の判定結果を“False”とし、
それ以外の場合、特定部分仕様の判定結果を“True”とする。
期限管理部205は、現在時刻が変化時刻以後である場合に、実時間仕様判定部204が変化時刻に対応する実時間仕様を判定すべきであると判定し、実時間仕様判定部204は、期限管理部205が判定すべきであると判定した実時間仕様を判定する。
実時間仕様判定部204は、次計算仕様判定部202が特定した部分仕様の内、実時間仕様を判定する。
本実施の形態に係る実行監視装置20は、ロボット及び電車の実行を監視することができる。具体的には、図2に示す実行監視装置20が監視仕様の判定に用いる信号を、これらの実行時に発生する信号に適宜置き換え、図3に示すような監視仕様を作成し、前記監視仕様をDSLを用いて表現すれば良い。
以上のように、本実施の形態によれば、Reteアルゴリズムをベースにした判定方法を用いることにより、判定結果が変化し得る部分仕様のみを判定する。そのため、本実施の形態に係る実行監視装置20は、監視仕様を効率的に判定することができる。
本実施の形態では、実行監視装置20の各機能をソフトウェアで実現する場合を説明した。しかし、変形例として、前記各機能は、ハードウェアで実現されても良い。
前述した実施の形態の任意の構成要素の変形、もしくは実施の形態において任意の構成要素の省略が可能である。
Claims (16)
- 時系列データを保存する時系列データ保存部と、
前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新する実時間仕様判定部と、
前記実時間仕様毎に前記実時間仕様の前記判定結果が変化する変化時刻を算出する変化時刻算出部と、
現在時刻が前記変化時刻以後である場合に、前記実時間仕様判定部が前記変化時刻に対応する前記実時間仕様を判定すべきであると判定する期限管理部と
を備え、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存し、前記期限管理部が判定すべきであると判定した前記実時間仕様を判定する実行監視装置。 - 前記実時間仕様の前記判定結果が変化した場合に、前記判定結果が変化した前記実時間仕様の前記判定結果に依存する、前記監視仕様が含む制約の一部である部分仕様を特定する次計算仕様判定部を備え、
前記実時間仕様判定部は、前記次計算仕様判定部が特定した前記部分仕様の内、前記実時間仕様を判定する請求項1に記載の実行監視装置。 - 前記次計算仕様判定部は、前記実時間仕様の前記判定結果が変化した場合に、前記監視仕様に対応したReteネットワークに基づいて、前記実時間仕様の前記判定結果に依存する前記部分仕様を特定する請求項2に記載の実行監視装置。
- 前記時系列データ保存部が、前記実時間仕様判定部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合の処理方針を保存する異常処理ポリシ保存部を備え、
前記実時間仕様判定部は、前記時系列データ保存部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、前記異常処理ポリシ保存部に保存された、前記実時間仕様に対応する前記処理方針に従って処理する請求項1から3のいずれか1項に記載の実行監視装置。 - 前記監視仕様と前記実時間仕様との関係性を保存する依存関係保存部と、
前記時系列データ保存部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、前記依存関係保存部を参照して前記実時間仕様に対応する前記監視仕様を特定し、前記監視仕様の情報を出力する異常出力部と
を備える請求項1から4のいずれか1項に記載の実行監視装置。 - 時系列データを保存する時系列データ保存部と、
前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新する実時間仕様判定部と、
前記実時間仕様の前記判定結果が変化した場合に、前記判定結果が変化した前記実時間仕様の前記判定結果に依存する、前記監視仕様が含む制約の一部である部分仕様を特定する次計算仕様判定部と
を備え、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存し、前記次計算仕様判定部が特定した前記部分仕様の内、前記実時間仕様を判定する実行監視装置。 - 時系列データを保存する時系列データ保存部と、
前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新する実時間仕様判定部と
を備え、
前記時系列データ保存部が、前記実時間仕様判定部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合の処理方針を保存する異常処理ポリシ保存部を備え、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存し、前記時系列データ保存部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、前記異常処理ポリシ保存部に保存された、前記実時間仕様に対応する前記処理方針に従って処理する実行監視装置。 - 時系列データを保存する時系列データ保存部と、
前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新する実時間仕様判定部と、
前記監視仕様と前記実時間仕様との関係性を保存する依存関係保存部と、
前記時系列データ保存部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、前記依存関係保存部を参照して前記実時間仕様に対応する前記監視仕様を特定し、前記監視仕様の情報を出力する異常出力部と
を備え、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存する実行監視装置。 - 時系列データ保存部が、時系列データを保存し、
実時間仕様判定部が、前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新し、
変化時刻算出部が、前記実時間仕様毎に前記実時間仕様の前記判定結果が変化する変化時刻を算出し、
期限管理部が、現在時刻が前記変化時刻以後である場合に、前記実時間仕様判定部が前記変化時刻に対応する前記実時間仕様を判定すべきであると判定し、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存し、前記期限管理部が判定すべきであると判定した前記実時間仕様を判定する実行監視方法。 - 時系列データ保存部が、時系列データを保存し、
実時間仕様判定部が、前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新し、
次計算仕様判定部が、前記実時間仕様の前記判定結果が変化した場合に、前記判定結果が変化した前記実時間仕様の前記判定結果に依存する、前記監視仕様が含む制約の一部である部分仕様を特定し、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存し、前記次計算仕様判定部が特定した前記部分仕様の内、前記実時間仕様を判定する実行監視方法。 - 時系列データ保存部が、時系列データを保存し、
実時間仕様判定部が、前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新し、
前記時系列データ保存部が備える異常処理ポリシ保存部が、前記実時間仕様判定部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合の処理方針を保存し、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存し、前記時系列データ保存部が前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、前記異常処理ポリシ保存部に保存された、前記実時間仕様に対応する前記処理方針に従って処理する実行監視方法。 - 時系列データ保存部が、時系列データを保存し、
実時間仕様判定部が、前記時系列データ保存部に保存された前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定し、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新し、
依存関係保存部が、前記監視仕様と前記実時間仕様との関係性を保存し、
前記時系列データ保存部が備える異常出力部が、前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、前記依存関係保存部を参照して前記実時間仕様に対応する前記監視仕様を特定し、前記監視仕様の情報を出力し、
前記実時間仕様判定部は、前記判定結果を前記実時間仕様判定部の実行前に予約されているメモリの領域に保存する実行監視方法。 - コンピュータに、
時系列データを保存させ、前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定させ、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新させ、
前記実時間仕様毎に前記実時間仕様の前記判定結果が変化する変化時刻を算出させ、現在時刻が前記変化時刻以後である場合に、前記変化時刻に対応する前記実時間仕様を判定すべきであると判定させ、
前記判定結果を、実行監視プログラムの実行前に予約されているメモリの領域に保存させ、判定すべきであると判定させた前記実時間仕様を判定させる実行監視プログラム。 - コンピュータに、
時系列データを保存させ、前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定させ、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新させ、
前記判定結果が変化した前記実時間仕様の前記判定結果に依存する、前記監視仕様が含む制約の一部である部分仕様を特定させ、
前記判定結果を、実行監視プログラムの実行前に予約されているメモリの領域に保存させ、
特定させた前記部分仕様の内、前記実時間仕様を判定させる実行監視プログラム。 - コンピュータに、
時系列データを保存させ、前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定させ、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新させ、
前記コンピュータが前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合の処理方針を保存させ、
前記判定結果を、実行監視プログラムの実行前に予約されているメモリの領域に保存させ、
前記コンピュータが前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、保存させた前記実時間仕様に対応する前記処理方針に従って処理させる実行監視プログラム。 - コンピュータに、
時系列データを保存させ、前記時系列データが、電子装置の実行時監視の監視仕様が含む制約の一部であり、実時間を使用する制約である実時間仕様を満たすか否かを判定させ、前記実時間仕様を満たすか否かを判定した結果である判定結果を更新させ、
前記監視仕様と前記実時間仕様との関係性を保存させ、
前記実時間仕様を判定する際に使用する全ての前記時系列データを保存していない場合に、保存させた前記監視仕様と前記実時間仕様との関係性を参照して前記実時間仕様に対応する前記監視仕様を特定させ、前記監視仕様の情報を出力させ、
前記判定結果を、実行監視プログラムの実行前に予約されているメモリの領域に保存させる実行監視プログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2019/016058 WO2020208828A1 (ja) | 2019-04-12 | 2019-04-12 | 実行監視装置、実行監視方法、及び、実行監視プログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP6664560B1 true JP6664560B1 (ja) | 2020-03-13 |
JPWO2020208828A1 JPWO2020208828A1 (ja) | 2021-05-06 |
Family
ID=70000322
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2019548495A Active JP6664560B1 (ja) | 2019-04-12 | 2019-04-12 | 実行監視装置、実行監視方法、及び、実行監視プログラム |
JP2021513627A Active JP6968310B2 (ja) | 2019-04-12 | 2020-04-06 | 実行監視装置、実行監視方法、及び、実行監視プログラム |
Family Applications After (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2021513627A Active JP6968310B2 (ja) | 2019-04-12 | 2020-04-06 | 実行監視装置、実行監視方法、及び、実行監視プログラム |
Country Status (5)
Country | Link |
---|---|
US (1) | US20210354710A1 (ja) |
JP (2) | JP6664560B1 (ja) |
CN (1) | CN113661483A (ja) |
DE (1) | DE112020001151T5 (ja) |
WO (2) | WO2020208828A1 (ja) |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2010243617A (ja) * | 2009-04-02 | 2010-10-28 | Casio Computer Co Ltd | 演奏ガイド装置およびプログラム |
WO2013145016A1 (ja) * | 2012-03-29 | 2013-10-03 | 富士通株式会社 | 判定装置、判定システム、判定方法および判定プログラム |
JP6625576B2 (ja) | 2017-02-13 | 2019-12-25 | キャッツ株式会社 | ルールベースシステム及びルールベース処理方法 |
US10580225B2 (en) * | 2017-03-31 | 2020-03-03 | Toyota Motor Engineering & Manufacturing North America, Inc. | Privacy-aware signal monitoring systems and methods |
-
2019
- 2019-04-12 WO PCT/JP2019/016058 patent/WO2020208828A1/ja active Application Filing
- 2019-04-12 JP JP2019548495A patent/JP6664560B1/ja active Active
-
2020
- 2020-04-06 CN CN202080026305.3A patent/CN113661483A/zh active Pending
- 2020-04-06 DE DE112020001151.8T patent/DE112020001151T5/de active Pending
- 2020-04-06 JP JP2021513627A patent/JP6968310B2/ja active Active
- 2020-04-06 WO PCT/JP2020/015547 patent/WO2020209226A1/ja active Application Filing
-
2021
- 2021-07-28 US US17/387,353 patent/US20210354710A1/en active Pending
Also Published As
Publication number | Publication date |
---|---|
DE112020001151T5 (de) | 2021-12-23 |
JP6968310B2 (ja) | 2021-11-17 |
CN113661483A (zh) | 2021-11-16 |
JPWO2020208828A1 (ja) | 2021-05-06 |
WO2020209226A1 (ja) | 2020-10-15 |
JPWO2020209226A1 (ja) | 2021-11-18 |
WO2020208828A1 (ja) | 2020-10-15 |
US20210354710A1 (en) | 2021-11-18 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Siegemund et al. | Towards ontology-driven requirements engineering | |
US10241852B2 (en) | Automated qualification of a safety critical system | |
Lambers et al. | Conflict detection for graph transformation with negative application conditions | |
CN108664241B (zh) | 一种将SysML模型进行仿真验证的方法 | |
Meyer et al. | Model checking duration calculus: A practical approach | |
JP6469730B2 (ja) | ソフトウェア検査装置 | |
CN112416369A (zh) | 一种面向异构混合环境的智能化部署方法 | |
US11593076B2 (en) | Method for merging architecture data | |
KR102114547B1 (ko) | 대상 프로그램에 포함된 대상 함수를 테스트하는 방법 및 장치 | |
JP6664560B1 (ja) | 実行監視装置、実行監視方法、及び、実行監視プログラム | |
CN111106953B (zh) | 一种异常根因分析的方法及装置 | |
Bressan et al. | A variability modeling and transformation approach for safety-critical systems | |
Murali et al. | A rigorous approach to combining use case modelling and accident scenarios | |
US20210183177A1 (en) | Method and apparatus for model-based analysis | |
JP5024252B2 (ja) | トレース情報取得装置、トレース情報取得プログラム、および、トレース情報取得方法 | |
Czepa et al. | Plausibility checking of formal business process specifications in linear temporal logic | |
Blouin et al. | A semi-automated approach for the co-refinement of requirements and architecture models | |
US10452592B1 (en) | Message bus-based streaming rules engine | |
Budde et al. | Analysis of non-Markovian repairable fault trees through rare event simulation | |
Liu et al. | Formal Verification on the Safety of Internet of Vehicles Based on TPN and Z | |
Krook et al. | Modeling and synthesis of the lane change function of an autonomous vehicle | |
AU2021287457B2 (en) | "Log Data Compliance" | |
Ruys et al. | First passage time analysis of stochastic process algebra using partial orders | |
CN110077234B (zh) | 一种电动车辆安全树更新方法和电动车辆 | |
CN113821531B (zh) | 融媒体多租户数据隔离方法、系统及设备 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20190905 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20190905 |
|
A871 | Explanation of circumstances concerning accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A871 Effective date: 20190905 |
|
A975 | Report on accelerated examination |
Free format text: JAPANESE INTERMEDIATE CODE: A971005 Effective date: 20190918 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20191008 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20191128 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20200121 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20200218 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6664560 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |