Security Certification of Cyber Physical Systems for Critical Infrastructure based on the Compositional MILS Architecture

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

Security certification experience for industrial cyberphysical systems using Common Criteria and IEC 62443 certifications in certMILS

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

Validation of Railway Control Systems

Autor: Klaus Reichl, Michael Butler, Tomas Fischer, Peter Tummeltshammer, Thai Son Hoang

Publikováno v: Validation and Verification of Automated Systems ISBN: 9783030146276

This chapter presents the results of the railway domain. It focuses on the validation of a route control system using a model-based approach and formal methods. A main technical challenge is the automation of the translation step between a formalized

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::1f29cdf3716c45b2b7859dc92bc8f177
https://doi.org/10.1007/978-3-030-14628-3_17

Threat Modeling in the Railway Domain

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

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

The EMC2 Project on Embedded Microcontrollers: Technical Progress after Two Years

Autor: Xing Cai, Norbert Druml, Erwin Schoitsch, Daniel Schneider, Juha Kuusela, Rolf Ernst, Peter Tummeltshammer, Sergio Saez, Juan Carlos Perez-Cortes, Sascha Uhrig, Jan van Deventer, Egon Wuchner, Alfred Hoess, Haris Isakovic, Thierry Goubier, Geir Yngve Paulsen, Massimo Traversone, Bjorn Nordmoen, Michael Geissel, Eric Armengaud, Adam Kostrzewa, Hans Petter Dahle, Jürgen Salecker, Philippe Dore, Marinus Johannes Adrianus Maria Van Helvoort, Thomas Soderqvist, Werner Weber, Frank Oppenheimer

Publikováno v: DSD

Since April 2014 the Artemis/ECSEL project EMC2 is running and provides significant results. EMC2 stands for "Embedded Multi-Core Systems for Mixed Criticality Applications in Dynamic and Changeable Real-Time Environments". In this paper we report re

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::74937b2cc18431aa11e7e8a2a830fdc6
https://doi.org/10.1109/dsd.2016.72