Department of Information Systems

ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience
Reseach leader:Švéda Miroslav
Team leaders:Ryšavý Ondřej
Team members:Čejka Rudolf, Eysselt Miloš, Matoušek Petr, Očenášek Pavel, Ráb Jaroslav, Trchalík Roman
Agency:EC EU
Code:ATLANTIS-DESIRE
Start:2008
End:2013
Keywords:Excellence in Mobility, Real-Time Software-Intensive Control systems, Consortium of three American and three European university partners
Annotation:

Real-Time Software-Intensive Control systems (RSIC) are often safety-critical, and their dependability is vital to successful operation of the systems. With an abundance of applications interfacing with and controlling the environment, there is increasing importance and demand for efficient development of high quality RSIC systems. The main objective of the proposed project is to establish a platform for a sustained and consistent mobility exchange of graduate students engaged in RSIC oriented programs. These programs need to produce graduates capable of working efficiently in multidisciplinary teams engaged in international collaboration on industrial RSIC projects, which require conformance to specific standards mandated by regulatory authorities. This four-year Excellence in Mobility (EIM) project is proposed by a consortium of three American and three European university partners. The project proposes mobility exchange of students pursuing graduate (Master level) engineering degrees in the areas supported by the consortium partners. The plan is to implement a mechanism for involving students from multilingual, geographically separated institutions in a coordinated educational and research experience exposing them to the problems, methods, solution techniques, infrastructure, technologies, regulatory issues, and design/verification tools usually not available in their home program. Four of the six consortium partners are currently participating in successful two-year Policy Oriented Measures project: ILERT - International Learning Environment for Real-Time Software Intensive Control Systems funded in 2006 in the framework of the EU-US cooperation Atlantis program. The preliminary analysis of the consortium partners’ programs based on the ILERT findings, allowed partners to recognize specific areas of focus and to identify the preliminary list of courses that the overseas students could take while spending a mobility term abroad.

Related projects

2008Safety and security of networked embedded system applications, GAČR, GA102/08/1429, 2008-2010, completed
Research leader: Srovnal Vilém
Team leaders: Bílek Jan, Švéda Miroslav
2007Security-Oriented Research in Information Technology, CEZ MŠMT, MSM0021630528, 2007-2013, running
Research leader: Hruška Tomáš
Team leaders: Burget Lukáš, Burget Radek, Cvrček Daniel, Černocký Jan, Češka Milan, Drahanský Martin, Dvořák Václav, Fučík Otto, Hanáček Petr, Herout Adam, Hrubý Martin, Janoušek Vladimír, Jaroš Jiří, Kočí Radek, Kolář Dušan, Kořenek Jan, Kotásek Zdeněk, Kršek Přemysl, Křena Bohuslav, Kunovský Jiří, Martínek Tomáš, Masopust Tomáš, Matějka Pavel, Matoušek Petr, Meduna Alexander, Očenášek Pavel, Orság Filip, Růžička Richard, Ryšavý Ondřej, Sekanina Lukáš, Smrž Pavel, Strnadel Josef, Švéda Miroslav, Vojnar Tomáš, Zbořil František, Zbořil František V., Zemčík Pavel, Zendulka Jaroslav

Preceding projects

2006Toward International Learning Environment for Real-Time Safety-Critical Control Systems (ILERT), EC EU, ATLANTIS-ILERT, 2006-2008, completed
Research leader: Švéda Miroslav
Team leaders: Ryšavý Ondřej

Publications

2012Ryšavý Ondřej, Švéda Miroslav, Vrba Radimír: A Framework for Cyber-Physical Systems Design - A Concept Study, In: Proceedings ICONS 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 79-82, ISBN 978-1-61208-184-7
 Švéda Miroslav, Ryšavý Ondřej, De Silva Gayan, Matoušek Petr, Ráb Jaroslav: Static Analysis of Routing and Firewall Policy Configurations, e-Business and Telecommunications, Heidelberg, DE, Springer Science+Business Media, 2012, p. 39-53, ISBN 978-3-642-25205-1
 Švéda Miroslav, Sekletár Michal, Fidler Tomáš, Ryšavý Ondřej: A High-level Network-wide Router Configuration Language, In: Proceedings ICN 2012, Saint Gilles, Reunion Island, US, IARIA, 2012, p. 18-21, ISBN 978-1-61208-183-0
2011Švéda Miroslav, Ryšavý Ondřej, Matoušek Petr: Supporting Safe and Secure Networked System Design, In: Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts, Las Palmas de Gran Canaria, ES, IUCTC, 2011, p. 22-23, ISBN 978-84-693-9560-8
2010Kornecki 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
2009Grega 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
 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
 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
 Pilat Adam, Kornecki Andrew J., Thiriet Jean-Marc, Grega Wojciech, Ryšavý Ondřej: Inter-university Project Based on LEGO NXT, In: 18th IEEE International Conference on Control Applications, Saint Petersburg, RU, IEEE CS, 2009, p. 1248-1253, ISBN 978-1-4244-4602-5
 Ryšavý Ondřej, Švéda Miroslav, Kornecki Andrew J., Hilburn Thomas B., Grega Wojciech, Pilat Adam, Thiriet Jean-Marc: Designing and Implementing International RSIC Engineering Curriculum, In: 1st Eastern European Regional Conference on the Engineering of Computer-Based Systems, Novi Sad, RS, IEEE CS, 2009, p. 71-76, ISBN 978-0-7695-3759-7
 Š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
 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
2008Hilburn 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
 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

Your IPv4 address: 54.234.180.187
Switch to IPv6 connection

DNSSEC [dnssec]