Detail projektu

Vestavěné řídicí systémy a jejich vzájemná komunikace

Období řešení: 1. 1. 2002 - 31. 12. 2004

Typ projektu: grant

Kód: GA102/02/1032

Agentura: Grantová agentura České republiky

Program:

Název anglicky
Embedded Control Systems and their Inter-Communication
Typ
grant
Klíčová slova

vestavěné systémy, připojování do sítí, vývojová prostředí, systémové architektury

Abstrakt

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.

Řešitelé
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , hlavní řešitel
Bílek Jan, Doc. Ing., CSc. (FEL ČVUT) , spoluřešitel
Srovnal Vilém, prof. Ing., CSc. (FEI VŠB) , spoluřešitel
Kapoun Vladimír, Doc. Ing., CSc. (UTKO FEI VUT)
Vrba Radimír, prof. Ing., CSc. (UMEL FEI VUT)
Zezulka František, doc. Ing., CSc. (UAMT FEI VUT)
Publikace

2004

  • ŠVÉDA Miroslav. A Design Framework for Internet-Based Embedded Distributed Systems. In: Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, California: IEEE Computer Society, 2004, s. 113-120. ISBN 0-7695-2125-8. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. A Development Environment for Internet-Based Applications of Smart Sensors. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, s. 170-176. ISBN 0-7803-8143-2. Detail
  • BUREŠ František a RYŠAVÝ Ondřej. A Graph Representation for Use Case Specifications. In: Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004, s. 5. ISBN 960-8052-95-5. Detail
  • RYŠAVÝ Ondřej a BUREŠ František. A Graph Representation for Use Case Specifications. WSEAS Transactions on Computers, roč. 2004, č. 3, s. 686-690. ISSN 1109-2750. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. An Approach to Computer-Based System Synthesis. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, s. 8. ISBN 0-8576-9197-0. Detail
  • ŠVÉDA Miroslav, RATTRAY Charles a ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, roč. 10, č. 10, 2004, s. 1354-1356. ISSN 0948-6968. Detail
  • RYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František a ŠVÉDA Miroslav. Integration of Formal Methods in a Specification Framework for Embedded Systems. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: IEEE Computer Society, 2004, s. 57-63. ISBN 1-85769-1970. Detail
  • ŠVÉDA Miroslav. IP Multicast with Publish/Subscribe for Sensors on Internet. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Vysoké učení technické v Brně, 2004, s. 350-353. ISBN 80-214-2701-9. Detail
  • VRBA Radimír, ŠVÉDA Miroslav a MAREČEK Karel. Pressure Transducer with Multiplexed Frequency Transmitter. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, s. 7-10. ISBN 0-7803-8143-2. Detail
  • RATTRAY Charles, ŠVÉDA Miroslav a ROZENBLIT Jerzy, ed. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: University of Stirling, 2004. ISBN 1-85769-1970. Detail
  • DVOŘÁK Václav a ŠVÉDA Miroslav, ed. Proceedings of the International IEEE Conference and Workshop ECBS'2004. Los Alamitos, CA: IEEE Computer Society, 2004. ISBN 0-7695-2125-8. Detail
  • OČENÁŠEK Pavel. Reasoning about Security Issues in Wireless Devices based on the IEEE 802.11. In: 11th Electronic Devices and Systems Conference 2004 Proceedings. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2004, s. 228-231. ISBN 80-214-2701-9. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. Reuse of Formal Specifications in Computer-Based Systems Design. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, s. 6. ISBN 0-85760-919-X. Detail
  • HÁZE Jiří, KREJČÍ Jan, VRBA Radimír a ŠVÉDA Miroslav. Sensor Analysis of Liquid Pollution. In: Proceedings of the 2004 ISA/IEEE Sensors for Industry Conference. New Orleans, LA: IEEE Computer Society, 2004, s. 155-158. ISBN 0-7803-8143-2. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. Sensor Networking with Publish/Subscribe and IP Multicast. WSEAS Transactions on Information Science and Applications, roč. 1, č. 4, 2004, s. 983-987. ISSN 1790-0832. Detail
  • BUREŠ František a ŠČUGLÍK František. Shared variables in CSP. In: Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004, s. 5. ISBN 960-8052-95-5. Detail
  • ŠČUGLÍK František a BUREŠ František. Shared variables in CSP. WSEAS Transactions on Computers, roč. 2004, č. 3, s. 690-695. ISSN 1109-2750. Detail
  • VRBA Radimír, SAJDL Ondřej, KUCHTA Radek a ŠVÉDA Miroslav. Wireless Smart Sensor Network System. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, s. 466-471. ISBN 0-8576-9197-0. Detail

2003

  • RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Minimal Formal Language for Object-Oriented Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, s. 35-40. ISBN 1-85769-189X. Detail
  • CACH Petr, FIEDLER Petr, ŠVÉDA Miroslav, PROKOP Miloš a WAGNER Marek. A Sensor with Embedded Ethernet. WSEAS Transactions on Circuits, roč. 2, č. 1, 2003, s. 213-215. ISSN 1109-2734. Detail
  • VEČEŘA Ivo, VRBA Radimír a ŠVÉDA Miroslav. A/D Switched-Current Converter with Built-in Self Testing Features. In: Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. III. Orlando: The International Institute of Informatics and Systemics, 2003, s. 367-370. ISBN 980-07-8150-1. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. IEEE Sensors Journal, roč. 3, č. 5, 2003, s. 579-586. ISSN 1530-437X. Detail
  • ŠČUGLÍK František a ŠVÉDA Miroslav. Automatically Generated CSP Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, s. 41-47. ISBN 1-85769-189X. Detail
  • ŠČUGLÍK František a ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science, roč. 9, č. 11, 2003, s. 1277-1295. ISSN 0948-6968. Detail
  • SAJDL Ondřej, BRADÁČ Zdeněk, VRBA Radimír a ŠVÉDA Miroslav. Data Acquisition Systém Exploiting Bluetooth Technology. WSEAS Transactions on Circuits, roč. 2, č. 1, 2003, s. 117-119. ISSN 1109-2734. Detail
  • RÁB Jaroslav. Design and Verification of Real-Time UML System Models. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, s. 311-314. ISBN 0-08-044130-0. Detail
  • ŠČUGLÍK František. Diagram Based Formal Specification using CSP. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 629-633. ISBN 80-214-2379-X. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. Embedded System Formal Specifications Reuse by a Case-Based Reasoning Approach. In: Proceedings of the 6th World Multiconference on Systemics, Cybernetics and Informatics, 2002, Vol. I. Orlando: The International Institute of Informatics and Systemics, 2003, s. 157-162. ISBN 980-07-8150-1. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, roč. 2, č. 1, 2003, s. 10-14. ISSN 1109-2750. Detail
  • ŠVÉDA Miroslav. Engineering of Computer-Based Systems: Brno in 2004. In: Proceedings EDS'03. Electronic Devides and Systems, 10th. Brno: Vysoké učení technické v Brně, 2003, s. 85-88. ISBN 80-214-2452-4. Detail
  • ŠVÉDA Miroslav. Executable Specifications with Rapid Prototyping for Embedded Distributed Systems. In: Programmable Devices and Systems 2003. IFAC Proceedings, Pergamon. Kidlington, Oxford: Elsevier Science, 2003, s. 49-54. ISBN 0-08-044130-0. Detail
  • ŠVÉDA Miroslav, RATTRAY Charles a ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, s. 169-172. ISBN 0-7695-1917-2. Detail
  • ŠVÉDA Miroslav a KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com, roč. 2003, č. 6, s. 5. ISSN 1213-161X. Detail
  • ŠVÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, roč. 2, č. 1, 2003, s. 4-9. ISSN 1109-2750. Detail
  • RATTRAY Charles, ŠVÉDA Miroslav a ROZENBLIT Jerzy, ed. Proceedings IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Huntsville, AL: University of Stirling, 2003. ISBN 1-85769-189X. Detail
  • ŠVÉDA Miroslav. Rapid Prototyping of Networked Embedded Systems. In: Proceedings of the IEEE International Conference and Workshop on the Engineering of Computer-Based Systems 2003. Huntsville, AL: IEEE Computer Society, 2003, s. 125-132. ISBN 0-7695-1917-2. Detail
  • BUREŠ František. Selected Methods of Specification and Verification of Industriall Application. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 614-618. ISBN 80-214-2379-X. Detail
  • ŠČUGLÍK František. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - www.elektrorevue.cz, roč. 2003, č. 23, s. 5. ISSN 1213-1539. Detail

2002

  • ŠVÉDA Miroslav. A fail-stop model for design of embedded systems. In: Telecommunications and Signal Processing TSP-2002. Brno: Vysoké učení technické v Brně, 2002, s. 152-155. ISBN 80-214-2172-X. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. In: Proceedings of IEEE Sensors 2002. Piscataway, New York: IEEE Computer Society, 2002, s. 1543-1548. ISBN 0-7803-7454-1. Detail
  • ŠVÉDA Miroslav a VRBA Radimír. An Integrated Framework for Sensor-Based Embedded Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, s. 195-202. ISBN 0-7695-1549-5. Detail
  • ŠČUGLÍK František. Comparing CSP representation and First order logic. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Vysoké učení technické v Brně, 2002, s. 341-344. ISBN 80-214-2180-0. Detail
  • ŠVÉDA Miroslav a RÁB Jaroslav. Designing dedicated distributed architectures for embedded systems. In: Proceedings of Electronic Devices and Systems, 2002. Brno: Vysoké učení technické v Brně, 2002, s. 301-310. ISBN 80-214-2180-0. Detail
  • KUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav a VRBA Radimír. Executable specifications for Process Automation and Microelectronics. In: IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002, s. 91-98. ISBN 1-85769-169-5. Detail
  • ŠVÉDA Miroslav, RATTRAY Charles a ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems. In: Proceedings of the Ninth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, CA: IEEE Computer Society, 2002, s. 224-225. ISBN 0-7695-1549-5. Detail
  • RATTRAY Charles, ŠVÉDA Miroslav a ROZENBLIT Jerzy, ed. IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: University of Stirling, 2002. ISBN 1-85769-169-5. Detail
  • KAPOUN Vladimír a ŠVÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com, roč. 2002, č. 12, s. 3. ISSN 1213-161X. Detail
  • ŠVÉDA Miroslav. Rapid Prototyping of Embedded Distributed Systems. In: IEEE Design and Diagnostics of Electronic Circuits and Systems. Brno: Fakulta informačních technologií VUT v Brně, 2002, s. 320-323. ISBN 80-214-2094-4. Detail
  • ŠVÉDA Miroslav. Specifications of embedded systems. Učební texty pro předmět SVS, obor IT. Brno, 2002. Detail
  • RYŠAVÝ Ondřej. XML constraint specification language. In: Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Vysoké učení technické v Brně, 2002, s. 4. ISBN 80-214-2180-0. Detail

2000

  • VEČEŘA Ivo, VRBA Radimír a ŠVÉDA Miroslav. Senzory s vlastním testováním. Elektrorevue - www.elektrorevue.cz, roč. 2000, č. 12, s. 1-7. ISSN 1213-1539. Detail
Nahoru