Project Details

Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů

Project Period: 1. 1. 2005 – 31. 12. 2007

Project Type: grant

Code: GA102/05/0723

Agency: Czech Science Foundation

Program: Standardní projekty

English title
A Framework for Formal Specifications and Prototyping of Information System's Network Applications
Type
grant
Keywords

Formal specs, virifications, rapid prototyping, information system applications,
communication protocols

Abstract

The proposed project deals with front-end parts of networked, distributed system
application designs. The project targets creation of a formal specification,
verification and prototyping framework for network applications ranging from
large information systems down to small components embedded e.g. in mobile
devices. Main attention will be focused both on architectural and behavioral
specifications of either reactive or real-time activities utilizing either
structured or object-oriented approach depending on application requirements. The
project is not striving to develop a new formal approach; instead, it should
create methods and techniques that enable to utilize current formal specification
means in real-world applications. Specified requirements would cover both safety
and security of applications including their interrelations. Knowledge-based
support will be focused on reuse of verified formal specifications. The
implementation and integration phases of the project will provide pilot versions
of techniques and tools for conceptual design stemming from application domain
knowledge, for architectural specifications of designed systems, for reactive and
real-time system behavior specifications, and for rapid prototyping.

Team members
Švéda Miroslav, prof. Ing., CSc. (UTKO) – research leader
Hruška Tomáš, prof. Ing., CSc. (DIFS)
Hruška Tomáš, prof. Ing., CSc. (DIFS)
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Ráb Jaroslav, Ing.
Ščuglík František, Ing., Ph.D. (CM-SFE)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS)
Zendulka Jaroslav, doc. Ing., CSc. (UIFS)
Publications

2007

  • MATOUŠEK, P. Kombinované rešení switch/router. Journal CONNECT!, 2007, roč. 2007, č. 4, s. 40-41. ISSN: 1211-3085. Detail
  • OČENÁŠEK, P. Analysis of the Network Communication With OPNET. Proceedings of the 16th International Conference on Systems Science: Volume II. Wroclaw: 2007. p. 312-317. ISBN: 978-83-7493-340-7. Detail
  • OČENÁŠEK, P. On the Design of Protocols in Electronic Commerce. MIC 2007 Conference Proceedings. Portorož: 2007. p. 1-6. ISBN: 978-961-6573-88-7. Detail
  • OČENÁŠEK, P. Tools for Analysis and Simulation of Protocol Communication. EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007. p. 87-91. ISBN: 978-80-214-3470-7. Detail
  • OČENÁŠEK, P. Wardriving: Detecting, Attacking, Securing. Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007. p. 1-4. ISBN: 978-80-8073-805-1. Detail
  • OČENÁŠEK, P.; ŠIMEK, V. Determining Location of Target Within the Indoor Location System. Proceedings of the 16th International Conference on Systems Science: Volume III. Wroclaw: 2007. p. 168-176. ISBN: 978-83-7493-341-4. Detail
  • OČENÁŠEK, P.; TRCHALÍK, R. Reasoning About Security Protocols in the ZigBee Standard. Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007. p. 1-4. ISBN: 978-80-8073-805-1. Detail
  • RYCHLÝ, M. Component Model with Support of Mobile Architectures. In Information Systems and Formal Models. Opava: Faculty of Philosophy and Science in Opava, Silesian university in Opava, 2007. p. 55-62. ISBN: 978-80-7248-006-7. Detail
  • RYCHLÝ, M.; TICHÁ, P. A Tool for Supporting Feature-Driven Development. Preprint of the Proceedings of CEE-SET 2007. Poznań, Poland: 2007. p. 185-196. Detail
  • SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. In Formal Methods: Applications and Technology. Lecture Notes in Computer Science. Lecture Notes in Computer Science 4346. Bonn: Springer Verlag, 2007. p. 148-164. ISBN: 978-3-540-70951-0. ISSN: 0302-9743. Detail
  • ŠVÉDA, M. End-User Development Framework for Embedded System Applications. Engineering of Computer-Based Systems, 2007. Tucson, Arizona: IEEE Computer Society, 2007. p. 186-192. ISBN: 0-7695-2772-8. Detail
  • ŠVÉDA, M. Formal Specs Reuse with Embedded Systems Design -- Behavioral and Architectural Specifications in Real-Time Application Domains. IEEE Proceedings of the Second International Conference on Systems, ICONS 2007. New York: IEEE Computer Society, 2007. p. 11-16. ISBN: 0-7695-2807-4. Detail
  • ŠVÉDA, M. Industrial Measurement Application Development. Proceedings of the First International Workshop on Application-oriented Systems. Saint Luce, Martinique: IEEE Computer Society, 2007. p. 523-529. ISBN: 0-7695-2807-4. Detail
  • ŠVÉDA, M.; RYŠAVÝ, O. Industrial Application Development Using Case-Based Reasoning. Proceedings of International Workshop on Artificial Neural Networks and Intelligent Information Processing. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007. p. 64-70. ISBN: 972-8865-86-4. Detail
  • ŠVÉDA, M.; TRCHALÍK, R. Safety and Security-driven Design of Networked Embedded Systems. Proceedings 10th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools. Lübeck: IEEE Computer Society, 2007. p. 420-423. ISBN: 0-7695-2978-X. Detail
  • ŠVÉDA, M.; VRBA, R. SPECIFICATION-DRIVEN DESIGN OF EMBEDDED SYSTEMS - Design Support for Networked Embedded Software Applications. Proceedings of the International Joint Conference on e-Business and Telecommunications (ICETE 2007, ICE-B). Barcelona: IEEE Computer Society, 2007. p. 23-30. ISBN: 978-989-8111-11-1. Detail
  • ŠVÉDA, M.; VRBA, R. Towards a Unified Security/Safety Framework - A Design Approach to Embedded System Applications. Proceedings of the International Conference on Software and Data Technologies (ICSOFT 2007). Barcelona: Institute for Systems and Technologies of Information, Control and Communication, 2007. p. 345-350. ISBN: 978-989-8111-06-7. Detail
  • ŠVÉDA, M.; VRBA, R.; RYŠAVÝ, O. Pattern-Driven Reuse of Embedded Control Design. Proceedings of Fourth International Conference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007. p. 152-159. ISBN: 972-8865-84-8. Detail
  • TRCHALÍK, R.; OČENÁŠEK, P. Addressing and Routing in Sensor Networks. Proceedings of the 8th International Carpathian Control Conference. Košice: The University of Technology Košice, 2007. p. 1-4. ISBN: 978-80-8073-805-1. Detail
  • TRCHALÍK, R.; ŠVÉDA, M. Sensor Networking through Intranet and ZigBee. EDS '07 IMAPS CS International Conference Proceedings. Brno: Brno University of Technology, 2007. p. 1-5. ISBN: 978-80-214-3470-7. Detail
  • WEISS, P.; ZENDULKA, J. Modeling of Services and Service Collaboration in UML 2.0. Information Systems and Formal Models. Opava: Faculty of Philosophy and Science in Opava, Silesian university in Opava, 2007. p. 29-36. ISBN: 978-80-7248-006-7. Detail

2006

  • BURGETOVÁ, I.; ZENDULKA, J. Clustering of Protein Sequences. Proceedings of 1st International Workshop WFM'06. Přerov: 2006. p. 71-78. ISBN: 80-86840-20-4. Detail
  • MASAŘÍK, K.; HRUŠKA, T. UML as Architecture Description Language. MOSIS'06, Proceedings of 40th Conference "Modelling and Simulation of Systems". Ostrava: 2006. p. 41-48. ISBN: 80-86840-21-2. Detail
  • MASAŘÍK, K.; HRUŠKA, T.; KOLÁŘ, D. Language and Development Environment For Microprocessor Design Of Embedded Systems. Proceedings of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 120-125. ISBN: 80-214-3130-X. Detail
  • MATOUŠEK, P. Nástroje pro analýzu bezpečnostních protokolů. Brno: 2006. p. 0-0. Detail
  • MATOUŠEK, P. Praktické úlohy z počítačových sítí. Brno: 2006. s. 0-0. Detail
  • MATOUŠEK, P. Dobrého nespálí - test firewallů pro sítě do 150 uživatelů. Journal CONNECT!, 2006, roč. 2006, č. 6, s. 26-29. ISSN: 1211-3085. Detail
  • OČENÁŠEK, P. Automatic Design of Security Protocols. Počítačové architektúry & diagnostika 2006. Bratislava: Slovak Academy of Science, 2006. p. 49-54. ISBN: 80-969202-2-7. Detail
  • OČENÁŠEK, P. Automatic System for Making Web Content Accessible for Visually Impaired Users. Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: 2006. p. 430-433. ISBN: 960-8457-57-2. Detail
  • OČENÁŠEK, P. Security Protocols: Analysis and Design. Proceedings of the Junior Scientist Conference 2006. Vienna: Technical University Wien, 2006. p. 51-52. ISBN: 3-902463-05-8. Detail
  • OČENÁŠEK, P. Automatic System for Making Web Content Accessible for Visually Impaired Users. WSEAS Transactions on Computers Research, 2006, vol. 1, no. 2, p. 325-328. ISSN: 1991-8755. Detail
  • OČENÁŠEK, P.; OČENÁŠEK, J. Designing Secure Communications Using Evolutionary Approach. Genetic and Evolutionary Computation Conference GECCO 2006. Seattle, WA: Association for Computing Machinery, 2006. p. 1-3. Detail
  • OČENÁŠEK, P.; ŠVÉDA, M. An Approach to Automated Design of Security Protocols. Proceedings of the International Conference on Networking (ICN 2006). Los Alamitos: IEEE Computer Society, 2006. p. 192-195. ISBN: 0-7695-2552-0. Detail
  • OČENÁŠEK, P.; TRCHALÍK, R. Modal Logics Used for Authentication Protocols Analysis: Survey and Comparison. Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006. p. 401-404. ISBN: 80-248-1066-2. Detail
  • OČENÁŠEK, P.; TRCHALÍK, R. On the Implementation of Metrics in the Workflow System. Proceedings of the 6th International Conference on Applied Computer Science. Puerto De La Cruz: World Scientific and Engineering Academy, 2006. p. 329-331. ISBN: 960-8457-57-2. Detail
  • OČENÁŠEK, P.; TRCHALÍK, R. The Use of Modal Logics in the Security Protocols Analysis. Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 395-399. ISBN: 80-214-3163-6. Detail
  • OČENÁŠEK, P.; TRCHALÍK, R. Tracing Authentication Protocols Behavior: A Case Study. MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006. p. 166-173. ISBN: 80-214-3287-X. Detail
  • OČENÁŠEK, P.; TRCHALÍK, R. On the Implementation of Metrics in the Workflow System. WSEAS Transactions on Computers Research, 2006, vol. 1, no. 2, p. 360-362. ISSN: 1991-8755. Detail
  • RYCHLÝ, M. Towards Verification of Systems of Asynchronous Concurrent Processes. In Proceedings of 9th International Conference ISIM'06. Přerov: 2006. p. 123-130. ISBN: 80-86840-19-0. Detail
  • RYCHLÝ, M.; ZENDULKA, J. Distributed Information System as a System of Asynchronous Concurrent Processes. MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Faculty of Information Technology BUT, 2006. p. 206-213. ISBN: 80-214-3287-X. Detail
  • RYŠAVÝ, O. Inheritance of specifications in the calculus of functional objects. Brno: Faculty of Information Technology BUT, 2006. Detail
  • RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. Designing Algorithm-oriented Generic Library on .NET Framework. 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. p. 159-163. ISBN: 0-7695-2546-6. Detail
  • SMRČKA, A.; ŘEHÁK, V.; VOJNAR, T.; ŠAFRÁNEK, D.; MATOUŠEK, P.; ŘEHÁK, Z. Verifying VHDL Design with Multiple Clocks in SMV. Proceedings of FMICS 2006. Bonn: 2006. p. 140-155. Detail
  • ŠVÉDA, M.; TRCHALÍK, R. Smart Sensor Networking with ZigBee and Internet. Proceedings of the 2nd International Workshop on Artificial Neural Networks and Intelligent Information Processing (ANNIIP 2006). Setúbal: University of Pierre and Marie Curie, 2006. p. 64-71. ISBN: 972-8865-68-6. Detail
  • ŠVÉDA, M.; VRBA, R. Fault Maintenance in Embedded Systems Applications. Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics (ICINCO 2006). Setúbal: IEEE Computer Society, 2006. p. 183-186. ISBN: 972-8865-59-7. Detail
  • ŠVÉDA, M.; VRBA, R. INTERNET-BASED EMBEDDED SYSTEM ARCHITECTURES -- End-User Development Support for Embedded System Applications. Proceedings of the IEEE International Joint Conference on e-Business and Telecommunications (ICETE 2006), 2006. Setúbal: IEEE Computer Society, 2006. p. 63-68. ISBN: 972-8865-62-7. Detail
  • ŠVÉDA, M.; VRBA, R.; OČENÁŠEK, P. Local Time Specifications of Networked Embedded Systems. Proceedings of the International Conference on Systems (ICONS 2006). Los Alamitos: IEEE Computer Society, 2006. p. 120-125. ISBN: 0-7695-2552-0. Detail
  • TRCHALÍK, R. Design IEEE 802.15.4 ZigBee sítě. Počítačové architektúry & diagnostika 2006. Bratislava: Slovenská akademie věd, 2006. s. 107-112. ISBN: 80-969202-2-7. Detail
  • TRCHALÍK, R.; OČENÁŠEK, P. Metrics in Workflow Systems. Proceedings of the 7th International Carpathian Control Conference. Ostrava: VŠB-Technical University of Ostrava, 2006. p. 569-572. ISBN: 80-248-1066-2. Detail
  • TRCHALÍK, R.; OČENÁŠEK, P. Zigbee Gateways. Proceedings of the 12th Conference STUDENT EEICT 2006. Brno: Faculty of Electrical Engineering and Communication BUT, 2006. p. 410-414. ISBN: 80-214-3163-6. Detail
  • TRCHALÍK, R.; ŠVÉDA, M. Sensor Networking through Intranet and ZigBee. Proceedings IMAPS CS International Conference EDS'06. Brno: Brno University of Technology, 2006. p. 217-221. ISBN: 80-214-3246-2. Detail

2005

  • BUREŠ, F.; RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. A Framework for Formal Specification of Embedded Systems. Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005. p. 323-330. ISBN: 0-7695-2308-0. Detail
  • BURGER, T.; HRUŠKA, T. Formalism for the Systems with Roles. papers from the AAAI Fall Symposium. Roles, an Interdisciplinary Perspective: Ontologies, Programming Languages, and Multiagent Systems. Menlo Park, California: American Association for Artificial Intelligence, 2005. p. 26-30. ISBN: 978-1-57735-254-9. Detail
  • BURGER, T.; HRUŠKA, T. Formalism for the Systems with Roles. Proceedings of 8th International Conference ISIM'05 Information. Ostrava: 2005. p. 227-234. ISBN: 80-86840-09-3. Detail
  • HRUŠKA, T. DATAKON 2005 -Proceedings of the Annual Database Conference (ed. Tomáš Hruška). Brno: Masarykova universita, 2005. ISBN: 80-210-3813-6. Detail
  • MASAŘÍK, K.; HRUŠKA, T.; KOLÁŘ, D.; LUKÁŠ, R. System for design and simulation of microprocessors. Proceedings of 8th Spring International Conference - ISIM'05. Ostrava: 2005. p. 269-276. ISBN: 80-86840-09-3. Detail
  • MATOUŠEK, P. Není datům v síti těsno?. Journal CONNECT!, 2005, roč. 2005, č. 11, s. 7-8. ISSN: 1211-3085. Detail
  • MATOUŠEK, P.; SMRČKA, A.; VOJNAR, T. High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design. Correct Hardware Design and Verification Methods. Lecture Notes in Computer Science. Lecture Notes in Computer Science 3725/2005. Berlin: Springer Verlag, 2005. p. 371-375. ISBN: 978-3-540-29105-3. ISSN: 0302-9743. Detail
  • OČENÁŠEK, P. Evolutionary Approach in the Security Protocols Design. Proceedings of the First European Conference on Computer Network Defence. University of Glamorgan: Springer Verlag, 2005. p. 147-156. ISBN: 1-84628-311-6. Detail
  • OČENÁŠEK, P. The Security Protocol Design Using Genetic Algorithms Paradigms. Proceedings of the 11th Conference and Competition STUDENT EEICT 2005. Brno: Faculty of Electrical Engineering and Communication BUT, 2005. p. 576-580. ISBN: 80-214-2890-2. Detail
  • OČENÁŠEK, P. Towards Selected Problems in the Security Protocol Design and Verification. Pre-Proceedings of the 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005). Brno: Faculty of Informatics MU, 2005. p. 1-9. Detail
  • OČENÁŠEK, P.; TOUFAROVÁ, J. 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, 2005, roč. 2005, č. 1, s. 1-8. ISSN: 1801-2213. Detail
  • ŠČUGLÍK, F. Relation Between UML2 Activity Diagrams and CSP algebra. Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005. p. 1234-1239. ISBN: 960-8457-32-7. Detail
  • ŠČUGLÍK, F. Time Synchronization Possibilities in Wireless networks for Embedded Systems. Proceedings of the 5th Int. Conf. on Applied Electromagnetics, Wireless and Optical Communications. Kerkyra: World Scientific and Engineering Academy, 2005. p. 1215-1219. ISBN: 960-8457-34-3. Detail
  • ŠČUGLÍK, F. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, 2005, vol. 4, no. 10, p. 1234-1240. ISSN: 1109-2750. Detail
  • ŠČUGLÍK, F. Time Synchronization Possibilities in Wireless networks for Embedded Systems. WSEAS TRANSACTIONS on COMMUNICATIONS, 2005, vol. 4, no. 11, p. 1215-1219. ISSN: 1109-2742. Detail
  • ŠVÉDA, M. Computer Networks with Smart Sensors: the IEEE 1451 Approach. Proceedings IMAPS CS International Conference EDS'05. Brno: Brno University of Technology, 2005. p. 107-110. ISBN: 80-214-2990-9. Detail
  • ŠVÉDA, M.; VRBA, R. An Approach to the Design of Networked Embedded Systems. Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Programmable devices and systems. Kidlington, Oxford: Elsevier Science, 2005. p. 2223-2228. ISBN: 0-08-045108-X. ISSN: 1474-6670. Detail
  • ŠVÉDA, M.; VRBA, R. Sensor Networks with IEEE 1451.1 Embedded Systems on Internet. IEEE Proceedings AsiaSens 2005. Kuala Lumpur: IEEE Computer Society, 2005. p. 251-255. ISBN: 0-7803-9371-6. Detail
  • ŠVÉDA, M.; VRBA, R. Embedded Systems with IEEE 1451.1 on Internet. In Enabling Technologies for the New Knowledge Society. Cairo: IEEE Computer Society, 2005. p. 539-550. ISBN: 0-7803-9270-1. Detail
  • ZENDULKA, J. Proceedings of 8th Spring International Conference ISIM'05. Ostrava: 2005. p. 0-0. ISBN: 80-86840-09-02. Detail
Back to top