分散環境実時間アプリケーション開発支援のための Timeliness QoS 一貫性検証系および時間制御コード生成系の実装  [in Japanese] A Timeliness QoS Consistency Checker and a Timing Control Code Generator for Development of Real-time Applications in Distributed Environments  [in Japanese]

Access this Article

Search this Article

Author(s)

    • 牧寺 彩 MAKIDERA Aya
    • 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University
    • 岡野 浩三 OKANO Kozo
    • 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University

Abstract

著者らの研究グループでは,分散実時間アプリケーションにおけるTimeliness QoS一貫性を検証する手法,さらに,その保証されたTimeliness QoSを満たす時間オートマトンから時間制約を満たしたプログラムコードを自動生成する手法を提案している.本稿では,提案手法に基づいた検証系および導出系の実装,さらに例題に対する適用結果について述べる.簡単なビデオ会議システムに適用した結果,それぞれ数秒で判定および導出が出来ることがわかった.

Our research group has proposed a technique of checking Timeliness QoS consistency and that of generating codes from timed automata those have already been conformance checked for real-time applications in distributed environments. In this paper, we describe the implementations of them. Applying them to a simple video conference system example finds that both of them perform the tasks in a few seconds.

Journal

  • Technical report of IEICE. SS

    Technical report of IEICE. SS 104(243), 19-24, 2004-07-27

    The Institute of Electronics, Information and Communication Engineers

References:  10

Cited by:  2

Codes

  • NII Article ID (NAID)
    110003276723
  • NII NACSIS-CAT ID (NCID)
    AN10013287
  • Text Lang
    JPN
  • Article Type
    Journal Article
  • ISSN
    09135685
  • NDL Article ID
    7090645
  • NDL Source Classification
    ZN33(科学技術--電気工学・電気機械工業--電子工学・電気通信)
  • NDL Call No.
    Z16-940
  • Data Source
    CJP  CJPref  NDL  NII-ELS  IR 
Page Top