Prof. Ing. Tomáš Vojnar, Ph.D.

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

Czech title:Optická síť národního výzkumu a její nové aplikace
Reseach leader:Novotný Jiří (UVT MUNI)
Team leaders:Čejka Rudolf, Fučík Otto, Kořenek Jan, Kršek Přemysl, Martínek Tomáš, Matoušek Petr, Pečenka Tomáš, Smrčka Aleš, Vojnar Tomáš, Zemčík Pavel
Agency:"Výzkumné záměry" MŠMT
Code:MSM6383917201
Start:2004-01-01
End:2010-12-31
Keywords:IPv6 router, Liberouter, network traffic monitoring, NetFlow, Programmable hardware, FPGA, VHDL language, e-learning, medical applications, virtual collaboration
Annotation:
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.

Publications

2011BARTOŇ Radek, KRŠEK Přemysl, ŠPANĚL Michal, ŠVUB Miroslav, ŠTANCL Vít and VAĎURA Jiří. Virtual Collaborative Environment for Radiological 3D Consultations. In: 5th Cairo International Biomechanical Engineering Conference. Cairo, 2011, pp. 50-54. ISBN 978-1-4244-7169-0.
2010KAJAN Michal and KOŘENEK Jan. Efficient packet classification algorithm based on entropy. In: Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010, pp. 11-12. ISBN 978-1-4503-0379-8.
 KOŘENEK Jan and KOŠAŘ Vlastimil. NFA Split Architecture for Fast Regular Expression Matching. In: Proceedings of the 6th ACM/IEEE Symposium on Architectures for Networking and Communications Systems. La Jolla: Association for Computing Machinery, 2010, p. 2. ISBN 978-1-4503-0379-8.
 MARTÍNEK Tomáš and ŽÁDNÍK Martin. Precise Timestamp Generation Module and its Applications in Flow Monitoring. Networking Studies IV, Selected Technical Reports. Praha: CESNET National Research and Education Network, 2010, pp. 45-56. ISBN 978-80-904173-8-0.
 ŽÁDNÍK Martin. Flow Measurement Extension for Application Identification. Networking Studies IV, Selected Technical Reports. Praha: CESNET National Research and Education Network, 2010, pp. 57-70. ISBN 978-80-904173-8-0.
2009MARTÍNEK Tomáš. Architektura sběrnice PCI, PCI-X a PCI Express. In: Sborník příspěvků 35. konference Europen. Plzeň: Czech Open Systems User's Group, 2009, pp. 37-50. ISBN 978-80-86583-17-4.
2008SMRČKA Aleš and VOJNAR Tomáš. Verifying Parametrised Hardware Designs Via Counter Automata. In: Hardware and Software, Verification and Testing. Heidelberg: Springer Verlag, 2008, pp. 51-68. ISSN 0302-9743.
2007DEDEK Tomáš, MAREK Tomáš and MARTÍNEK Tomáš. High Level Abstraction Language as an Alternative to Embeded Processors for Internet Packet Processing in FPGA. In: 2007 International Conference on Field Programmable Logic and Applications. Amsterdam: IEEE Computer Society, 2007, pp. 648-651. ISBN 1-4244-1060-6.
 KOBIERSKÝ Petr, KOŘENEK Jan and HANK Andrej. Traffic Scanner. Příbram: CESNET National Research and Education Network, 2007. ISBN 978-80-239-9285-4.
 KOŠEK Martin and KOŘENEK Jan. FLOWCONTEXT: Flexible Platform for Multigigabit Stateful Packet Processing. In: 2007 International Conference on Field Programmable Logic and Applications. Los Alamitos: IEEE Computer Society, 2007, pp. 804-807. ISBN 978-1-4244-1059-0.
 KOŘENEK Jan and KOBIERSKÝ Petr. Intrusion Detection System Intended for Multigigabit Networks. In: 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems. Krakow: IEEE Computer Society, 2007, pp. 361-364. ISBN 978-1-4244-1161-0.
 MARTÍNEK Tomáš, LEXA Matej, BECK Patrik and FUČÍK Otto. Automatic Generation of Circuits for Approximate String Matching. In: 2007 IEEE Design and Diagnostics of Electronic Circuits and Systems. Krakow: IEEE Computer Society, 2007, pp. 203-208. ISBN 1-4244-1161-0.
 MIKUŠEK Petr. Použití přenosem spouštěných architektur pro návrh aplikačně-specifických procesorů. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Brno: Brno University of Technology, 2007, pp. 234-236. ISBN 80-214-3408-0.
 SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr and ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Formal Methods: Applications and Technology. Bonn: Springer Verlag, 2007, pp. 148-164. ISSN 0302-9743.
2006FAPŠO Michal, SCHWARZ Petr, SZŐKE Igor, SMRŽ Pavel, SCHWARZ Milan, ČERNOCKÝ Jan, KARAFIÁT Martin and BURGET Lukáš. Search Engine for Information Retrieval from Speech Records. In: Proceedings of the Third International Seminar on Computer Treatment of Slavic and East European Languages. Bratislava, 2006, pp. 100-101.
 FAPŠO Michal, SMRŽ Pavel, SCHWARZ Petr, SZŐKE Igor, SCHWARZ Milan, ČERNOCKÝ Jan, KARAFIÁT Martin and BURGET Lukáš. Information Retrieval from Spoken Documents. In: Proceedings of the Seventh International Conference on Intelligent Text Processing and Computational Linguistics (CICLING 2006). Mexico City: Springer Verlag, 2006, pp. 410-416. ISBN 3-540-32205-1.
 HLÁVKA Petr, ŘEHÁK Vojtěch, SMRČKA Aleš, ŠAFRÁNEK David, ŠIMEČEK Pavel and VOJNAR Tomáš. Formal Verification of the CRC Algorithm Properties. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov, 2006, pp. 55-62. ISBN 80-214-3287-X.
 MARTÍNEK Tomáš, KOŘENEK Jan and NOVOTNÝ Jiří. Network Monitoring Adaptor for 10Gbps Technology using FPGA. In: CESNET Conference 2006 Proceedings. Prague : CESNET, z. s. p. o.: CESNET National Research and Education Network, 2006, pp. 143-151. ISBN 978-80-239-6533-9.
 NOVÁČEK Vít and SMRŽ Pavel. Empirical Merging of Ontologies A Proposal of Universal Uncertainty Representation Framework. In: The Semantic Web: Research and Applications. Berlin: Springer Verlag, 2006, pp. 65-79. ISBN 3-540-34544-2.
 NOVÁČEK Vít, SMRŽ Pavel and POMIKÁLEK Jan. Text Mining for Semantic Relations as a Support Base of a Scientific Portal Generator. In: Proceedings of the 5th International Conference on Language Resources and Evaluation. Paris: European Language Resources Association, 2006, pp. 1338-1343. ISBN 2-9517408-2-4.
 SINOPALNIKOVÁ Anna and SMRŽ Pavel. Intelligent Dictionary Interfaces: Usability Evaluation of Access-Supporting Enhancements. In: Proceedings of the 5th International Conference on Language Resources and Evaluation. Paris: European Language Resources Association, 2006, pp. 1-4. ISBN 2-9517408-2-4.
 SINOPALNIKOVÁ Anna and SMRŽ Pavel. Knowing a Word vs. Accessing a Word: Wordnet and Word Association Norms as Interfaces to Electronic Dictionaries. In: Proceedings of the Third International WordNet Conference, GWC 2006. Brno: Masaryk University, 2006, pp. 265-272. ISBN 80-210-3915-9.
 SMRŽ Pavel and KADLEC Vladimír. How Many Dots Are Really Needed for Head-Driven Chart Parsing?. In: SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer Verlag, 2006, pp. 483-492. ISBN 3-540-31198-X.
 SMRŽ Pavel and NOVÁČEK Vít. Ontology Acquisition for Automatic Building of Scientific Portals. In: SOFSEM 2006: Theory and Practice of Computer Science: 32nd Conference on Current Trends in Theory and Practice of Computer Science. Berlin: Springer Verlag, 2006, pp. 493-500. ISBN 3-540-31198-X.
 SMRŽ Pavel. Automatické generování vědeckých portálů. In: Sborník příspěvků 5. ročníku konference Znalosti 2006. Ostrava: VŠB-Technical University of Ostrava, 2006, pp. 252-255. ISBN 80-248-1001-8.
 SMRČKA Aleš, ŘEHÁK Vojtěch, VOJNAR Tomáš, ŠAFRÁNEK David, MATOUŠEK Petr and ŘEHÁK Zdeněk. Verifying VHDL Design with Multiple Clocks in SMV. In: Proceedings of FMICS 2006. Bonn, 2006, pp. 140-155.
 SMRČKA Aleš. High-level Modeling, Analysis and Verification of Programmable Hardware Design. Proceedings of the Junior Scientist Conference 2006. Vienna: TU Vienna, 2006. ISBN 3-902463-05-8.
 ŠPANĚL Michal and KRŠEK Přemysl. Vector-based Medical Image Segmentation using Adaptive Delaunay Triangulation. In: Proceedings of the Sixth IASTED International Conference on Visualization, Imaging, and Image Procesing. Palma de Mallorca: ACTA Press, 2006, p. 6. ISBN 0-88986-600-7.
2005FAPŠO Michal, SCHWARZ Petr, SZŐKE Igor, ČERNOCKÝ Jan, SMRŽ Pavel, BURGET Lukáš and KARAFIÁT Martin. Search Engine for Information Retrieval from Multi-modal Records. Edinburgh, 2005.
 FAPŠO Michal, SMRŽ Pavel, SCHWARZ Petr, SZŐKE Igor, BURGET Lukáš, KARAFIÁT Martin and ČERNOCKÝ Jan. Systém pre efektívne vyhľadávanie v rečových databázach. In: Sborník databázové konference DATAKON 2005. Brno: Masaryk University, 2005, pp. 323-333. ISBN 80-210-3813-6.
 HLÁVKA Petr, KRATOCHVÍLA Tomáš, ŘEHÁK Vojtěch, ŠAFRÁNEK David, ŠIMEČEK Pavel and VOJNAR Tomáš. CRC64 Algorithm Analysis and Verification. Brno: CESNET National Research and Education Network, 2005.
 KOŘENEK Jan. Rychlé vyhledávání regulárních výrazů s využitím FPGA. In: Sborník příspěvků ze semináře Počítačové Architektury a Diagnostika. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005, p. 6.
 MARTÍNEK Tomáš, ZEMČÍK Pavel and KOŘENEK Jan. FPGA-Based Platform for Network Applications. In: Proc. of 8th IEEE Design and Diagnostic of Electronic Circuits and Systems Workshop. Sopron: University of West Hungary, 2005, pp. 194-197. ISBN 963-9364-48-7.
 MARTÍNEK Tomáš. Analýza datových toků s využitím sebe-rekonfigurovatelných automatů. In: Sborník příspěvků ze semináře Počítačové Architektury a Diagnostika. Praha: Faculty of Electrical Engineering, Czech Technical University, 2005, pp. 119-124. ISBN 80-01-03298-1.
 MATOUŠEK Petr, SMRČKA Aleš and VOJNAR Tomáš. High-level Modelling, Analysis and Verification on FPGA-based Hardware Design. Brno: CESNET National Research and Education Network, 2005.
 MATOUŠEK Petr, SMRČKA Aleš and VOJNAR Tomáš. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. In: Correct Hardware Design and Verification Methods. Berlin: Springer Verlag, 2005, pp. 371-375. ISBN 978-3-540-29105-3. ISSN 0302-9743.
 MIKUŠEK Petr. Návrh a implementace jednotky pro analýzu paketů. In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Brno University of Technology, 2005, pp. 145-148. ISBN 80-214-2888-0.
 MIKŠÍK Daniel, PITNER Tomáš and SMRŽ Pavel. Systémy řízení výuky - adaptace, integrace a použití na MU a VUT v Brně. In: EMTECH - Education, media, technology. Praha: Czech Technical University, 2005, pp. 18-18. ISBN 80-01-03336-8.
 SMRŽ Pavel and FAPŠO Michal. Vyhledávání v záznamech přednášek. In: Sborník semináře Technologie pro e-vzdělávání. Praha: Czech Technical University, 2005, pp. 21-26. ISBN 80-01-03274-4.
 SMRŽ Pavel, PITNER Tomáš and GREGAR Tomáš. Technologie zpracování přirozeného jazyka pro elektronickou podporu výuky. In: Sborník konference Informatika XVI.. Brno: Konvoj, 2005, pp. 168-175. ISBN 80-7302-083-1.
2004ANTOŠ David and KOŘENEK Jan. Hardware Router's Lookup Machine and its Formal Verification. In: Proceedings of the 3rd International Conference on Networking ICN '04. Colmar: University of Haute Alsace, 2004, pp. 1002-1007. ISBN 0-86341-325-0.
 ANTOŠ David and KOŘENEK Jan. String Matching for IPv6 Routers. In: SOFSEM 2004: Theory and Practice of Computer Science. Praha: CESNET National Research and Education Network, 2004, pp. 205-210. ISBN 80-86732-19-3.
 MARTÍNEK Tomáš, KOŘENEK Jan and NOVOTNÝ Jiří. Passive network monitoring adapter intended for 10Gbps technology. In: Sborník příspěvků z XXV. konference Europen. Plzeň: Czech Open Systems User's Group, 2004, pp. 55-63. ISBN 80-86583-07-4.

Your IPv4 address: 54.82.81.154
Switch to IPv6 connection

DNSSEC [dnssec]