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

Hardware Synthesis of High-speed Network Monitors

Research Project

Project/Area Number 13650409
Research Category

Grant-in-Aid for Scientific Research (C)

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

Principal Investigator

HIGASHINO Teruo  Grad. School Info. Sci. Tech. Professor, 大学院・基礎工学研究科, 教授 (80173144)

Co-Investigator(Kenkyū-buntansha) NAKATA Akio  Grad. School Info. Sci. Assoc. Prof., 大学院・情報科学研究科, 助教授 (60295839)
YASUMOTO Eeiichi  Nara. Inst. Sci. Tech. Assoc. Prof., 情報科学研究科, 助教授 (40273396)
FUNABIKI Nobuo  Okayama Univ., Fac. Eng. Professor, 工学部, 教授 (70263225)
UMEDU Takaaki  Grad. School Info. Sci. Assis. Prof., 大学院・情報科学研究科, 助手 (10346174)
YAMAGUCHI Hirozumi  Grad. School Info. Sci. Assis. Prof., 大学院・情報科学研究科, 助手 (80314409)
北道 淳司  大阪大学, サイバーメディアセンタ, 講師 (20234271)
Project Period (FY) 2001 – 2002
Project Status Completed (Fiscal Year 2002)
Budget Amount *help
¥2,700,000 (Direct Cost: ¥2,700,000)
Fiscal Year 2002: ¥1,000,000 (Direct Cost: ¥1,000,000)
Fiscal Year 2001: ¥1,700,000 (Direct Cost: ¥1,700,000)
KeywordsNetwork Monitor / Network Management / Hardware Synthesis / Concurrent Systems / VHDL / Communication Protocols / Reliability / Multi-rendezvous
Research Abstract

Due to recent progress of the Internet, We need high-speed network monitors which can observe millions of packets per second. This research proposes a technique to synthesize hardware circuits from formal specifications of high-Speed network monitors described in LOTOS language.In the proposed method, a given network monitor is modeled as concurrent EFSMs, and data exchange among them is specified using multi-rendezvous in LOTOS. Depending on monitoring items and network speeds,We must derive different hardware circuits. For such parameter values, the proposed method can automatically select suitable hardware modules and adjust parameter values of the derived hardware component. We have developed a tool to generate the corresponding RT-level VHDL Specification from a given specification, and synthesize an FPGA circuit from the derived VHDL description. From our experiments, We have confirmed that the generated circuits have enough speeds for monitoring packets in Gigabit Ethernet.

Report

(3 results)
  • 2002 Annual Research Report   Final Research Report Summary
  • 2001 Annual Research Report
  • Research Products

    (20 results)

All Other

All Publications (20 results)

  • [Publications] 片桐, 桐村, 安本, 中田, 東野, 谷口: "同期通信可能な周期EFSM群のハードウェア構成法"情報処理学会論文誌. 42・3. 542-551 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Yasumoto, Higashino, Taniguchi: "A compiler to implement LOTOS specifications in distributed environments"The International Journal of Computer and Telecommunications Networking (Computer Networks). 36・2-3. 291-310 (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Higashino, Yamaguchi, Yasumoto, Nakata: "Perspectives in Developing Distributed Cooperative Systems"2nd Int. Conf. on Soft. Eng., Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'2001). (招待講演論文). xi-xix (2001)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Kirimura, Takamoto, Mori, Yasumoto, Nakata, Higashino: "Design and Implementation of FPGA Circuits for High Speed Network Monitors"12th Int. Conf. on Field Programmable Logic and Applications (FPL 2002). LNCS 2438. 393-403 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Yasumoto, Umedu, Yamaguchi, Nakata, Higashino: "Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS"The International Journal of Computer and Telecommunications Networking (Computer Networks). 40・5. 45-67 (2002)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] 桐村, 高本, 森, 安本, 中田, 東野: "高速ネットワーク向けネットワークモニタ回路の設計と実装"情報処理学会論文誌. 43・6(採録決定). (2003)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Keiichi Yasumoto, Teruo Higashino and Kenichi Taniguchi: "A compiler to implement LOTOS specifications in distributed environments"Computer Networks. Vol.36, No.2-3. 291-310 (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Teruo Higashino, Hirozumi Yamaguchi, Akio Nakata and Keiichi Yasumoto: "Perspectives in Developing Distributed Cooperative Systems (Keynote Speech/Invited Paper)"Proceedings of 2nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing. xi-xix (2001)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Masayuki Kirimura, Yoshifumi Takamoto, Takanori Mori, Keiichi Yasumoto, Akio Nakata and Teruo Higashino: "Design and Implementation of FPGA Circuits for High Speed Network Monitors"Proceedings of the 12th International Conference on Field Programmable Logic and Applications (FPL 2002), Lecture Notes in Computer Science. Vol.2438. 393-403 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] Keiichi Yasumoto, Takaaki Umedu, Hirozumi Yamaguchi, Akio Nakata and Teruo Higashino: "Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS"Computer Networks. Vol.40, No.5. 639-663 (2002)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2002 Final Research Report Summary
  • [Publications] 片桐, 桐村, 安本, 中田, 東野, 谷口: "同期通信可能な周期EFSM群のハードウェア構成法"情報処理学会論文誌. 42・3. 542-551 (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Yasumoto, Higashino, Taniguchi: "A compiler to implement LOTOS specifications in distributed environments"The International Journal of Computer and Telecommunications Networking (Computer Networks). 36・2-3. 291-310 (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Higashino, yamaguchi, Yasumoto, Nakata: "Perspectives in Developing Distributed Cooperative Systems"2nd Int. Conf. on Soft. Eng., Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'2001). (招待講演論文). Xi-XiX (2001)

    • Related Report
      2002 Annual Research Report
  • [Publications] Kirimura, Takamoto, Mori, Yasumoto, Nakata, Higashino: "Design and Implementation of FPGA Circuits for High Speed Network Monitors"12th Int. Conf. on Field Programmable Logic and Applications (FPL 2002). LNCS2438. 393-403 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] Yasumoto, Umedu, Yamaguchi, Nakata, Higashino: "Protocol Animation based on Event-driven Visualization Scenarios in Real-time LOTOS"The International Journal of Computer and Telecommunications Networking (Computer Networks). 40・5. 45-67 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 森, 中田, 東野: "並行周期EFSMに対するパラメトリックモデル検査手法"電子情報通信学会論文誌 D-I. J86-D-I・2. 75-87 (2003)

    • Related Report
      2002 Annual Research Report
  • [Publications] 片桐, 桐村, 安本, 中田, 東野, 谷口: "同期通信可能な周期EFSM群のハードウェア構成法"情報処理学会論文誌. 42・3. 542-551 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Yasumoto, Higashino, Taniguchi: "A compiler to implement LOTOS specifications in distributed environments"The International Journal of Computer and Telecommunications Networking(Computer Networks). 36・2-3. 291-310 (2001)

    • Related Report
      2001 Annual Research Report
  • [Publications] Higashino, yamaguchi, Yasumoto, Nakata: "Perspectives in Developing Distributed Cooperative Systems"2nd Int. Conf. on Software Eng., Artificial Intelligence Networking & Parallel/Distributed Computing(SNPD'2001). (招待講演論文). xi-xix (2002)

    • Related Report
      2001 Annual Research Report
  • [Publications] 桐村, 高本, 安本, 中田, 東野: "並行同期EFSM群を用いたバックボーン向けネットワークモニタ回路の実装と評価"Proceedings of Internet Conference 2001 (IC2001). (2001)

    • Related Report
      2001 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi