Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Jan Rollo"'
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
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
Autor:
Luís Nogueira, Alessandro Biondi, Gianluca Mandò, Tommaso Cucinotta, Luigi Rucher, Claudio Scordino, Björn Forsberg, Luis Miguel Pinho, Arne Hamann, Romain Soulat, Hadi Saoud, Luca Benini, Paolo Gai, Jan Rollo, Eduardo Quinones, Sara Royuela, Dirk Ziegenbein
Publikováno v:
2020 IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC)
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
ISORC
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
ISORC
The high-performance requirements needed to implement the most advanced functionalities of current and future Cyber-Physical Systems (CPSs) are challenging the development processes of CPSs. On one side, CPSs rely on model-driven engineering (MDE) to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::35c1987d43ac9db2675a155319981a41