Project Details

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

Project Period: 1. 1. 2002 - 31. 12. 2004

Project Type: grant

Code: GA102/02/1032

Agency: Czech Science Foundation

Program:

English title
Embedded Control Systems and their Inter-Communication
Type
grant
Keywords

embedded systems, networking, development environments, system architectures

Abstract

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.

Team members
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT) , research leader
Bílek Jan, Doc. Ing., CSc. (FEL ČVUT) , team leader
Srovnal Vilém, prof. Ing., CSc. (FEI VŠB) , team leader
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)
Publications

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, pp. 113-120. ISBN 0-7695-2125-8. Detail
  • ŠVÉDA Miroslav and 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, pp. 170-176. ISBN 0-7803-8143-2. Detail
  • BUREŠ František and 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, p. 5. ISBN 960-8052-95-5. Detail
  • RYŠAVÝ Ondřej and BUREŠ František. A Graph Representation for Use Case Specifications. WSEAS Transactions on Computers, vol. 2004, no. 3, pp. 686-690. ISSN 1109-2750. Detail
  • ŠVÉDA Miroslav and 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, p. 8. ISBN 0-8576-9197-0. Detail
  • ŠVÉDA Miroslav, RATTRAY Charles and ROZENBLIT Jerzy. Formal Specifications of Computer-Based Systems - J.UCS Special Issue. Journal of Universal Computer Science, vol. 10, no. 10, 2004, pp. 1354-1356. ISSN 0948-6968. Detail
  • RYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František and Š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, pp. 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: Brno University of Technology, 2004, pp. 350-353. ISBN 80-214-2701-9. Detail
  • VRBA Radimír, ŠVÉDA Miroslav and 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, pp. 7-10. ISBN 0-7803-8143-2. Detail
  • RATTRAY Charles, ŠVÉDA Miroslav and 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 and Š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: Faculty of Electrical Engineering and Communication BUT, 2004, pp. 228-231. ISBN 80-214-2701-9. Detail
  • ŠVÉDA Miroslav and 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, p. 6. ISBN 0-85760-919-X. Detail
  • HÁZE Jiří, KREJČÍ Jan, VRBA Radimír and Š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, pp. 155-158. ISBN 0-7803-8143-2. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Sensor Networking with Publish/Subscribe and IP Multicast. WSEAS Transactions on Information Science and Applications, vol. 1, no. 4, 2004, pp. 983-987. ISSN 1790-0832. Detail
  • BUREŠ František and ŠČUGLÍK František. Shared variables in CSP. In: Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004, p. 5. ISBN 960-8052-95-5. Detail
  • ŠČUGLÍK František and BUREŠ František. Shared variables in CSP. WSEAS Transactions on Computers, vol. 2004, no. 3, pp. 690-695. ISSN 1109-2750. Detail
  • VRBA Radimír, SAJDL Ondřej, KUCHTA Radek and ŠVÉDA Miroslav. Wireless Smart Sensor Network System. In: Proceedings of the ICSE & INCOSE 2004 Conference. Las Vegas, NV: CRC Press LLC, 2004, pp. 466-471. ISBN 0-8576-9197-0. Detail

2003

  • RYŠAVÝ Ondřej and Š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, pp. 35-40. ISBN 1-85769-189X. Detail
  • CACH Petr, FIEDLER Petr, ŠVÉDA Miroslav, PROKOP Miloš and WAGNER Marek. A Sensor with Embedded Ethernet. WSEAS Transactions on Circuits, vol. 2, no. 1, 2003, pp. 213-215. ISSN 1109-2734. Detail
  • VEČEŘA Ivo, VRBA Radimír and Š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, pp. 367-370. ISBN 980-07-8150-1. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. An Integrated Framework for Internet-Based Applications of Smart Sensors. IEEE Sensors Journal, vol. 3, no. 5, 2003, pp. 579-586. ISSN 1530-437X. Detail
  • ŠČUGLÍK František and Š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, pp. 41-47. ISBN 1-85769-189X. Detail
  • ŠČUGLÍK František and ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science, vol. 9, no. 11, 2003, pp. 1277-1295. ISSN 0948-6968. Detail
  • SAJDL Ondřej, BRADÁČ Zdeněk, VRBA Radimír and ŠVÉDA Miroslav. Data Acquisition Systém Exploiting Bluetooth Technology. WSEAS Transactions on Circuits, vol. 2, no. 1, 2003, pp. 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, pp. 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: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 629-633. ISBN 80-214-2379-X. Detail
  • ŠVÉDA Miroslav and 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, pp. 157-162. ISBN 980-07-8150-1. Detail
  • ŠVÉDA Miroslav and VRBA Radimír. Embedded System Specification Reuse by a Case Based Reasoning Approach. WSEAS Transactions on Computers, vol. 2, no. 1, 2003, pp. 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: Brno University of Technology, 2003, pp. 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, pp. 49-54. ISBN 0-08-044130-0. Detail
  • ŠVÉDA Miroslav, RATTRAY Charles and 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, pp. 169-172. ISBN 0-7695-1917-2. Detail
  • ŠVÉDA Miroslav and KAPOUN Vladimír. Internet-Based Smart Sensor Networking Architectures. ElectronicsLetters.com, vol. 2003, no. 6, p. 5. ISSN 1213-161X. Detail
  • ŠVÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers, vol. 2, no. 1, 2003, pp. 4-9. ISSN 1109-2750. Detail
  • RATTRAY Charles, ŠVÉDA Miroslav and 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, pp. 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: Faculty of Electrical Engineering and Communication BUT, 2003, pp. 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, vol. 2003, no. 23, p. 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: Brno University of Technology, 2002, pp. 152-155. ISBN 80-214-2172-X. Detail
  • ŠVÉDA Miroslav and 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, pp. 1543-1548. ISBN 0-7803-7454-1. Detail
  • ŠVÉDA Miroslav and 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, pp. 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: Brno University of Technology, 2002, pp. 341-344. ISBN 80-214-2180-0. Detail
  • ŠVÉDA Miroslav and RÁB Jaroslav. Designing dedicated distributed architectures for embedded systems. In: Proceedings of Electronic Devices and Systems, 2002. Brno: Brno University of Technology, 2002, pp. 301-310. ISBN 80-214-2180-0. Detail
  • KUČERA Pavel, ZEZULKA František, ŠVÉDA Miroslav and 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, pp. 91-98. ISBN 1-85769-169-5. Detail
  • ŠVÉDA Miroslav, RATTRAY Charles and 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, pp. 224-225. ISBN 0-7695-1549-5. Detail
  • RATTRAY Charles, ŠVÉDA Miroslav and 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 and ŠVÉDA Miroslav. Management systems and their organization. ElectronicsLetters.com, vol. 2002, no. 12, p. 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: Faculty of Information Technology BUT, 2002, pp. 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: Brno University of Technology, 2002, p. 4. ISBN 80-214-2180-0. Detail

2000

  • VEČEŘA Ivo, VRBA Radimír and ŠVÉDA Miroslav. Senzory s vlastním testováním. Elektrorevue - www.elektrorevue.cz, vol. 2000, no. 12, pp. 1-7. ISSN 1213-1539. Detail
Back to top