Detail projektu

Optická síť národního výzkumu a její nové aplikace

Období řešení: 1. 1. 2004 – 31. 12. 2010

Typ projektu: grant

Kód: MSM6383917201

Agentura: Ministerstvo školství, mládeže a tělovýchovy ČR

Program: Výzkumná centra (2000-2004)

Název anglicky
Optická síť národního výzkumu a její nové aplikace
Typ
grant
Klíčová slova

IPv6 směrovač, Liberouter, monitorování síťového provozu, NetFlow,
programovatelný hardware, FPGA, jazyk VHDL, e-learning, medicínské aplikace,
virtuální prostředí pro spolupráci

Abstrakt

Pracovníci Fakulty informačních technologií Vysokého učení technického v Brně se
v rámci VZ Cesnet podílejí na řešení 4 výzkumných aktivit - programovatelný
hardware, podpora distančního vzdělávání, medicínské aplikace a virtuální
prostředí pro spolupráci. Klíčovou roli hrají v prvně zmíněné oblasti, která je
podrobněji charakterizována níže.

Programovatelný hardware
Obecným cílem aktivity je vývoj specializovaných síťových zařízení založených na
principu hardwarově softwarového kodesignu. Na straně hardwaru počítáme jak
s využitím stávajících karet série COMBO, tak i s vytvářením nových návrhů,
využívajících především výkonné součástky programovatelného hardwaru (FPGA, CPLD,
TCAM aj.). Díky jejich flexibilitě lze realizovat na stejném hardwaru i velmi
odlišné funkce pouhou výměnou příslušného mikrokódu. Významná část softwarového
vývoje bude proto zaměřena na programování mikrokódu v jazyce VHDL, budeme se
také zabývat systémovým a aplikačním softwarem potřebným pro jednotlivá zařízení.

Při vývoji síťových zařízení se vedle návrhu a implementace  zabýváme také
modelováním a verifikací jednotlivých částí systému i celého návrhu. Pro tyto
učely používáme nástroje pro model checking, např. IF, TReX, Uppaal a další.

Krátkodobé cíle jsou většinou navázány na (současnou či budoucí) účast
v projektech EU. V roce 2004 prokračujeme ve vývoji směrovače IPv6 (Liberouteru)
pro projekt 6NET, zařízení pro monitoring síťového provozu pro projekt SCAMPI a v
rámci projektu GN2 zahájíme vývoj samostatného kolektoru NetFlow. Také dokončíme
vývoj prototypu optického opakovače.

V dlouhodobé perspektivě je naším cílem vybudování kvalitního týmu složeného
z výzkumných pracovníků a studentů několika univerzit, CESNETu a případně
i dalších institucí. Tento tým by měl spolupracovat s ostatními výzkumnými
aktivitami CESNETu na vývoji nových zařízení, například v oblastech optických
technologií, multimédií, bezpečnosti, náročných výpočtů apod.

Řešitelé
Novotný Jiří – hlavní řešitel
Čejka Rudolf, Ing. (CVT)
Fučík Otto, doc. Dr. Ing. (UPSY)
Kořenek Jan, doc. Ing., Ph.D. (UPSY)
Kršek Přemysl, doc. Ing., Ph.D. (UTKO)
Martínek Tomáš, doc. Ing., Ph.D. (UPSY)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Pečenka Tomáš, Ing., Ph.D.
Smrčka Aleš, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (UPGM)
Publikace

2010

  • KAJAN, M.; KOŘENEK, J. Efficient Packet Classification Algorithm Based on Entropy. Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010. p. 11-12. ISBN: 978-1-4503-0379-8. Detail
  • KOŘENEK, J.; KOŠAŘ, V. NFA Split Architecture for Fast Regular Expression Matching. Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010. s. 1-2. ISBN: 978-1-4503-0379-8. Detail

2009

  • MARTÍNEK, T. Architektura sběrnice PCI, PCI-X a PCI Express. Sborník příspěvků 35. konference Europen. Plzeň: Česká společnost uživatelů otevřených systémů EurOpen.CZ, 2009. s. 37-50. ISBN: 978-80-86583-17-4. Detail

2008

  • SMRČKA, A.; VOJNAR, T. Verifying Parametrised Hardware Designs Via Counter Automata. Hardware and Software, Verification and Testing. Lecture Notes in Computer Science. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2008. p. 51-68. ISSN: 0302-9743. Detail

2007

  • DEDEK, T.; MAREK, T.; MARTÍNEK, T. High Level Abstraction Language as an Alternative to Embeded Processors for Internet Packet Processing in FPGA. 2007 International Conference on Field Programmable Logic and Applications. Amsterdam: IEEE Computer Society, 2007. p. 648-651. ISBN: 1-4244-1060-6. Detail
  • KOBIERSKÝ, P.; KOŘENEK, J.; HANK, A. Traffic Scanner. Příbram: CESNET, zájmové sdružení právnických osob, 2007. s. 55-67. ISBN: 978-80-239-9285-4. Detail
  • KOŘENEK, J.; KOBIERSKÝ, P. Intrusion Detection System Intended for Multigigabit Networks. 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems. Krakow: IEEE Computer Society, 2007. p. 361-364. ISBN: 978-1-4244-1161-0. Detail
  • KOŠEK, M.; KOŘENEK, J. FlowContext: Flexible Platform for Multigigabit Stateful Packet Processing. 2007 International Conference on Field Programmable Logic and Applications. Los Alamitos: IEEE Computer Society, 2007. p. 804-807. ISBN: 978-1-4244-1059-0. Detail
  • MARTÍNEK, T.; LEXA, M.; BECK, P.; FUČÍK, O. Automatic Generation of Circuits for Approximate String Matching. In 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems. Krakow: IEEE Computer Society, 2007. p. 203-208. ISBN: 1-4244-1161-0. Detail
  • MIKUŠEK, P. Použití přenosem spouštěných architektur pro návrh aplikačně-specifických procesorů. Proceedings of the 13th Conference STUDENT EEICT 2007. Volume 2. Brno: Vysoké učení technické v Brně, 2007. s. 234-236. ISBN: 80-214-3408-0. Detail
  • SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. In Formal Methods: Applications and Technology. Lecture Notes in Computer Science. Lecture Notes in Computer Science 4346. Bonn: Springer Verlag, 2007. p. 148-164. ISBN: 978-3-540-70951-0. ISSN: 0302-9743. Detail

2006

  • FAPŠO, M.; SCHWARZ, P.; SZŐKE, I.; SMRŽ, P.; SCHWARZ, M.; ČERNOCKÝ, J.; KARAFIÁT, M.; BURGET, L. Search Engine for Information Retrieval from Speech Records. Proceedings of the Third International Seminar on Computer Treatment of Slavic and East European Languages. Bratislava: 2006. p. 100-101. Detail
  • FAPŠO, M.; SMRŽ, P.; SCHWARZ, P.; SZŐKE, I.; SCHWARZ, M.; ČERNOCKÝ, J.; KARAFIÁT, M.; BURGET, L. Information Retrieval from Spoken Documents. Proceedings of the Seventh International Conference on Intelligent Text Processing and Computational Linguistics (CICLING 2006). Mexico City: Springer Verlag, 2006. p. 410-416. ISBN: 3-540-32205-1. Detail
  • MARTÍNEK, T.; KOŘENEK, J.; NOVOTNÝ, J. Network Monitoring Adaptor for 10Gbps Technology using FPGA. CESNET Conference 2006 Proceedings. Prague : CESNET, z. s. p. o.: CESNET National Research and Education Network, 2006. p. 143-151. ISBN: 978-80-239-6533-9. Detail
  • NOVÁČEK, V.; SMRŽ, P.; POMIKÁLEK, J. Text Mining for Semantic Relations as a Support Base of a Scientific Portal Generator. Proceedings of the 5th International Conference on Language Resources and Evaluation. Paris: European Language Resources Association, 2006. p. 1338-1343. ISBN: 2-9517408-2-4. Detail
  • SINOPALNIKOVÁ, A.; SMRŽ, P. Intelligent Dictionary Interfaces: Usability Evaluation of Access-Supporting Enhancements. Proceedings of the 5th International Conference on Language Resources and Evaluation. Paris: European Language Resources Association, 2006. p. 1-4. ISBN: 2-9517408-2-4. Detail
  • SINOPALNIKOVÁ, A.; SMRŽ, P. Knowing a Word vs. Accessing a Word: Wordnet and Word Association Norms as Interfaces to Electronic Dictionaries. Proceedings of the Third International WordNet Conference, GWC 2006. Brno: Masaryk University, 2006. p. 265-272. ISBN: 80-210-3915-9. Detail
  • SMRČKA, A. High-level Modeling, Analysis and Verification of Programmable Hardware Design. Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006. p. 93-94. ISBN: 3-902463-05-8. Detail
  • SMRČKA, A.; HLÁVKA, P.; ŘEHÁK, V.; ŠAFRÁNEK, D.; ŠIMEČEK, P.; VOJNAR, T. Formal Verification of the CRC Algorithm Properties. In MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: 2006. p. 55-62. ISBN: 80-214-3287-X. Detail
  • SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. Proceedings of FMICS 2006. Bonn: 2006. p. 140-155. Detail
  • SMRŽ, P. Automatické generování vědeckých portálů. Sborník příspěvků 5. ročníku konference Znalosti 2006. Ostrava: VŠB Technická univerzita Ostrava, 2006. s. 252-255. ISBN: 80-248-1001-8. Detail
  • SMRŽ, P.; KADLEC, V. How Many Dots Are Really Needed for Head-Driven Chart Parsing?. SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer Verlag, 2006. p. 483-492. ISBN: 3-540-31198-X. Detail
  • SMRŽ, P.; NOVÁČEK, V. Empirical Merging of Ontologies A Proposal of Universal Uncertainty Representation Framework. The Semantic Web: Research and Applications. Lecture notes in Computer Science 4011/2006 - Proceedings of ESWC'06 - the 3rd European Semantic Web Conference. Berlin: Springer Verlag, 2006. p. 65-79. ISBN: 3-540-34544-2. Detail
  • SMRŽ, P.; NOVÁČEK, V. Ontology Acquisition for Automatic Building of Scientific Portals. SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer Verlag, 2006. p. 493-500. ISBN: 3-540-31198-X. Detail

2005

  • FAPŠO, M.; SCHWARZ, P.; SZŐKE, I.; ČERNOCKÝ, J.; SMRŽ, P.; BURGET, L.; KARAFIÁT, M. Search Engine for Information Retrieval from Multi-modal Records. Edinburgh: 2005. Detail
  • FAPŠO, M.; SMRŽ, P.; SCHWARZ, P.; SZŐKE, I.; BURGET, L.; KARAFIÁT, M.; ČERNOCKÝ, J. Systém pre efektívne vyhľadávanie v rečových databázach. Sborník databázové konference DATAKON 2005. Brno: Masaryk University, 2005. s. 323-333. ISBN: 80-210-3813-6. Detail
  • HLÁVKA, P.; KRATOCHVÍLA, T.; ŘEHÁK, V.; ŠAFRÁNEK, D.; ŠIMEČEK, P.; VOJNAR, T. CRC64 Algorithm Analysis and Verification. Brno: CESNET National Research and Education Network, 2005. Detail
  • KOŘENEK, J. Rychlé vyhledávání regulárních výrazů s využitím FPGA. Sborník příspěvků ze semináře Počítačové Architektury a Diagnostika. Praha: Fakulta elektrotechniky ČVUT, 2005. s. 1-6. Detail
  • MARTÍNEK, T. Analýza datových toků s využitím sebe-rekonfigurovatelných automatů. Sborník příspěvků ze semináře Počítačové Architektury a Diagnostika. Praha: Fakulta elektrotechniky ČVUT, 2005. s. 119-124. ISBN: 80-01-03298-1. Detail
  • MARTÍNEK, T.; ZEMČÍK, P.; KOŘENEK, J. FPGA-Based Platform for Network Applications. Proc. of 8th IEEE Design and Diagnostic of Electronic Circuits and Systems Workshop. Sopron: University of West Hungary, 2005. p. 194-197. ISBN: 963-9364-48-7. Detail
  • MATOUŠEK, P.; SMRČKA, A.; VOJNAR, T. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/2005. Berlin: Springer Verlag, 2005. p. 371-375. ISBN: 978-3-540-29105-3. ISSN: 0302-9743. Detail
  • MIKŠÍK, D.; PITNER, T.; SMRŽ, P. Systémy řízení výuky - adaptace, integrace a použití na MU a VUT v Brně. EMTECH - Education, media, technology. Praha: České vysoké učení technické, 2005. s. 18-18. ISBN: 80-01-03336-8. Detail
  • MIKUŠEK, P. Návrh a implementace jednotky pro analýzu paketů. Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Vysoké učení technické v Brně, 2005. s. 145-148. ISBN: 80-214-2888-0. Detail
  • SMRČKA, A., MATOUŠEK, P., VOJNAR, T. High-level Modelling, Analysis, and Verification on FPGA-based Hardware Design. Brno: CESNET National Research and Education Network, 2005. Detail
  • SMRŽ, P.; FAPŠO, M. Vyhledávání v záznamech přednášek. Sborník semináře Technologie pro e-vzdělávání. Praha: České vysoké učení technické, 2005. s. 21-26. ISBN: 80-01-03274-4. Detail
  • SMRŽ, P.; PITNER, T.; GREGAR, T. Technologie zpracování přirozeného jazyka pro elektronickou podporu výuky. Sborník konference Informatika XVI. Brno: Konvoj, 2005. s. 168-175. ISBN: 80-7302-083-1. Detail

2004

  • ANTOŠ, D.; KOŘENEK, J. Hardware Router's Lookup Machine and its Formal Verification. Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: University of Haute Alsace, 2004. p. 1002-1007. ISBN: 0-86341-325-0. Detail
  • ANTOŠ, D.; KOŘENEK, J. String Matching for IPv6 Routers. SOFSEM 2004: Theory and Practice of Computer Science. Praha: CESNET National Research and Education Network, 2004. p. 205-210. ISBN: 80-86732-19-3. Detail
  • MARTÍNEK, T.; KOŘENEK, J.; NOVOTNÝ, J. Passive network monitoring adapter intended for 10Gbps technology. Sborník příspěvků z XXV. konference Europen. Plzeň: Czech Open Systems User's Group, 2004. p. 55-63. ISBN: 80-86583-07-4. Detail

2003

  • ANTOŠ, D.; KOŘENEK, J.; MINAŘÍKOVÁ, K.; ŘEHÁK, V. Packet header matching in Combo6 IPv6 router. Brno: CESNET, 2003. p. 0 ( p.) Detail

2002

  • KOŘENEK, J. Decomposition for parallel parsing. Proceedings of 8th conference and competition STUDENT EEICT 2002. Brno: Brno University of Technology, 2002. p. 186-188. ISBN: 80-214-2114-2. Detail
Nahoru