Detail projektu
Architektury sítí pro vestavěné systémy
Období řešení: 1. 1. 2005 - 31. 12. 2007
Typ projektu: grant
Kód: GA102/05/0467
Agentura: Grantová agentura České republiky
Program:
vestavěné systémy, bezdrátovává komunikace, internetové technologie
Navrhovaný projekt se zabývá výzkumem koncepce návrhu sítí vestavěných systémů, která se uplatní u průmyslových aplikací. Projekt zahrnuje vývoj nástrojů zaměřených na specifikaci a návrh, zejména na aplikační specifikace a na rychlý návrh prototypu. Pozornost bude zaměřena na tvorbu architektur sítí vestavěných systémů. Bude řešen přístup k Internetu jednotlivými prvky průmyslových distribuovaných vestavěných systémů, které využívají jak pevného tak i bezdrátového spojení. Zvolené architektury pro průmyslové aplikace budou vyvíjeny při dodržení mezinárodních standardů. Výzkum bude zahrnovat bezdrátové technologie jako je WiFi, Bluetooth nebo ZigBee. Tyto architektury by měly zajistit veškeré požadavky na spolehlivost a bezpečnost průmyslových aplikací vestavěných systémů. Druhou úlohou je migrace kódu v síti vestavěných systémů. Sítě vestavěných systémů používají různé procesory a výsledkem jejich činnosti je splnění společného cíle. Architektury vestavěných systémů by měly i při různých typech procesorů zajistit jejich spolehlivou a bezchybnou činnost. Pro vývoj bude použit jazyk UML, který umožní vlastní návrh, realizaci a optimalizaci vnitřních komunikací v síti vestavěných systémů a mezi jednotlivými vestavěnými systémy, zejména pro rychlý vývoj prototypu a ověření jeho funkce. Druhým vývojovým nástrojem je automatické generování cílového kódu pro rychlé ověření funkce jednotlivých dílů, které budou použity v distribuovaných a vestavěných systémech.
Bílek Jan, Doc. Ing., CSc. (FEL ČVUT) , spoluřešitel
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , spoluřešitel
Dvořák Václav, prof. Ing., DrSc. (UPSY FIT VUT)
Vrba Radimír, prof. Ing., CSc. (STI VUT)
Zezulka František, prof. Ing., CSc. (UAMT FEKT VUT)
2007
- TRCHALÍK Roman a OČENÁŠEK Pavel. Addressing and Routing in Sensor Networks. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1. Detail
- OČENÁŠEK Pavel. Analysis of the Network Communication With OPNET. In: Proceedings of the 16th International Conference on Systems Science: Volume II. Wroclaw, 2007, s. 312-317. ISBN 978-83-7493-340-7. Detail
- ŠVÉDA Miroslav a VRBA Radimír. Dependability-driven Embedded Systems Networking. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, s. 483-488. ISBN 0-7695-2805-8. Detail
- OČENÁŠEK Pavel a ŠIMEK Václav. Determining Location of Target Within the Indoor Location System. In: Proceedings of the 16th International Conference on Systems Science: Volume III. Wroclaw, 2007, s. 168-176. ISBN 978-83-7493-341-4. Detail
- DVOŘÁK Václav. Efficient Evaluation of Multiple-Output Boolean Functions in Embedded Software or Firmware. Journal of Software, roč. 2, č. 5, 2007, s. 52-63. ISSN 1796-217X. Detail
- ŠVÉDA Miroslav. End-User Development Framework for Embedded System Applications. In: Engineering of Computer-Based Systems, 2007. Tucson, Arizona: IEEE Computer Society, 2007, s. 186-192. ISBN 0-7695-2772-8. Detail
- ŠVÉDA Miroslav a RYŠAVÝ Ondřej. Industrial Application Development Using Case-Based Reasoning. In: Proceedings of International Workshop on Artificial Neural Networks and Intelligent Information Processing. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, s. 7. ISBN 972-8865-86-4. Detail
- DVOŘÁK Václav. LUT Cascade-Based Architectures for High Productivity Embedded Systems. International Review on Computers and Software, roč. 2, č. 4, 2007, s. 357-365. ISSN 1828-600X. Detail
- OČENÁŠEK Pavel. On the Design of Protocols in Electronic Commerce. In: MIC 2007 Conference Proceedings. Portorož, 2007, s. 6. ISBN 978-961-6573-88-7. Detail
- DVOŘÁK Václav, JAROŠ Jiří a OHLÍDAL Miloš. Optimum Topology-Aware Scheduling of Many-to-Many Collective Communications. In: Proceedings of The Sixth International Conference on Networking. New York: IEEE Computer Society, 2007, s. 1-6. ISBN 0-7695-2805-8. Detail
- ŠVÉDA Miroslav, VRBA Radimír a RYŠAVÝ Ondřej. Pattern-Driven Reuse of Embedded Control Design. In: Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, s. 8. ISBN 972-8865-84-8. Detail
- OČENÁŠEK Pavel a TRCHALÍK Roman. Reasoning About Security Protocols in the ZigBee Standard. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1. Detail
- ŠVÉDA Miroslav a TRCHALÍK Roman. Safety and Security-driven Design of Networked Embedded Systems. In: Proceedings 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. Lübeck: IEEE Computer Society, 2007, s. 420-423. ISBN 0-7695-2978-X. Detail
- TRCHALÍK Roman a ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2007, s. 1-5. ISBN 978-80-214-3470-7. Detail
- PAVLÍK Michal, HÁZE Jiří, VRBA Radimír a ŠVÉDA Miroslav. Smart Differential Pressure Sensor. In: Proceedings ICINCO 2007: Signal Processing, Systems Modelling and Control. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, s. 244-248. ISBN 978-972-886584-9. Detail
- DVOŘÁK Václav. Space-Time Trade-offs in SW Evaluation of Boolean Functions. In: Proceedings of The Second International Conference on Systems. New York: IEEE Computer Society, 2007, s. 6. ISBN 0-7695-2807-4. Detail
- ŠVÉDA Miroslav a VRBA Radimír. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. In: Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007, s. 23-30. ISBN 978-989-8111-11-1. Detail
- OČENÁŠEK Pavel. Tools for Analysis and Simulation of Protocol Communication. In: EDS '07 IMAPS CS International Conference Proceedings. Brno: Vysoké učení technické v Brně, 2007, s. 87-91. ISBN 978-80-214-3470-7. Detail
- ŠVÉDA Miroslav a VRBA Radimír. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. In: Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007). Barcelona: Institute for Systems and Technologies of Information, Control and Communication, 2007, s. 345-350. ISBN 978-989-8111-06-7. Detail
- OČENÁŠEK Pavel. Wardriving: Detecting, Attacking, Securing. In: Proceedings of the 8th International Carpathian Control Conference. Košice: Technická univerzita v Košiciach, 2007, s. 4. ISBN 978-80-8073-805-1. Detail
- ŠVÉDA Miroslav a TRCHALÍK Roman. ZigBee-to-Internet Interconnection Architectures. In: Proceedings of the Second International Workshop on Mobile Communications and Learning MCL 2007. Saint Luce, Martinique: IEEE Computer Society, 2007, s. 6. ISBN 0-7695-2807-4. Detail
2006
- FUJCIK Lukáš, VRBA Radimír a ŠVÉDA Miroslav. A 16-Bit Switched-Capacitor Sigma-Delta Modulator Matlab Model Exploiting Two-Step Quantization Process. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, s. 142-147. ISBN 972-8865-59-7. Detail
- OČENÁŠEK Pavel a ŠVÉDA Miroslav. An Approach to Automated Design of Security Protocols. In: Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006, s. 4. ISBN 0-7695-2552-0. Detail
- OČENÁŠEK Pavel. Automatic Design of Security Protocols. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovenská akademie věd, 2006, s. 49-54. ISBN 80-969202-2-7. Detail
- OČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. WSEAS Transactions on Computers Research, roč. 1, č. 2, 2006, s. 325-328. ISSN 1991-8755. Detail
- OČENÁŠEK Pavel. Automatic System for Making Web Content Accessible for Visually Impaired Users. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz, 2006, s. 430-433. ISBN 960-8457-57-2. Detail
- ŠVÉDA Miroslav a VRBA Radimír. Bezpečné sítě mikroelektronických systémů. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006. Detail
- JAROŠ Jiří, OHLÍDAL Miloš a DVOŘÁK Václav. Complexity of Collective Communications on NoCs. In: Proc. of 5th International Symposium on Parallel Computing in Electrical Engineering. Los Alamitos, CA 90720-1314: IEEE Computer Society, 2006, s. 127-132. ISBN 0-7695-2554-7. Detail
- TRCHALÍK Roman. Design IEEE 802.15.4 ZigBee sítě. In: Počítačové architektúry & diagnostika 2006. Bratislava: Slovenská akademie věd, 2006, s. 107-112. ISBN 80-969202-2-7. Detail
- RYŠAVÝ Ondřej, ŠČUGLÍK František a ŠVÉDA Miroslav. Designing Algorithm-oriented Generic Library on .NET Framework. In: Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006, s. 159-163. ISBN 0-7695-2546-6. Detail
- OČENÁŠEK Pavel a OČENÁŠEK Jiří. Designing Secure Communications Using Evolutionary Approach. In: Genetic and Evolutionary Computation Conference GECCO 2006. Seattle, WA: Association for Computing Machinery, 2006, s. 3. Detail
- ŠVÉDA Miroslav a VRBA Radimír. Fault Maintenance in Embedded Systems Applications. In: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006, s. 183-186. ISBN 972-8865-59-7. Detail
- ŠVÉDA Miroslav a VRBA Radimír. INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications. In: Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006. Setúbal: IEEE Computer Society, 2006, s. 63-68. ISBN 972-8865-62-7. Detail
- ŠVÉDA Miroslav, VRBA Radimír a OČENÁŠEK Pavel. Local Time Specifications of Networked Embedded Systems. In: Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006, s. 6. ISBN 0-7695-2552-0. Detail
- TRCHALÍK Roman a OČENÁŠEK Pavel. Metrics in Workflow Systems. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB Technická univerzita Ostrava, 2006, s. 569-572. ISBN 80-248-1066-2. Detail
- OČENÁŠEK Pavel a TRCHALÍK Roman. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. In: Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB Technická univerzita Ostrava, 2006, s. 401-404. ISBN 80-248-1066-2. Detail
- OČENÁŠEK Pavel a TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. In: Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: World Scientific and Engineering Academy, 2006, s. 329-331. ISBN 960-8457-57-2. Detail
- OČENÁŠEK Pavel a TRCHALÍK Roman. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, roč. 1, č. 2, 2006, s. 360-362. ISSN 1991-8755. Detail
- OHLÍDAL Miloš, JAROŠ Jiří a DVOŘÁK Václav. Performance of Collective Communications on Interconnection Networks with Fat Nodes and Edges. In: Proceedings of the Fifth International Conference on Networking ICN 2006. Los Alamitos: IEEE Computer Society, 2006, s. 619-624. ISBN 0-7695-2570-9. Detail
- ŠVÉDA Miroslav. Reuse of Formal Specifications in Embedded Systems Design. In: Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 78-83. ISBN 80-214-3130-X. Detail
- OČENÁŠEK Pavel. Security Protocols: Analysis and Design. In: Proceedings of the Junior Scientist Conference 2006. Vienna: Technische Universität Wien, 2006, s. 51-52. ISBN 3-902463-05-8. Detail
- TRCHALÍK Roman a ŠVÉDA Miroslav. Sensor Networking through Intranet and ZigBee. In: Proceedings IMAPS CS International Conference EDS'06. Brno: Vysoké učení technické v Brně, 2006, s. 217-221. ISBN 80-214-3246-2. Detail
- ŠVÉDA Miroslav a TRCHALÍK Roman. Smart Sensor Networking with ZigBee and Internet. In: Proceedings of the 2nd International Workshop on Artificial Neural Networks and Intelligent Information Processing (ANNIIP 2006). Setúbal: Université Pierre et Marie Curie, 2006, s. 64-71. ISBN 972-8865-68-6. Detail
- OČENÁŠEK Pavel a TRCHALÍK Roman. The Use of Modal Logics in the Security Protocols Analysis. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 395-399. ISBN 80-214-3163-6. Detail
- OČENÁŠEK Pavel a TRCHALÍK Roman. Tracing Authentication Protocols Behavior: A Case Study. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Fakulta informačních technologií VUT v Brně, 2006, s. 166-173. ISBN 80-214-3287-X. Detail
- TRCHALÍK Roman a OČENÁŠEK Pavel. Zigbee Gateways. In: Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2006, s. 410-414. ISBN 80-214-3163-6. Detail
2005
- ŠVÉDA Miroslav a VRBA Radimír. An Approach to the Design of Networked Embedded Systems. In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Kidlington, Oxford: Elsevier Science, 2005, s. 6. ISBN 0-08-045108-X. ISSN 1474-6670. Detail
- KOBLIHA Miloš, SCHWARZ Josef a OČENÁŠEK Jiří. Bayesian Optimization Algorithm in Dynamic Environment. In: Mendel 2005 11th Internacional Conference on Soft Computing. Brno, CZ: Fakulta strojního inženýrství VUT, 2005, s. 15-20. ISBN 80-214-2961-5. Detail
- ŠVÉDA Miroslav. Computer Networks with Smart Sensors: the IEEE 1451 Approach. In: Proceedings IMAPS CS International Conference EDS'05. Brno: Vysoké učení technické v Brně, 2005, s. 107-110. ISBN 80-214-2990-9. Detail
- ŠVÉDA Miroslav a VRBA Radimír. Embedded Systems with IEEE 1451.1 on Internet. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, s. 539-550. ISBN 0-7803-9270-1. Detail
- OČENÁŠEK Pavel. Evolutionary Approach in the Security Protocols Design. In: Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005, s. 147-156. ISBN 1-84628-311-6. Detail
- JAROŠ Jiří, OHLÍDAL Miloš a DVOŘÁK Václav. Evolutionary Design of Group Communication Schedules for Interconnection Networks. In: Proceedings of the 20th International Symposium Computer and Information Sciences - ISCIS 2005. Lecture Notes in Computer Science, roč. 3733. Berlin: Springer Verlag, 2005, s. 472-481. ISBN 978-3-540-29414-6. Detail
- JAROŠ Jiří. Hledání optimálních plánů skupinové komunikace OAB. In: Sborník příspěvků ze semináře Počítačové Architektury a Diagnostika. Karlovo náměstí 13, Praha: České vysoké učení technické, 2005, s. 67-72. ISBN 80-01-03298-1. Detail
- ŠVÉDA Miroslav, BENEŠ Petr, VRBA Radimír a ZEZULKA František. Introduction to Industrial Sensor Networking. Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. Boca Raton, Florida: CRC Press LLC, 2005, s. 10-24. ISBN 0-8493-1968-4. Detail
- KUTÁLEK Vladimír a DVOŘÁK Václav. On Complexity of Collective Communications on a Fat Cube Topology. Journal of Universal Computer Science, roč. 11, č. 6, 2005, s. 944-961. ISSN 0948-6968. Detail
- DVOŘÁK Václav. Reconfigurability of the Interconnect Architecture for Chip Multiprocessors. In: Proceedigns of the 4th International Symposium on Information and Communication Technologies. ACM International Conference Proceedings Series. Dublin: Computer Science Press, 2005, s. 136-141. ISBN 0-9544145-6-X. Detail
- ŠVÉDA Miroslav a VRBA Radimír. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, s. 5. ISBN 0-7803-9371-6. Detail
- DVOŘÁK Václav. Scheduling Collective Communications on Wormhole Fat Cubes. In: Proc. of the 17th International Symposium on Computer Architecture and High Performance Computing. Los Alamitos: IEEE Computer Society, 2005, s. 27-34. ISBN 0-7695-2446-X. Detail
- VRBA Radimír, SAJDL Ondřej a ŠVÉDA Miroslav. Smart Sensors in Wireless Network System. Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005, s. 343-353. ISBN 0-7803-9270-1. Detail
- JAROŠ Jiří a DVOŘÁK Václav. Speeding-up OAS and AAS Communication in Networking System on Chips. In: Proc. of 8th IEEE Workshop on Design and Diagnostic of Electronic Circuits and Systems. Sopron: University of West Hungary, 2005, s. 4. ISBN 9639364487. Detail
- OČENÁŠEK Pavel. The Security Protocol Design Using Genetic Algorithms Paradigms. In: Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2005, s. 576-580. ISBN 80-214-2890-2. Detail
- OČENÁŠEK Pavel. Towards Selected Problems in the Security Protocol Design and Verification. In: Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Fakulta informatiky MU, 2005, s. 9. Detail
- KUCHTA Radek, ŠTEFFAN Pavel, BARTOŇ Zdeněk, VRBA Radimír a ŠVÉDA Miroslav. Wireless Temperature Data Logger. In: IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005, s. 208-212. ISBN 0-7803-9371-6. Detail
- OČENÁŠEK Pavel a TOUFAROVÁ Jana. Zpřístupnění obsahu Internetu zrakově handicapovaným uživatelům. INFORUM 2005: 11. ročník konference o profesionálních informačních zdrojích, roč. 2005, č. 1, s. 8. ISSN 1801-2213. Detail