時間データベースを用いた安全性分析

スポンサーリンク

概要

• 論文の詳細を見る

• 工場のシーケンス制御システム等のリアクティブシステムにおいてSQL3のような時間属性を表現可能なデータベースを用いた安全性分析について述べる. まず, 安全性分析のために, 時間以外の属性が必ずしも一致していないテーブル同士を合成し時間順に並べるという演算についての有用性を述べる. 次に, このようにしてアクション間の安全性分析を行う場合にチェックする性質について示す. また, アクション間の安全性分析を行う場合には, 時間の粒度が重要なファクタであることを示す. 時系列に並んだデータのグラフィカルな表現はユーザにとって理解しやすいため, データ解析により潜在的な故障の危険性を見つけようとする場合有用であり, このような機能を持つツールが必要であると考えられる.

• 社団法人電子情報通信学会の論文
• 2001-06-15

著者

• 小林 洋

  東海大学電子情報学部情報メディア学科

• 小林 洋

  東海大学電子情報学部

関連論文

• XMLを用いた時間制約条件によるロールベースアクセスコントロール(ディペンダブルソフトウェアとネットワーク及び一般)
• XMLを用いたアクセス制御とビジネス向け時間制約条件(XMLとセマンティックウェブとデータ知能学, セマンティックWebとソフトウェア工学, 一般)
• XML-Based Access Control and Temporal Constraints for Business (特集 「セマンティックWebとソフトウェア工学」および一般) -- (XMLとセマンティックウェブとデータ知能学)
• マルチエージェントシステムの基礎と応用 : 複雑系工学の計算パラダイム, 大内東,山本雅人,田村秀憲(著), マルチエージェントシステムの基礎と応用-複雑系工学の計算パラダイム-, コロナ社 (2002-04), A5判, 定価(本体2,800円+税)
• リアクティブシステムのシナリオチェックにかかわるソフトウェアパターン(信頼性,保全性,安全性)
• システム開発で対象とする安全性
• システム開発で対象とする安全性
• システム開発で対象とする安全性
• 4.4 ソフトウェア開発で対象とする安全性について(セッション4「安全」)
• 時間データベースを用いた安全性分析

スポンサーリンク