Department of Computer Systems
Safety and security of networked embedded system applications |
| Reseach leader: | Srovnal Vilém |
|---|
| Team leaders: | Bílek Jan, Švéda Miroslav |
|---|
| Team members: | Dvořák Václav, Jaroš Jiří, Očenášek Pavel, Ráb Jaroslav, Ryšavý Ondřej, Trchalík Roman |
|---|
| Agency: | GAČR |
| Code: | GA102/08/1429 |
| Start: | 2008 |
| End: | 2010 |
| Keywords: | safety, security, embedded system, networks, development environments |
| Annotation: |
|---|
| The main benefit of the project is the consideration of what safety and security mean in the context of embedded systems networks and the study of methods and techniques that can be used to achieve it. Goal is to determine methods and techniques for the development of embedded systems networks with demands on safety and security in adherence to international standards, and to use, operate and modify the most promising internationally available techniques and tools for analysis and model checking aiming at validating safety and security properties. Adherence to standards is a growing need in today's interoperable environments of embedded system networks. The development of embedded systems networks necessitates that the safety and security features of the system be compared against appropriate protection profiles and security targets of the common criteria. This involves identifying the appropriate evaluation assurance level and then performing the actual validation. Internal and external safety and security are becoming much more critical as more and more people depend on embedded devices in many aspects of their lives. Strong security measures will allow embedded systems to carry critical data and deliver it to only those who should be getting it. |
Publications
| 2011 | Jaroš Jiří, Dvořák Václav: Optimizing Collective Communications on the K-port Spidergon Network, In: Proceedings of the Sixth International Conference on Systems, ICONS 2011, St. Maarten, AN, IARIA, 2011, p. 24-29, ISBN 978-1-61208-002-4 |
| 2010 | Dvořák Václav, Jaroš Jiří: Optimizing Collective Communications on 2D-Mesh and Fat Tree NoC, In: Proceedings of the Ninth International Conference on Networks ICN 2010, Piscataway, NJ, US, IEEE CS, 2010, p. 22-27, ISBN 978-0-7695-3979-9 |
| | Dvořák Václav, Mikušek Petr: Design of Arbiters and Allocators Based on Multi-Terminal BDDs, In: Journal of Universal Computer Science, Vol. 16, No. 14, 2010, AT, p. 1826-1852, ISSN 0948-6968 |
| | Dvořák Václav: Multi-Terminal BDDs in Microprocessor-Based Control, In: Proceedings ICINCO 2010, Funchal, Madeira, PT, INSTICC, 2010, p. 140-145, ISBN 978-989-8425-02-7 |
| | Jaroš Jiří, Dvořák Václav: Evolutionary-Based Conflict-Free Scheduling of Collective Communications on Spidergon NoCs, In: Proceedings of 2010 Genetic and Evolutionary Computation Conference, New York, US, ACM, 2010, p. 1171-1178, ISBN 978-1-4503-0072-8 |
| | Jaroš Jiří: Evolutionary Design of Collective Communications on Wormhole Networks, Brno, CZ, UPSY FIT VUT, 2010, p. 149 |
| | Jaroš Jiří: Evolutionary Design of Collective Communications on Wormhole Networks, Brno, CZ, VUTIUM, 2010, p. 183, ISBN 978-80-214-4208-5 |
| | Kornecki Andrew J., Grega Wojciech, Hilburn Thomas B., Thiriet Jean-Marc, Švéda Miroslav, Ryšavý Ondřej, Pilat Adam: Transatlantic Engineering Programs: An Experience in International Cooperation, Safeeullah Soomro (Editor): Engineering the Computer Science and IT, Vienna, AT, IN-TECH, 2010, p. 65-84, ISBN 978-953-307-012-4 |
| | Očenášek Pavel, Felix Martin: Camera and Sensor Monitoring System, In: EDS '10 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2010, p. 241-245, ISBN 978-80-214-4138-5 |
| | Očenášek Pavel, Hranáč Jakub: Regression Based Logic for Authentication Protocol Design, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 2010, p. 89-92, ISBN 978-1-4244-9674-7 |
| | Očenášek Pavel, Kučerová Petra: Analysis of Selected Payment Protocols, In: EDS '10 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2010, p. 235-240, ISBN 978-80-214-4138-5 |
| | Očenášek Pavel, Papež Zdeněk: A Knowledge-Belief Approach to the Security Protocol Analysis, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 2010, p. 85-88, ISBN 978-1-4244-9674-7 |
| | Očenášek Pavel: Automated Design of Authentication and Key Distribution Protocols, Brno, CZ, UIFS FIT VUT, 2010, p. 113 |
| | Očenášek Pavel: On the Design of Communication in Business Information Systems, In: Proceedings of 2010 International Conference on Economics, Business and Management, Chengdu, CN, IEEE, 2010, p. 98-101, ISBN 978-1-4244-9202-2 |
| | Švéda Miroslav, Ryšavý Ondřej, Matoušek Petr, Ráb Jaroslav, Čejka Rudolf: SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties, In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010, Athens, GR, INSTICC, 2010, p. 5-11, ISBN 978-989-8425-25-6 |
| | Švéda Miroslav, Ryšavý Ondřej, Matoušek Petr, Ráb Jaroslav: An Approach for Automated Network-Wide Security Analysis, In: Proceedings of the Ninth International Conference on Networks ICN 2010, Les Menuires, FR, IEEE CS, 2010, p. 294-299, ISBN 978-0-7695-3979-9 |
| | Švéda Miroslav, Trchalík Roman: Development of Interconnecting SW for Intranets and Fieldbuses, In: IFAC-PapersOnLine, Vol. 2010, No. 10, Laxenburg, AT, p. 119-124, ISSN 1474-6670 |
| | Švéda Miroslav, Vrba Radimír: An Embedded Application Regarded as Cyber-Physical System, In: Proceedings of the Fifth International Conference on Systems ICONS 2010, Les Menuires, FR, IEEE CS, 2010, p. 170-174, ISBN 978-0-7695-3980-5 |
| | Švéda Miroslav: Fault Management Driven Design with Safety and Security Requirements, In: Proceedings 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems ECBS 2010, Oxford, GB, IEEE CS, 2010, p. 113-120, ISBN 978-0-7695-4005-4 |
| | Švéda Miroslav: NETWORK CONVERGENCY AND MODELING -- Design Experience with Routing SW for Intranets and Fieldbusses, In: Proceedings of the Fifth International Conference on Software and Data Technologies, ICSOFT 2010, Athens, GR, INSTICC, 2010, p. 173-178, ISBN 978-989-8425-22-5 |
| 2009 | Dvořák Václav, Mikušek Petr: Firmware Optimization for Embedded Logic Control, In: IFAC-PapersOnLine, Vol. 2009, No. 1, Laxenburg, AT, p. 109-114, ISBN 978-3-902661-69-2, ISSN 1474-6670 |
| | Grega Wojciech, Hilburn Thomas B., Kornecki Andrew J., Ryšavý Ondřej, Švéda Miroslav, Thiriet Jean-Marc: Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology, In: Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009, Valencia, ES, UPV, 2009, p. 5, ISBN 978-84-8363-428-8 |
| | Jaroš Jiří: Evolutionary Optimization of Multistage Interconnection Networks Performance, In: Proceeding of Genetic and Evolutionary Computation Conference, GECCO 2009, New York, US, ACM, 2009, p. 1537-1544, ISBN 978-1-60558-325-9 |
| | Kornecki Andrew J., Hilburn Thomas B., Grega Wojciech, Švéda Miroslav, Thiriet Jean-Marc: ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems, In: Journal of Automation, Mobile Robotics and Intelligent Systems, Vol. 3, No. 1, 2009, PL, p. 66-71, ISSN 1897-8649 |
| | Mikušek Petr, Dvořák Václav: Heuristic Synthesis of Multi-Terminal BDDs Based on Local Width/Cost Minimization, In: 12th EUROMICRO Conference on Digital System Design DSD 2009, Patras, GR, IEEE CS, 2009, p. 605-608, ISBN 978-0-7695-3782-5 |
| | Mikušek Petr: Dekompoziční techniky pro aplikačně specifické systémy, In: Počítačové architektury a diagnostika 2009, Zlín, CZ, UTB ve Zlíně, 2009, p. 118-123, ISBN 978-80-7318-847-4 |
| | Mikušek Petr: Multi-Terminal BDD Synthesis and Applications, In: Proceedings 19th International Conference on Field Programmable Logic and Applications (FPL), Prague, CZ, IEEE CS, 2009, p. 721-722, ISBN 978-1-4244-3892-1 |
| | Očenášek Pavel, Kučerová Petra: Payment Protocols Verification: A Case Study, In: EDS '09 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2009, p. 38-43, ISBN 978-80-214-3933-7 |
| | Očenášek Pavel, Říha Tomáš: Review and Application of a Tool for Protocol Verification, Brno, CZ, 2009, p. 5 |
| | Očenášek Pavel, Švéda Miroslav: A Model for Measurement and Analysis of the Workflow Processes, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, p. 149-153, ISBN 978-3-642-02555-6 |
| | Očenášek Pavel, Švéda Miroslav: AVISPA: Towards Practical Verification of Communication Properties, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 157-160, ISSN 1474-6670 |
| | Očenášek Pavel, Trchalík Roman, Švéda Miroslav: On the Implementation of Metrics in Industrial Embedded Systems, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 161-164, ISSN 1474-6670 |
| | Očenášek Pavel: An Approach for the Design of Secure Communication in Embedded Systems, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, p. 579-586, ISBN 978-3-642-02555-6 |
| | Očenášek Pavel: Towards Security Issues in ZigBee Architecture, In: Human Interface and the Management of Information. Designing Information Environments, Berlin, DE, Springer, 2009, p. 587-593, ISBN 978-3-642-02555-6 |
| | Očenášek Pavel: Universal Access to the Internet Web Pages for Users with Special Needs, In: Universal Access in Human-Computer Interaction. Applications and Services, Berlin, DE, Springer, 2009, p. 764-767, ISBN 978-3-642-02712-3 |
| | Ráb Jaroslav, Ryšavý Ondřej, Švéda Miroslav: On the Implementation of State-space Exploration Procedure in a Relational Database Management System, In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software, Mragowo, PL, IEEE CS, 2009, p. 151-156, ISBN 978-83-60810-22-4 |
| | Ryšavý Ondřej, Ráb Jaroslav: A Formal Model of Composing Components: The TLA+ Approach, In: Innovations in Systems and Software Engineering, Vol. 5, No. 2, 2009, London, GB, p. 139-149, ISSN 1614-5046 |
| | Švéda Miroslav, Kornecki Andrew J., Hilburn Thomas B., Grega Wojciech, Thiriet Jean-Marc, Ryšavý Ondřej: Real-Time Software-Intensive Systems Engineering: An International Perspective, In: European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009, Valencia, ES, UPV, 2009, p. 6, ISBN 978-84-8363-428-8 |
| | Švéda Miroslav, Trchalík Roman, Očenášek Pavel: Design of Networked Embedded Systems: An Approach for Safety and Security, In: Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009, Ostrava, CZ, IFAC, 2009, p. 131-136, ISSN 1474-6670 |
| | Švéda Miroslav, Vrba Radimír: Meta-Design with Safe and Secure Embedded System Networking, In: International Journal On Advances in Security., Vol. 2, No. 1, 2009, US, p. 8-15, ISSN 1942-2636 |
| | Švéda Miroslav, Vrba Radimír: Specifications of Secure and Safe Embedded System Networks, In: 8th International Conference on Networks Proceedings ICN 2009, New York, NY, US, IEEE CS, 2009, p. 220-225, ISBN 978-0-7695-3552-4 |
| | Švéda Miroslav: Fault Management for Secure Embedded Systems, In: International Conference on Systems Proceedings, ICONS 2009, New York, NY, US, IEEE CS, 2009, p. 23-28, ISBN 978-0-7695-3551-7 |
| | Švéda Miroslav: Safe and Secure Networked Embedded Applications, In: Proceedings of the 4th International Conference on Broadband Communication, Wroclaw, PL, IEEE, 2009, p. 6, ISBN 978-83-7493-405-3 |
| | Thiriet Jean-Marc, Hilburn Thomas B., Kornecki Andrew J., Grega Wojciech, Švéda Miroslav: Organization of a US-European Trans-national Degree in Engineering, In: J3eA - Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, Vol. 2009, No. 1, Bruxelles, BE, p. 1-7, ISSN 1638-1963 |
| | Trchalík Roman: A Component-Based model for Embedded Software, In: EDS '09 IMAPS CS International Conference Proceedings, Brno, CZ, CZ, VUT v Brně, 2009, p. 5, ISBN 978-80-214-3933-7 |
| 2008 | Čejka Rudolf, Matoušek Petr, Ráb Jaroslav, Ryšavý Ondřej, Švéda Miroslav: A Formal Approach to Network Security Analysis, Brno, CZ, FIT VUT, 2008, p. 20 |
| | Dvořák Václav, Mikušek Petr: LUT Cascade-Based Implementations of Allocators, In: Proc. of the 25th Convention of EEE in Israel, New York, US, IEEE CS, 2008, p. 85-89, ISBN 978-1-4244-2482-5 |
| | Dvořák Václav: Communication Performance of Mesh- and Ring-Based NoCs, In: Proceedings of the 7th Int. Conference on Networking, New York, US, IEEE CS, 2008, p. 156-161, ISBN 978-0-7695-3106-9 |
| | Dvořák Václav: Embedded Firmware Development with Multi-Way Branching, In: Proc. of the 3rd Int. Coference on Systems, New York, US, IEEE CS, 2008, p. 317-322, ISBN 978-0-7695-3105-2 |
| | Dvořák Václav: Implementation of Combinational and Sequential Functions in Embedded Firmware, In: International Journal of Software Engineering and Its Applications, Vol. 2, No. 1, 2008, Daegu, KR, p. 43-54, ISSN 1738-9984 |
| | Hilburn Thomas B., Kornecki Andrew J., Thiriet Jean-Marc, Grega Wojciech, Švéda Miroslav: An RSIC-SE2004 Curriculum Framework, In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software, Wisla, PL, IEEE CS, 2008, p. 633-638, ISBN 978-83-60810-14-9, ISSN 1896-7094 |
| | Hilburn Thomas B., Thiriet Jean-Marc, Kornecki Andrew J., Grega Wojciech, Švéda Miroslav: Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees, In: Inovations, Vol. 2008, No. 1, Arlington, VA, US, p. 29-42, ISBN 978-0-9741252-8-2, ISSN 1553-9911 |
| | Jaroš Jiří, Dvořák Václav: An Evolutionary Design Technique for Collective Communications on Optimal Diameter-Degree Networks, In: 2008 Genetic and Evolutionary Computational Conference GECCO, New York, US, ACM, 2008, p. 1539-1546, ISBN 978-1-60558-131-6 |
| | Jaroš Jiří: Evolutionary Design of Fault Tolerant Collective Communications, In: Evolvable Systems: From Biology to Hardware, Berlin, DE, Springer, 2008, p. 261-272, ISBN 978-3-540-85856-0 |
| | Kornecki Andrew J., Grega Wojciech, Thiriet Jean-Marc, Švéda Miroslav, Gonzales Avelino, Tharp Hal: Dependable Systems International Research and Educational Experience, Daytona Beach, US, EC EU, 2008, p. 20 |
| | Kornecki Andrew J., Hilburn Thomas B., Grega Wojciech, Thiriet Jean-Marc, Švéda Miroslav: A COMMON US-EUROPE CURRICULUM: An Approach for Real-Time Software Intensive Systems, In: Proceedings of the 2008 ASEE Anual Conference & Exposition, Pittsburgh, PA, US, ASEE, 2008, p. 1359-1371, ISBN 0-87823-196-X |
| | Matoušek Petr, Ráb Jaroslav, Ryšavý Ondřej, Švéda Miroslav: A Formal Model for Network-wide Security Analysis, In: Proceeding of the 15 IEEE International Symposium and Workshop on the Engineering of Computer-based Systems, Belfast, GB, University of Ulster, 2008, p. 171-181, ISBN 0-7695-3141-5 |
| | Mikušek Petr, Dvořák Václav: On Lookup Table Cascade-Based Realizations of Arbiters, In: 11th EUROMICRO Conference on Digital System Design DSD 2008, Parma, IT, IEEE CS, 2008, p. 795-802, ISBN 978-0-7695-3277-6 |
| | Mikušek Petr, Dvořák Václav: On Lookup Table Cascade-Based Realizations of Arbiters, In: 4th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, Znojmo, CZ, MUNI, 2008, p. 261-261, ISBN 978-80-7355-082-0 |
| | Očenášek Pavel, Brener Radim: Financial Portal: systém pro sledování a analýzu finančního trhu, In: Management, Economics and Business Development in the New European Conditions, Brno, CZ, CERM, 2008, p. 9, ISBN 978-80-7204-582-2 |
| | Očenášek Pavel, Kučerová Petra: Srovnání platebních systémů v ČR a zahraničí, In: Management, Economics and Business Development in the New European Conditions, Brno, CZ, CERM, 2008, p. 10, ISBN 978-80-7204-582-2 |
| | Očenášek Pavel, Trchalík Roman: Using AVISPA in the Education of Network Security, In: EDS '08 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2008, p. 8, ISBN 978-80-214-3717-3 |
| | Očenášek Pavel: A Proxy-Based System for Translation of Internet Content into Specific Form, In: Computer-Human Interaction, Berlin, DE, Springer, 2008, p. 413-419, ISBN 978-3-540-70584-0 |
| | Očenášek Pavel: Modification of Web Content According to the User Requirements, In: Technologies for E-Learning and Digital Entertainment, Berlin, DE, Springer, 2008, p. 324-327, ISBN 978-3-540-69734-3 |
| | Pilat Adam, Kornecki Andrew J., Thiriet Jean-Marc, Grega Wojciech, Švéda Miroslav: Industry Feedback on Skills and Knowledge, In: Proceedings of the 19th EAEEIE Annual Conference, Tallin, EE, IEEE CS, 2008, p. 129-133, ISBN 978-1-4244-2009-4 |
| | Ryšavý Ondřej, Ráb Jaroslav: A Component-based Approach to Verification of Embedded Control Systems using TLA+, In: IEEE Proceedings of International Multiconference on Computer Science and Information Technology, Wisla, PL, ICSP, 2008, p. 719-725, ISBN 978-83-60810-14-9 |
| | Švéda Miroslav, Ryšavý Ondřej, Vrba Radimír: Pattern-driven Reuse of Behavioral Specifications in Embedded Control System Design, Frontiers in Robotics, Automation and Control, Vienna, AT, IN-TECH, 2008, p. 151-164, ISBN 978-953-7619-17-6 |
| | Švéda Miroslav, Vrba Radimír: Meta-Design Support for Safe and Secure Networked Embedded Systems, In: IEEE Proceedings of the Third International Conference on Systems, ICONS 2008, New York, US, IEEE CS, 2008, p. 69-74, ISBN 978-0-7695-3105-2 |
| | Thiriet Jean-Marc, Hilburn Thomas B., Kornecki Andrew J., Grega Wojciech, Švéda Miroslav: Implementation for a US-European Trans-national Degree in Real-Time Software Engineering, In: Proceedings of the 19th EAEEIE Annual Conference, Tallin, EE, IEEE CS, 2008, p. 134-137, ISBN 978-1-4244-2009-4 |
| | Trchalík Roman, Očenášek Pavel, Švéda Miroslav: Using MSC and SDL Languages for Description of Network Communication, In: EDS '08 IMAPS CS International Conference Proceedings, Brno, CZ, VUT v Brně, 2008, p. 5, ISBN 978-80-214-3717-3 |
|
|
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)