• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Development of compiler for real-time LOTOS programs with real-time multi-redezvous

Research Project

Project/Area Number 09650414
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field 情報通信工学
Research InstitutionOsaka University

Principal Investigator

HIGASHINO Teruo  Osaka University, Department of Informatics and Mathematical Science, Associate Professor) (Graduate School of Engineering Science, 大学院・基礎項工学研究科, 助教授 (80173144)

Co-Investigator(Kenkyū-buntansha) NAKATA Akio  Hiroshima City University, Department of Computer Science, Research Associate, 情報科学部, 助手 (60295839)
ABE Kota  Osaka City University, Media Center, Research Associate, 学術情報総合センター, 助手 (40291603)
OKANA Kozo  Osaka University, Department of Informatics and Mathematical Science, Research A, 基礎工学研究科, 助手 (70252632)
Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥2,000,000 (Direct Cost: ¥2,000,000)
Fiscal Year 1998: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 1997: ¥1,200,000 (Direct Cost: ¥1,200,000)
KeywordsE-LOTOS / compiler / FDT / Qos control / multimedia / realtime system / マルチメディアシステム / マルチスレッド機構 / マルチスレッド
Research Abstract

In this research, we define a subclass of E-LOTOS (called realtime LOTOS ) and develop a compiler for its specifications.The compiler first decomposes a given specification into multiple basic modules so that each module includes only event sequences with divergencesand iterations, then it maps each module to a realtime thread on our realtime thread library.Here, interactions between the threads are implemented with shared variables.To make the best effort for each thread to execute its timed events in time, all the running threads set their wake-up time and deadlines so that they are scheduled by EDF( Earliest Deadline First ) policy.We have also designed and implemented a mechanism to efficiently schedule timed multi-rendezvous between threads.To apply our compiler to multimedia system development, we have implemented primitives for audio/video processing and modified our compiler to support them in realtime LOTOS specifications.Through our experiment to develop several video playback applications, we have confirmed that from realtime LOTOS specifications in constraint oriented style (which makes the descriptions simple but introduces synchronization overhead in implementation), the compiler can generate as efficient object codes as to be used practically.

Report

(3 results)
  • 1998 Annual Research Report   Final Research Report Summary
  • 1997 Annual Research Report
  • Research Products

    (20 results)

All Other

All Publications (20 results)

  • [Publications] 安本,安倍,東野,他: "マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現" 情報処理学会論文誌. Vol.39-2. 283-292 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 北嶋,安本,東野,谷口: "Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit" 電子情報通信学会英論文誌. Vol.E81-A-4. 566-575 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 辰本,後藤,東野,他: "分散環境でのLOTOS仕様の実現とその評価" 情報処理学会論文誌. Vol.40-1. 333-342 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 安本,後藤,東野,他: "Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks" Proc.of Joint Int.Conf.on 10th Formal Description Techniques and 17th Protocol Specification,Testing,and Verification(FORTE/PSTV'97). 161-176 (1997)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 安倍,松浦,安本,東野: "Design and Implementation of an efficient I/O Method for a Real-time User Level Thread Library" Proc.of IEEE 5th Int.Workshop on Real-Time Computing Systems and Applications(RTCSA'98). 117-120 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 安本,北嶋,東野,谷口: "Hardware synthesis from protocol specifications in LOTOS" Proc.of Joint Int.Conf.on 11th Formal Description Techniques and 18th Protocol Specification,Testing,and Verification(FORTE/PSTV'98). 405-420 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Akira Kitajima, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit" Trans.of IEIDE. Vol.E81-A,No.4. 566-575 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Akira Kitajima, Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS" Trans.of IEIDE. Vol.E82-A,No.3, (to appear). 1999

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Keiichi Yasumoto, Kazuhiro Gotoh, Tasumoto, Teruo Higashino and Kenichi Taniguchi: "Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks" Proc.of FORTE/PSTV'97. 161-176 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Kato Abe, Tochio Matsuura, Keiichi Yasumoto and Teruo Higashino: "Design and Implementation of an efficient I/O Method for a Real-time User Level Thread Library" Proc.of RTCSA'98. 117-120 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Kiichi Yasumoto, Akira Kitajima, Teruo Higashino and Kenichi Taniguchi: "Hardware synthesis from protocol specifications in LOTOS" Proc.of FORTE/PSTV'98. 405-420 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] 安本,阿倍,東野,他: "マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現" 情報処理学会論文誌. Vol.39-2. 283-292 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 北嶋,安本,東野,谷口: "Method to Convert Concurrent EFSMs with Multi-Rendezvous into Synchronous Sequential Circuit" 電子情報通信学会英論文誌. Vol.E81-A-4. 566-575 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 辰本,後藤,東野,他: "分散環境でのLOTOS仕様の実現とその評価" 情報処理学会論文誌. Vol.40-1. 333-342 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] 北嶋,安本,東野,谷口: "Deriving Concurrent Synchronous EFSMs from Protocol Specification in LOTOS" 電子情報通信学会英論文誌(A). (採録決定).

    • Related Report
      1998 Annual Research Report
  • [Publications] 阿倍,松浦,安本,東野: "Design and Implementation of an efficient I/O Method for a Real-time User Level Thread Library" Proc. of IEEE 5th Int. Workshop on Real-Time Computing Systems and Applications (RTCSA‘98). 117-120 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 安本,北嶋,東野,谷口: "Hardware synthesis from protocol specification in LOTOS" Proc. of Joint Int. Conf. on 11th Formal Description Techniques and 18th Protocol Specification, Testing, and Verification (FORTE/PSTV‘98). 405-420 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] 安本, 安倍, 後藤, 東野, 松浦, 谷口: "マルチスレッド化された目的コードを生成するLOTOSコンパイラの実現" 情報処理学会論文誌. 39・2. 283-292 (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] 安本, 後藤, 辰本, 東野, 谷口: "Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks" Proc.of Int.Conf.on Formal Description Technique for Distributed Systems. 161-176 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 水野, 白鳥, 東野, 富樫: "Formal Description Techniques-FORTE/PSTV'97-" Champan & Hall, 550 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

Published: 1997-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi