文献

J-GLOBAL ID：202002268025651029   整理番号：20A1865063

レジスタモニタの理論【JST・京大機械翻訳】

A Theory of Register Monitors

著者 (3件)： Ferrere Thomas (IST Austria) ,  Henzinger Thomas A. (IST Austria) ,  Sarac N. Ege (Sabanci University)
資料名： ACM Proceedings  (ACM Proceedings)
号： LICS ’18  ページ： 394-403  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： モニタのタスクは,実行時間で,反応システムの実行と,事象の観察されたシーケンスにおける安全違反の発生を,監視することである。有限状態モニタは広く研究されているが,実際には,監視ソフトウェアも非有界メモリの使用をしている。逐次事象間の命令の有界数のみを実行することができる整数値レジスタを備えたオートマトンのモデルを定義し,従って無限状態モニタの研究のための理論的基礎を形成できた。利用可能なレジスタの数kとレジスタ命令のタイプに従って,これらのレジスタモニタを分類した。レジスタマシンに対する計算可能性の理論とは対照的に,k≧1では,k+1対(命令セット<+1,=>)を持つモニタは,k対を持つモニタよりも厳密に表現できることを証明した。また,加算器モニタ(命令セット<1,+,=>)は,カウンターモニタよりも厳密に表現できるが,k=6に対して全ての計算可能な安全ω言語を監視するために完全であることを示した。リアルタイムモニタは,それが起こるとすぐに安全違反の発生を信号するのに必要である。カウンターモニタのための表現性階層は,リアルタイム監視装置に上る。次に,2加算器は実時間で3つのカウンターをシミュレートできないことを示した。最後に,不等式を持つ実時間加算器モニタが実時間Turingマシンとして表現できることを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 記憶装置 ,  不等式 ,  オートマトン ,  言語 ,  Turing機械 ,  加算器 ,  *レジスタ ,  *監視装置 ,  計算可能性 ,  ソフトウェア ,  反応系 ,  命令セット
準シソーラス用語： 実行時間 ,  リアルタイムモニタ ,  有界 , 【Automatic Indexing@JST】

分類 (1件)： ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (3件)： レジスタ ,  モニタ ,  理論