UMLと時間オートマトンを用いたソフトリアルタイムシステムの設計解析手法

• 坂倉, 賢昭

• 山根, 智

Bibliographic Information

Other Title

• UML ト ジカン オートマトン オ モチイタ ソフト リアルタイム システム ノ セッケイ カイセキ シュホウ
• The Design Verification Technique of a Soft Real-time System Using UML and Timed Automata
• 分析・設計技法

Abstract

多くの場面で用いられているリアルタイムシステムの中でも，近年，デッドラインに厳密でないソフトリアルタイムシステムが重要視されてきている．そこで，本研究では，ソフトリアルタイムシステムのUML での表記法を示し，そこからタスク構造化を行い，時間オートマトンに変換し，システムの性能を形式的に解析する手法を提案する．

Recently, in the real-time systems used in many scenes, soft real-time systems, which are not strict by the deadline, are also important in recent years. So, in this paper, we show the notations in UML of soft real-time systems, and we design task structures from UML, also they are transformed into timed automata. Finally we formally propose the techniques for analyzing the performance of systems.

Journal

• 情報処理学会論文誌

  情報処理学会論文誌 48 (9), 3266-3280, 2007-09-15

  東京 : 情報処理学会

Keywords

• 論文

Details

• CRID: 1050564287835841664
• NII Article ID: 110006423003
• NII Book ID: AN00116647
• ISSN: 18827764
• ISSN: 03875806
• NDL BIB ID: 8952118
• Web Site: http://id.nii.ac.jp/1001/00009846/
• Web Site: http://id.ndl.go.jp/bib/8952118
• Web Site: https://ndlsearch.ndl.go.jp/books/R000000004-I8952118
• Text Lang: ja
• Article Type: journal article
• Data Source:
  • IRDB
  • NDL
  • CiNii Articles
  • KAKEN