@InProceedings{atchadam_et_al:OASIcs.CERTS.2019.1, author = {Atchadam, Ill-ham and Singhoff, Frank and Tran, Hai Nam and Bouzid, Noura and Lemarchand, Laurent}, title = {{Combined Security and Schedulability Analysis for MILS Real-Time Critical Architectures}}, booktitle = {4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)}, pages = {1:1--1:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-119-1}, ISSN = {2190-6807}, year = {2019}, volume = {73}, editor = {Asplund, Mikael and Paulitsch, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019.1}, URN = {urn:nbn:de:0030-drops-108922}, doi = {10.4230/OASIcs.CERTS.2019.1}, annote = {Keywords: MILS (Multi Independent Levels of Security), RTCS (Real-Time Critical Systems), Security architecture and models, Scheduling analysis, Security analysis} } @InProceedings{asplund_et_al:OASIcs.CERTS.2019.0, author = {Asplund, Mikael and Paulitsch, Michael}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)}, pages = {0:i--0:x}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-119-1}, ISSN = {2190-6807}, year = {2019}, volume = {73}, editor = {Asplund, Mikael and Paulitsch, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019.0}, URN = {urn:nbn:de:0030-drops-108910}, doi = {10.4230/OASIcs.CERTS.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} } @InProceedings{kadar_et_al:OASIcs.CERTS.2019.2, author = {Kadar, Marine and Tverdyshev, Sergey and Fohler, Gerhard}, title = {{System Calls Instrumentation for Intrusion Detection in Embedded Mixed-Criticality Systems}}, booktitle = {4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)}, pages = {2:1--2:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-119-1}, ISSN = {2190-6807}, year = {2019}, volume = {73}, editor = {Asplund, Mikael and Paulitsch, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019.2}, URN = {urn:nbn:de:0030-drops-108933}, doi = {10.4230/OASIcs.CERTS.2019.2}, annote = {Keywords: Instrumentation, Mixed-criticality, Real-Time, System Calls, Host Intrusion Detection Systems} } @InProceedings{warg_et_al:OASIcs.CERTS.2019.3, author = {Warg, Fredrik and Skoglund, Martin}, title = {{Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems}}, booktitle = {4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)}, pages = {3:1--3:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-119-1}, ISSN = {2190-6807}, year = {2019}, volume = {73}, editor = {Asplund, Mikael and Paulitsch, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019.3}, URN = {urn:nbn:de:0030-drops-108947}, doi = {10.4230/OASIcs.CERTS.2019.3}, annote = {Keywords: Multi-concern assurance, connected automated driving, dependability, functional safety, cybersecurity, cyber-physical systems, critical embedded systems} } @InProceedings{paverd_et_al:OASIcs.CERTS.2019.4, author = {Paverd, Andrew and V\"{o}lp, Marcus and Brasser, Ferdinand and Schunter, Matthias and Asokan, N. and Sadeghi, Ahmad-Reza and Esteves-Ver{\'\i}ssimo, Paulo and Steininger, Andreas and Holz, Thorsten}, title = {{Sustainable Security \& Safety: Challenges and Opportunities}}, booktitle = {4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)}, pages = {4:1--4:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-119-1}, ISSN = {2190-6807}, year = {2019}, volume = {73}, editor = {Asplund, Mikael and Paulitsch, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019.4}, URN = {urn:nbn:de:0030-drops-108954}, doi = {10.4230/OASIcs.CERTS.2019.4}, annote = {Keywords: sustainability, security, safety} } @InProceedings{dobrin_et_al:OASIcs.CERTS.2019.5, author = {Dobrin, Radu and Desai, Nitin and Punnekkat, Sasikumar}, title = {{On Fault-Tolerant Scheduling of Time Sensitive Networks}}, booktitle = {4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)}, pages = {5:1--5:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-119-1}, ISSN = {2190-6807}, year = {2019}, volume = {73}, editor = {Asplund, Mikael and Paulitsch, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019.5}, URN = {urn:nbn:de:0030-drops-108965}, doi = {10.4230/OASIcs.CERTS.2019.5}, annote = {Keywords: Time sensitive networks(TSN), Fault-tolerant schedule, Time redundancy} } @Proceedings{asplund_et_al:OASIcs.CERTS.2019, title = {{OASIcs, Volume 73, CERTS'19, Complete Volume}}, booktitle = {4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-119-1}, ISSN = {2190-6807}, year = {2019}, volume = {73}, editor = {Asplund, Mikael and Paulitsch, Michael}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.CERTS.2019}, URN = {urn:nbn:de:0030-drops-113897}, doi = {10.4230/OASIcs.CERTS.2019}, annote = {Keywords: Security and privacy, Embedded systems security; Computer systems organization, Embedded and cyber-physical systems; Dependable and fault-tolerant systems and networks} }