Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Reinhard Hametner"'
Autor:
Benjamin Rother, Frank Golatowski, Zeeshan Ansar, Don Kuzhiyelil, Stefan Resch, Reinhard Hametner, Prashant Pathak
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::26e0eb32854792410ce09d1264283842
https://doi.org/10.1007/978-3-031-05814-1_15
https://doi.org/10.1007/978-3-031-05814-1_15
Autor:
Jan Prochazka, Janie Banos, Rudolf Fuchsen, Tomas Kertis, Thorsten Schulz, Benito Caracuel, Michal Hager, Jan Neskudla, Mario Brotz, Peter Tummeltshammer, Martina Truskaller, Gerald Krummeck, Alvaro Ortega, Andreas Hohenegger, Ana Lourdes Sanz, Sandro Rauscher, Petr Novobilsky, Frank Golatowski, Klaus-Michael Koch, Jiri Sterba, Holger Blasum, Francisco Ramos, Lisa Burgstaller, Guillaume Fumaroli, Reinhard Hametner, Jan Rollo
Publikováno v:
IECON
We describe compositional architectures and certifications in the research project certMILS. Compositional architectures enable re-use of certified COTS (commercial off-the-shelf) components with a well-defined delegation of responsibilities between
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb2f185a7f0f57d36a08cf94f6310114
https://zenodo.org/record/5717838
https://zenodo.org/record/5717838
Publikováno v:
ISORC
This paper explores virtualization technologies and cloud computing for migrating an existing real-time safety-critical railway use-case from dedicated hardware solutions. Cloud computing is rapidly gaining popularity in many domains as they provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::360a2ebaad294fcb17503d34b32b372d
https://doi.org/10.1109/isorc52013.2021.00024
https://doi.org/10.1109/isorc52013.2021.00024
Autor:
Caspar Gries, Michal Hager, Tomas Kertis, Janie Banos, Technikon, Jan Neskudla, Frank Golatowski, Benito Caracuel, Peter Tummeltshammer, Gerald Krummeck, Thorsten Schulz, Thales Austria, Holger Blasum, Martina Truskaller, Jiri Sterba, Francisco Ramos, Jan Rollo, Andreas Hohenegger, Sandro Rauscher, Reinhard Hametner, Alvaro Ortega, Petr Novobilsky, Torsten Vogler, Lisa Burgstaller, Mario Brotz, Jan Prochazka, Ana Lourdes Sanz, Klaus-Michael Koch
Publikováno v:
ICPS
Security concerns become increasingly important in safety-critical industrial cyberphysical systems. Different options for security certification exist. We describe a Common Criteria certification for a MILS separation kernel, and IEC 62443 analysis
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c02f640af9d6c582805c609f51d15664
https://doi.org/10.1109/icps49255.2021.9468241
https://doi.org/10.1109/icps49255.2021.9468241
Autor:
Markus Tauber, David Hofbauer, Arndt Bonitz, Reinhard Hametner, Peter Tummeltshammer, Abdelkader Magdy Shaaban, Michael Meidlinger, Christoph Schmittner, Manuela Brandstetter
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification-Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783030187439
RSSRail
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783030187439
RSSRail
Connected and intelligent railway technologies like the European Rail Trac Management System (ERTMS) introduce new risks in cybersecurity. Threat modeling is a building block in security engineering that identifies potential threats in order to defin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2635c6e6f5412fd66936ab79f5760922
Autor:
Reinhard Hametner, Oscar Medina Duarte
Publikováno v:
ETFA
Programming parallel applications on replicated architectures in the safety-critical field is challenging due to the inherent non-determinism of the derived applications. This paper describes the concept of asynchronous programming with futures in C
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20d830270696196be1bb1d83b94cbff8
https://doi.org/10.1109/etfa.2017.8247589
https://doi.org/10.1109/etfa.2017.8247589
Publikováno v:
ETFA
To cope with the need for flexibility of industrial applications, and other customer related requirements, functional control behavior is shifted from hardware to software. This leads to higher software complexity. Therefore, testing of industrial so
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1272210d40d45bc61faa2bfae210bd6f
https://doi.org/10.1109/etfa.2014.7005209
https://doi.org/10.1109/etfa.2014.7005209
Publikováno v:
2013 IEEE International Conference on Industrial Technology (ICIT).
The integration of closed loop control algorithms into industrial control systems represents an important topic in the automation domain. Timing constraints have to be taken into account, often leading to a compromise between real-time capabilities o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6f22194fad03a29cd32ec181491ec6c6
https://doi.org/10.1109/icit.2013.6505860
https://doi.org/10.1109/icit.2013.6505860
Publikováno v:
Recent Advances in Robotics and Automation ISBN: 9783642373862
ICARA (selected extended papers)
ICARA (selected extended papers)
The need for increasing flexibility of industrial automation system products leads to the trend of shifting functional behavior from hardware solutions to software components. This trend causes an increasing complexity of software components and the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dc08d79f42eb04e65febf856f6c3f230
https://doi.org/10.1007/978-3-642-37387-9_20
https://doi.org/10.1007/978-3-642-37387-9_20
Autor:
Reinhard Hametner, Munir Merdan, Christoph Krofitsch, David P. Miller, Gottfried Koppensteiner
Publikováno v:
Recent Advances in Robotics and Automation ISBN: 9783642373862
ICARA (selected extended papers)
ICARA (selected extended papers)
Considering the disassembly as a vital and prospective industry domain, we use the mobile robots to automate the disassembly process. In our system, each mobile robot has particular skills and is supervised by an agent with related objectives and kno
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::129d977fead9cfc06fe66b0a3651eadc
https://doi.org/10.1007/978-3-642-37387-9_24
https://doi.org/10.1007/978-3-642-37387-9_24