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

Hardware Synthesis of Communication Protocols in Real-Time LOTOS Language

Research Project

Project/Area Number 11650379
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

HIGASHINO Teruo  Graduate School of Eng.Sci. Osaka University Professor, 大学院・基礎工学研究科, 教授 (80173144)

Co-Investigator(Kenkyū-buntansha) OKANO Kozo  Graduate School of Eng.Sci.Osaka University Assis.Prof., 大学院・基礎工学研究科, 講師 (70252632)
KITAMICHI Junji  Cybermedia Center Osaka University Assis.Prof., サイバーメディアセンター, 講師 (20234271)
YASUMOTO Keiichi  Shiga Univ.Fac.Economics Osaka University Assoc.Prof., 経済学部, 助教授 (40273396)
NAKATA Akio  Graduate School of Eng.Sci.Osaka University Res. Assis., 大学院・基礎工学研究科, 助手 (60295839)
KITAJIMA Akira  Graduate School of Eng.Sci.Osaka University Res. Assis., 大学院・基礎工学研究科, 助手 (00304030)
船曳 信生  大阪大学, 大学院・基礎工学研究科, 助教授 (70263225)
Project Period (FY) 1999 – 2000
Project Status Completed (Fiscal Year 2000)
Budget Amount *help
¥2,900,000 (Direct Cost: ¥2,900,000)
Fiscal Year 2000: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 1999: ¥1,900,000 (Direct Cost: ¥1,900,000)
KeywordsLOTOS / Hardware Synthesis / Real-Time Systems / Concurrent Systems / FDTs / Communication Protocols / VHDL / Scheduling / 形式記述技法 / ハードウェア高位合成 / レジスタ転送レベル
Research Abstract

This research proposes a concurrent periodic EFSMs model and a technique to synthesize hardware circuits from specifications of real-time systems described in Real-Time LOTOS language. In the proposed model, data exchange by synchronous execution of the same events in multiple EFSMs can be specified as multi-way synchronization in LOTOS.The executable time range of each event can be given as a logical conjunction of linear inequalities of the execution time of its preceding events. Since each EFSM has some branches and some combination of branches of those EFSMs may not be executable because of their timing constraints, the proposed synthesis technique finds only executable combination of branches from a given specification and generates a scheduler for event sequences in each executable combination of branches. We have developed a tool to generate the corresponding RTL-level VHDL specification from a given specification, and generated circuits from some specifications such as a video playback chip. From those experiments, we have confirmed that the performance and size of the generated circuits are reasonable for practical use.

Report

(3 results)
  • 2000 Annual Research Report   Final Research Report Summary
  • 1999 Annual Research Report
  • Research Products

    (23 results)

All Other

All Publications (23 results)

  • [Publications] 安本慶一,東野輝夫,谷口健一: "A compiler to implement LOTOS specifications on distributed environments"The International Journal of Computer and Telecommunications Networking (Computer Networks). (採録決定). (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 片桐久晶,桐村昌行,安本慶一,中田明夫,東野輝夫,谷口健一: "同期通信可能な周期EFSM群のハードウェア構成法"情報処理学会論文誌. 42・3(掲載予定). (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 片桐久晶,安本慶一,北嶋暁,東野輝夫,谷口健一: "Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization"Proceedings of the 37th Design Automation Conference (DAC-2000). 762-767 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 寺島芳樹,安本慶一,東野輝夫,安倍広多,松浦敏雄,谷口健一: "Integration of QoS Guarantees into SMIL and its Flexible Implementation"Proceedings of Eighth International Workshop on Quality of Service (IWQoS 2000). 164-166 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 片桐久晶,桐村昌行,安本慶一,東野輝夫,谷口健一: "Hardware Implementation of Concurrent Periodic EFSMs"Proc. Joint Int. Conf. on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification. 285-300 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 山口弘純,Khaled El-Fakih,Gregor von Bochmann,東野輝夫: "A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources"Proc. of International Conference on Software Engineering Applied to Networking and Parallel/Distributed Computing. 19-26 (2000)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] K.Yasumoto, T.Higashino and K.Taniguchi: "A compiler to implement LOTOS specifications on distributed environments"The International Journal of Computer and Telecommunications Networking (Computer Networks). (accepted, to appear). (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.Katagiri, K.Yasumoto, A.Kitajima, T.Higashino and K.Taniguchi: "Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization"Proceedings of the 37th Design Automation Conference. (DAC-2000). 762-767 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] Y.Terashima, K.Yasumoto, T.Higashino, K.Abe, T.Matsuura and K.Taniguchi: "Integration of QoS Guarantees into SMIL and its Flexible Implementation"Proceedings of Eighth International Workshop on Quality of Service. (IWQoS 2000). 164-166 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.Katagiri, M.Kirimura, K.Yasumoto, T.Higashino and K.Taniguchi: "Hardware Implementation of Concurrent Periodic EFSMs"Proc.IFIP Joint International Conference on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification. 285-300 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] H.Yamaguchi, K.El-Fakih, G.von Bochmann and T.Higashino: "A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources"Proc.of International Conference on Software Engineering Applied to Networking and Parallel, Distributed Computing. 19-26 (2000)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2000 Final Research Report Summary
  • [Publications] 安本慶一,東野輝夫,谷口健一: "A compiler to implement LOTOS specifications on distributed environments"The International Journal of Computer and Telecommunications Networking (Computer Networks). (採録決定)(未定). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 片桐久晶,桐村昌行,安本慶一,中田明夫,東野輝夫,谷口健一: "同期通信可能な周期EFSM群のハードウェア構成法"情報処理学会論文誌. 42・3(掲載予定)(未定). (2001)

    • Related Report
      2000 Annual Research Report
  • [Publications] 片桐久晶,安本慶一,北嶋暁,東野輝夫,谷口健一: "Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization"Proceedings of the 37th Design Automation Conference (DAC-2000). 762-767 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 寺島芳樹,安本慶一,東野輝夫,安倍広多,松浦敏雄,谷口健一: "Integration of QoS Guarantees into SMIL and its Flexible Implementation"Proceedings of Eighth International Workshop on Quality of Service (IWQoS 2000). 164-166 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 片桐久晶,桐村昌行,安本慶一,東野輝夫,谷口健一: "Hardware Implementation of Concurrent Periodic EFSMs"Proc.Joint Int.Conf.on 13th Formal Description Techniques and 20th Protocol Specification, Testing, and Verification. 285-300 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 山口弘純,Khaled El-Fakih,Gregor von Bochmann,東野輝夫: "A Petri Net Based Method for Deriving Distributed Specification with Optimal Allocation of Resources"Proc.of International Conference on Software Engineering Applied to Networking and Parallel/Distributed Computing. 19-26 (2000)

    • Related Report
      2000 Annual Research Report
  • [Publications] 北嶋,安本,東野,谷口: "Deriving Concurrent Synchronous EFSMs from Protocol Specifications in LOTOS"電子情報通信学会英論文誌(A). E82-A-4. 487-494 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 辰本,安倍,安本,東野,松浦,山口,谷口: "時間拡張 LOTOS コンパイラの作成とマルチメディアアプリケーションへの応用"情報処理学会論文誌. 41-2. 424-434 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 片桐,北嶋,安本,東野,谷口: "LOTOS で記述されたプロトコルの VHDL による実現とその評価"情報処理学会DICOMOシンポジウム論文集. 31-36 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 中田,服部,東野,谷口: "時間制約と入出力データに関する条件判定が同時に記述できるオートマトンモデルとその双模倣等価性検証法"情報処理学会DPワークショプ. 37-42 (1999)

    • Related Report
      1999 Annual Research Report
  • [Publications] 片桐,安本,東野,谷口: "Hardware Implementation of Communication Protocols modeled by Concurrent EFSMs with Multi-way Synchronization"Proceediogs of the 37th ACM/IEEE Design Automation Conference. 37(掲載予定). (2000)

    • Related Report
      1999 Annual Research Report
  • [Publications] 桐村,片桐,安本,東野,谷口: "ある時間周期で動作する並行 EFSM 群のハードウェア化の一手法"情報処理学会DICOMOシンポジウム論文集. (掲載予定). (2000)

    • Related Report
      1999 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi