|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b50. 科学研究費助成事業研究成果報告書 >
2010年度 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/9790
|
| タイトル: | リアルタイムソフトウェアのコンポジショナルな処理モデルとその構造検証 |
| その他のタイトル: | Compositional models and its structural verification of real time software |
| 著者: | 小川, 瑞史 |
| 著者（別表記）: | Ogawa, Mizuhito |
| キーワード: | 仕様記述
仕様検証
リアルタイムソフトウェア
非同期処理
モデル検査 |
| 発行日: | 16-Jun-2011 |
| 抄録: | 本研究では、ソフトリアルタイムソフトウェア構造検証のモデル化の基礎として、プッシュダウンモデル検査の拡張・スケーラビリティ確保・およびそのツール実装を行った（雑誌論文1, 学会発表1～3）。さらにアクセス制御の非同期多段処理の実験・ケースタディとして、同期処理による限界を示し、web サーバにおけるセキュリティ制御やセキュリティプロトコルについて各個別なモデル化と検証手法を示した。（学会発表4～8）。 : Aiming compositional verification of soft real time software, as foundation of modeling, extensions, algorithms for scalability, and tool implementation of pushdown model checking are shown (Journal 1, Oral presentation 1～3). As an experiment and case studies of asynchronous multi stage processing, their modeling and formal verification methodology on security access control and protocols on a web server are investigated (Oral presentation 4～8). |
| 記述: | 基盤研究（Ｃ）
研究期間：2008～2010
課題番号：20500030
研究者番号：40362024
研究分野：計算機科学
科研費の分科・細目：情報学・ソフトウェア |
| 言語: | jpn |
| URI: | http://hdl.handle.net/10119/9790 |
| 出現コレクション: | 2010年度 (FY 2010)
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| 20500030seika.pdf | | 178Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
