Detail projektu
Vestavěné řídicí systémy a jejich vzájemná komunikace
Období řešení: 1.1.2002 — 31.12.2004
Zdroje financování
Grantová agentura České republiky - Standardní projekty
O projektu
Rozšíření aplikací vestavěných řídicích systémů sledujeme jak v oblasti výrobků vybavených těmito systémy tak i v komplexních výrobních a technologických systémech. Důležitým hlediskem při návrhu těchto systémů je v současnosti součinnost jednotlivých vestavěných systémů mezi sebou navzájem. Projekt je zaměřen na návrh a testování architektur, metod a nástrojů pro vývoj spolupracujících soustav vestavěných systémů. Nedílnou součástí návrhu je optimální rozložení komunikačních cest a prostředků pro jejich realizaci. Výsledkem bude zvýšení výkonnosti struktur vestavěných systémů, přičemž návrhové prostředky povedou k sjednocení použitých programových prostředí na všech úrovních řídicích systémů až po případné připojení vložených systémů na Internet. Navržená metodika a prostředky usnadní práci při vývoji a realizaci řídicích systémů založených na distribuovaných vestavěných systémech určených pro průmyslové aplikace.
Popis anglicky
Embedded control system applications penetrate currently not only into individual
instruments and gadgets but also into complex production equipments. Design of
those systems stems from developing cooperation among individual embedded
components. The project focuses on system architectures and development methods
and tools for design and testing aimed at cooperating embedded components
including optimal distribution of their communication and interconnection means.
The target is to increase embedded systems performance, to unify programming
environments, and to integrate communication interconnections at all levels of
control systems up to their respective coupling with Internet. The developed
methods and tools will enable more effective implementation of control systems
based on distributed embedded systems aiming at industrial applications.
Klíčová slova
vestavěné systémy, připojování do sítí, vývojová prostředí, systémové
architektury
Klíčová slova anglicky
embedded systems, networking, development environments, system architectures
Označení
GA102/02/1032
Originální jazyk
čeština
Řešitelé
Švéda Miroslav, prof. Ing., CSc. - hlavní řešitel
Kapoun Vladimír, doc. Ing., CSc. - spoluřešitel
Vrba Radimír, prof. Ing., CSc. - spoluřešitel
Zezulka František, prof. Ing., CSc. - spoluřešitel
Útvary
Ústav informačních systémů
- odpovědné pracoviště (1.1.1989 - nezadáno)
Výzkumná skupina informačních a databázových systémů
- interní (12.2.2002 - 31.12.2004)
Ústav informačních systémů
- spolupříjemce (12.2.2002 - 31.12.2004)
Ústav informačních systémů
- příjemce (1.1.2002 - 31.12.2004)
Výsledky
VEČEŘA, I.; VRBA, R.; ŠVÉDA, M. Senzory s vlastním testováním. Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), 2000, roč. 2000, č. 12, s. 1-7. ISSN: 1213-1539.
Detail
ŠVÉDA, M. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno: 2002. p. 0-0.
Detail
RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. p. 0-0. ISBN: 1-85769-1970.
Detail
DVOŘÁK, V.; ŠVÉDA, M. Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, CA: IEEE Computer Society, 2004. p. 0-0. ISBN: 0-7695-2125-8.
Detail
RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. p. 0-0. ISBN: 1-85769-189X.
Detail
RATTRAY, C.; ŠVÉDA, M.; ROZENBLIT, J. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. p. 0-0. ISBN: 1-85769-169-5.
Detail
ŠVÉDA, M.; BENEŠ, P.; VRBA, R.; ZEZULKA, F. Introduction to Industrial Sensor Networking. In Handbook of Sensor Networks: Compact Wireless and Wired Sensing Systems. Boca Raton, Florida: CRC Press LLC, 2005. p. 10-24. ISBN: 0-8493-1968-4.
Detail
SAJDL, O.; BRADÁČ, Z.; VRBA, R.; ŠVÉDA, M. Data Acquisition Systém Exploiting Bluetooth Technology. WSEAS Transactions on Circuits, 2003, vol. 2, no. 1, p. 117-119. ISSN: 1109-2734.
Detail
CACH, P.; FIEDLER, P.; ŠVÉDA, M.; PROKOP, M.; WAGNER, M. A Sensor with Embedded Ethernet. WSEAS Transactions on Circuits, 2003, vol. 2, no. 1, p. 213-215. ISSN: 1109-2734.
Detail
ŠVÉDA, M.; RATTRAY, C.; ROZENBLIT, J. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, 2004, vol. 10, no. 10, p. 1354-1356. ISSN: 0948-6968.
Detail
ŠVÉDA, M.; VRBA, R. Sensor Networking with Publish/Subscribe and IP Multicast. WSEAS Transactions on Information Science and Applications, 2004, vol. 1, no. 4, p. 983-987. ISSN: 1790-0832.
Detail
ŠČUGLÍK, F.; BUREŠ, F. Shared variables in CSP. WSEAS Transactions on Computers, 2004, vol. 2004, no. 3, p. 690-695. ISSN: 1109-2750.
Detail
RYŠAVÝ, O.; BUREŠ, F. A Graph Representation for Use Case Specifications. WSEAS Transactions on Computers, 2004, vol. 2004, no. 3, p. 686-690. ISSN: 1109-2750.
Detail
ŠČUGLÍK, F.; ŠVÉDA, M. Automatically Generated CSP Specifications. Journal of Universal Computer Science, 2003, vol. 9, no. 11, p. 1277-1295. ISSN: 0948-6968.
Detail
ŠVÉDA, M.; VRBA, R. An Integrated Framework for Internet-Based Applications of Smart Sensors. IEEE SENSORS JOURNAL, 2003, vol. 3, no. 5, p. 579-586. ISSN: 1530-437X.
Detail
ŠVÉDA, M.; VRBA, R. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, 2003, vol. 2, no. 1, p. 10-14. ISSN: 1109-2750.
Detail
ŠVÉDA, M. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, 2003, vol. 2, no. 1, p. 4-9. ISSN: 1109-2750.
Detail
ŠVÉDA, M.; KAPOUN, V. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com - http://www.electronicsletters.com, 2003, vol. 2003, no. 6, p. 0-0. ISSN: 1213-161X.
Detail
ŠČUGLÍK, F. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), 2003, roč. 2003, č. 23, s. 0-0. ISSN: 1213-1539.
Detail
BRADÁČ, Z.; ŠVÉDA, M.; SAJDL, O.; VRBA, R. Data Acquisition System Exploiting Bluetooth Technology. WSEAS Transactions on Circuits, 2003, vol. 2003, no. 1, p. 117 ( p.)ISSN: 1109-2734.
Detail
Odpovědnost: Švéda Miroslav, prof. Ing., CSc.