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

English title

Type

grant

Keywords

IPv6 router, Liberouter, network traffic monitoring, NetFlow, Programmable hardware, FPGA, VHDL language, e-learning, medical applications, virtual collaboration

Abstract

Members of the Faculty of Information Technology, Brno University of Technology, take part in the Cesnet Research Plan, namely in 4 research activities - programmable hardware, distance education support, medical applications and virtual collaborative environment. We play a key role especially in the first domain which is described below.

Programmable hardware

The general aim of this activity is the development of specialised network devices based on the principle of hardware-software codesign. On the hardware side, we plan both to reuse the existing COMBO family of cards and also to create new designs utilising primarily high-performance programmable hardware components (FPGA, CPLD, TCAM etc.). Thanks to their flexibility, very different functions can be realised on the same hardware just by changing the appropriate microcode. A significant part of software development efforts will thus be spent on programming the microcode in the VHDL language, but we will also address the system and application software necessary for each particular device.

Besides design and development of the devices we use modern approches of modelling and verification to prove functionality of the systems. We use model checkers IF, TReX, Uppaal and others to simulate and verify certain properties of the system.

Our short-term goals are mostly related to our (ongoing or future) participation in EU projects. In 2004 we will continue the development of an IPv6 router (Liberouter) for the 6NET project, a traffic monitoring device for the SCAMPI project and start the development of a stand-alone NetFlow collector in the frame of the GN2 project. Also, we will finish a prototype of an optical repeater.

In a longer term, our goal is to build a sophisticated team consisting of researchers and students from several universities, CESNET and possibly other institutions. This team will cooperate closely with other CESNET research activities on the development of new devices, for example in the areas of optical technology, multimedia, security, large-scale computation etc.

Team members

Novotný Jiří – research leader
Čejka Rudolf, Ing. (CVT)
Fučík Otto, doc. Dr. Ing. (DCSY)
Kořenek Jan, doc. Ing., Ph.D. (DCSY)
Kršek Přemysl, doc. Ing., Ph.D. (UTKO)
Martínek Tomáš, doc. Ing., Ph.D. (DCSY)
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Pečenka Tomáš, Ing., Ph.D.
Smrčka Aleš, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Zemčík Pavel, prof. Dr. Ing., dr. h. c. (DCGM)

Publications

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. Architektura NFA Split pro rychlé hledání regulárních výrazů. 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

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
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.; 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.; 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. p. 0-0. 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
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
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