Project Details

ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience

Project Period: 1. 10. 2008 – 30. 9. 2013

Project Type: grant

Code: ATLANTIS-DESIRE

Agency: Ministerstvo zdravotnictví ČR

Program: Ostatní programy MZ

Czech title
ATLANTIS-DeSIRE^2: Dependable Systems International Research and Educational Experience
Type
grant
Keywords

Excellence in Mobility, Real-Time Software-Intensive Control systems, Consortium
of three American and three European university partners

Abstract

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.

Team members
Švéda Miroslav, prof. Ing., CSc. (UTKO) – research leader
Čejka Rudolf, Ing. (CVT)
Eysselt Miloš, Ing., CSc.
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS)
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS)
Ráb Jaroslav, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS)
Trchalík Roman, Mgr., Ph.D. (CM-SFE)
Publications

2012

  • RYŠAVÝ, O.; ŠVÉDA, M.; VRBA, R. A Framework for Cyber-Physical Systems Design - A Concept Study. Proceedings ICONS 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 79-82. ISBN: 978-1-61208-184-7. Detail
  • ŠVÉDA, M.; RYŠAVÝ, O.; DE SILVA, G.; MATOUŠEK, P.; RÁB, J. Static Analysis of Routing and Firewall Policy Configurations. In e-Business and Telecommunications. Communications in Computer and Information Science. LNCS CCIS, Vol.222. Heidelberg: Springer Science+Business Media B.V., 2012. p. 39-53. ISBN: 978-3-642-25205-1. ISSN: 1865-0929. Detail
  • ŠVÉDA, M.; SEKLETÁR, M.; FIDLER, T.; RYŠAVÝ, O. A High-level Network-wide Router Configuration Language. Proceedings ICN 2012. Saint Gilles, Reunion Island: International Academy, Research, and Industry Association, 2012. p. 18-21. ISBN: 978-1-61208-183-0. Detail

2011

  • ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P. Supporting Safe and Secure Networked System Design. Computer Aided Systems Theory (EUROCAST´11), Extended Abstracts. Las Palmas de Gran Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 22-23. ISBN: 978-84-693-9560-8. Detail

2010

  • KORNECKI, A.; GREGA, W.; HILBURN, T.; THIRIET, J.; ŠVÉDA, M.; RYŠAVÝ, O.; PILAT, A. Transatlantic Engineering Programs: An Experience in International Cooperation. In Safeeullah Soomro (Editor): Engineering the Computer Science and IT. 2010. Vienna: IN-TECH Education and Publishing, 2010. p. 65-84. ISBN: 978-953-307-012-4. Detail

2009

  • GREGA, W.; HILBURN, T.; KORNECKI, A.; RYŠAVÝ, O.; ŠVÉDA, M.; THIRIET, J. Methodology for Creation of Multidisciplinary, Transatlantic Engineering Program in Information Technology. Proceedings of the European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009. p. 1-5. ISBN: 978-84-8363-428-8. Detail
  • KORNECKI, A.; HILBURN, T.; GREGA, W.; ŠVÉDA, M.; THIRIET, J. ILERT - International Learning Environment for Real-Time Software-Intensive Control Systems. Journal of Automation, Mobile Robotics and Intelligent Systems, 2009, vol. 3, no. 1, p. 66-71. ISSN: 1897-8649. Detail
  • OČENÁŠEK, P.; ŠVÉDA, M. AVISPA: Towards Practical Verification of Communication Properties. Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. p. 153-156. ISBN: 978-3-902661-41-8. ISSN: 1474-6670. Detail
  • OČENÁŠEK, P.; TRCHALÍK, R.; ŠVÉDA, M. On the Implementation of Metrics in Industrial Embedded Systems. Proceedings 9th IFAC International Conference on Programmable Devices and Embedded Systems. Programmable devices and systems. Programmable Devices and Embedded Systems, Volume # 9 | Part# 1. Ostrava: IFAC, 2009. p. 157-160. ISBN: 978-3-902661-41-8. ISSN: 1474-6670. Detail
  • PILAT, A.; KORNECKI, A.; THIRIET, J.; GREGA, W.; RYŠAVÝ, O. Inter-university Project Based on LEGO NXT. 18th IEEE International Conference on Control Applications. Saint Petersburg: IEEE Computer Society, 2009. p. 1248-1253. ISBN: 978-1-4244-4602-5. Detail
  • RYŠAVÝ, O.; ŠVÉDA, M.; KORNECKI, A.; HILBURN, T.; GREGA, W.; PILAT, A.; THIRIET, J. Designing and Implementing International RSIC Engineering Curriculum. 1st Eastern European Regional Conference on the Engineering of Computer-Based Systems. Novi Sad: IEEE Computer Society, 2009. p. 71-76. ISBN: 978-0-7695-3759-7. Detail
  • ŠVÉDA, M.; KORNECKI, A.; HILBURN, T.; GREGA, W.; THIRIET, J.; RYŠAVÝ, O. Real-Time Software-Intensive Systems Engineering: An International Perspective. European Association for Education in Electrical and Information Engineering Council's Annual Conference 2009. Valencia: Politechnical University of Valencia, 2009. p. 1-6. ISBN: 978-84-8363-428-8. Detail
  • ŠVÉDA, M.; TRCHALÍK, R.; OČENÁŠEK, P. Design of Networked Embedded Systems: An Approach for Safety and Security. Preprints of IFAC Workshop on PROGRAMMABLE DEVICES and EMBEDDED SYSTEMS PDeS 2009. Programmable devices and systems. Ostrava: IFAC, 2009. p. 131-136. ISSN: 1474-6670. Detail
  • THIRIET, J.; HILBURN, T.; KORNECKI, A.; GREGA, W.; ŠVÉDA, M. Organization of a US-European Trans-national Degree in Engineering. J3eA - Journal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2009, vol. 2009, no. 1, p. 1-7. ISSN: 1638-1963. Detail

2008

  • HILBURN, T.; KORNECKI, A.; THIRIET, J.; GREGA, W.; ŠVÉDA, M. An RSIC-SE2004 Curriculum Framework. IEEE Proceedings of International Multiconference on Computer Science and Information Technology - Real-Time Software. Computer Science and Information Technology. Wisla: IEEE Computer Society, 2008. p. 633-638. ISBN: 978-83-60810-14-9. ISSN: 1896-7094. Detail
  • HILBURN, T.; THIRIET, J.; KORNECKI, A.; GREGA, W.; ŠVÉDA, M. Credits and Accreditation in the U.S.A. and Europe: Towards a Framework for Trans-national Engineering Degrees. Inovations, 2008, vol. 2008, no. 1, p. 29-42. ISSN: 1553-9911. Detail
  • KORNECKI, A.; GREGA, W.; THIRIET, J.; ŠVÉDA, M.; GONZALES, A.; THARP, H. Dependable Systems International Research and Educational Experience. Daytona Beach: European Comission EU, 2008. p. 0-0. Detail
Back to top