OASIcs, Volume 68
ASD 2019, March 29, 2019, Florence, Italy
Editors: Selma Saidi, Rolf Ernst, and Dirk Ziegenbein
Published in: LIPIcs, Volume 133, 31st Euromicro Conference on Real-Time Systems (ECRTS 2019)
Borislav Nikolić, Robin Hofmann, and Rolf Ernst. Slot-Based Transmission Protocol for Real-Time NoCs - SBT-NoC. In 31st Euromicro Conference on Real-Time Systems (ECRTS 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 133, pp. 26:1-26:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{nikolic_et_al:LIPIcs.ECRTS.2019.26, author = {Nikoli\'{c}, Borislav and Hofmann, Robin and Ernst, Rolf}, title = {{Slot-Based Transmission Protocol for Real-Time NoCs - SBT-NoC}}, booktitle = {31st Euromicro Conference on Real-Time Systems (ECRTS 2019)}, pages = {26:1--26:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-110-8}, ISSN = {1868-8969}, year = {2019}, volume = {133}, editor = {Quinton, Sophie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2019.26}, URN = {urn:nbn:de:0030-drops-107633}, doi = {10.4230/LIPIcs.ECRTS.2019.26}, annote = {Keywords: Real-Time Systems, Embedded Systems, Network-on-Chip, Protocols} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Proceedings{saidi_et_al:OASIcs.ASD.2019, title = {{OASIcs, Volume 68, ASD'19, Complete Volume}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019}, URN = {urn:nbn:de:0030-drops-103628}, doi = {10.4230/OASIcs.ASD.2019}, annote = {Keywords: Hardware, Analysis and design of emerging devices and systems, Computer systems organization, Robotic autonomy, Software and its engineering, Software safety, Dependable and fault-tolerant systems and networks} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 0:i-0:xviii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{saidi_et_al:OASIcs.ASD.2019.0, author = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, title = {{Front Matter, Table of Contents, Preface, Conference Organization}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {0:i--0:xviii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.0}, URN = {urn:nbn:de:0030-drops-103337}, doi = {10.4230/OASIcs.ASD.2019.0}, annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
M. Baha E. Zarrouki, Verena Klös, Markus Grabowski, and Sabine Glesner. Fault-Tolerance by Graceful Degradation for Car Platoons. In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 1:1-1:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{zarrouki_et_al:OASIcs.ASD.2019.1, author = {Zarrouki, M. Baha E. and Kl\"{o}s, Verena and Grabowski, Markus and Glesner, Sabine}, title = {{Fault-Tolerance by Graceful Degradation for Car Platoons}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {1:1--1:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.1}, URN = {urn:nbn:de:0030-drops-103344}, doi = {10.4230/OASIcs.ASD.2019.1}, annote = {Keywords: fault-tolerance, degradation, car platoons, autonomous driving, contracts} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Iñaki Martín Soroa, Amr Ibrahim, Dip Goswami, and Hong Li. Feasibility Study and Benchmarking of Embedded MPC for Vehicle Platoons. In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 2:1-2:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{martinsoroa_et_al:OASIcs.ASD.2019.2, author = {Mart{\'\i}n Soroa, I\~{n}aki and Ibrahim, Amr and Goswami, Dip and Li, Hong}, title = {{Feasibility Study and Benchmarking of Embedded MPC for Vehicle Platoons}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {2:1--2:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.2}, URN = {urn:nbn:de:0030-drops-103359}, doi = {10.4230/OASIcs.ASD.2019.2}, annote = {Keywords: Model predictive control, vehicle platoon, embedded implementation, code generation} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Shota Tokunaga, Yuki Horita, Yasuhiro Oda, and Takuya Azumi. IDF-Autoware: Integrated Development Framework for ROS-Based Self-Driving Systems Using MATLAB/Simulink. In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 3:1-3:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{tokunaga_et_al:OASIcs.ASD.2019.3, author = {Tokunaga, Shota and Horita, Yuki and Oda, Yasuhiro and Azumi, Takuya}, title = {{IDF-Autoware: Integrated Development Framework for ROS-Based Self-Driving Systems Using MATLAB/Simulink}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {3:1--3:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.3}, URN = {urn:nbn:de:0030-drops-103367}, doi = {10.4230/OASIcs.ASD.2019.3}, annote = {Keywords: self-driving systems, framework, robot operating system (ROS), MATLAB/Simulink} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Mischa Möstl, Marcus Nolte, Johannes Schlatow, and Rolf Ernst. Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems. In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 4:1-4:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{mostl_et_al:OASIcs.ASD.2019.4, author = {M\"{o}stl, Mischa and Nolte, Marcus and Schlatow, Johannes and Ernst, Rolf}, title = {{Controlling Concurrent Change - A Multiview Approach Toward Updatable Vehicle Automation Systems}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {4:1--4:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.4}, URN = {urn:nbn:de:0030-drops-103376}, doi = {10.4230/OASIcs.ASD.2019.4}, annote = {Keywords: safety, behavior, functional, architecture, multi-view, automated driving} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Shefali Sharma, Adan Flores, Chris Hobbs, Jeff Stafford, and Sebastian Fischmeister. Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA. In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 5:1-5:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{sharma_et_al:OASIcs.ASD.2019.5, author = {Sharma, Shefali and Flores, Adan and Hobbs, Chris and Stafford, Jeff and Fischmeister, Sebastian}, title = {{Safety and Security Analysis of AEB for L4 Autonomous Vehicle Using STPA}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {5:1--5:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.5}, URN = {urn:nbn:de:0030-drops-103388}, doi = {10.4230/OASIcs.ASD.2019.5}, annote = {Keywords: Functional Safety, Security, STAMP, STPA, STPA-Sec, ISO 26262, AEB, Advanced Driver Assistance Systems (ADAS), Automated Vehicles, SoC (System-On-Chip)} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Axel Jantsch. Towards a Formal Model of Recursive Self-Reflection. In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 6:1-6:15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{jantsch:OASIcs.ASD.2019.6, author = {Jantsch, Axel}, title = {{Towards a Formal Model of Recursive Self-Reflection}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {6:1--6:15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.6}, URN = {urn:nbn:de:0030-drops-103395}, doi = {10.4230/OASIcs.ASD.2019.6}, annote = {Keywords: Cyber-physical systems, self-aware systems, self-reflection, self-assessment} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Rachel Dedinsky, Mohammad Khayatian, Mohammadreza Mehrabian, and Aviral Shrivastava. A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles (Interactive Presentation). In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 7:1-7:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{dedinsky_et_al:OASIcs.ASD.2019.7, author = {Dedinsky, Rachel and Khayatian, Mohammad and Mehrabian, Mohammadreza and Shrivastava, Aviral}, title = {{A Dependable Detection Mechanism for Intersection Management of Connected Autonomous Vehicles}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {7:1--7:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.7}, URN = {urn:nbn:de:0030-drops-103408}, doi = {10.4230/OASIcs.ASD.2019.7}, annote = {Keywords: Connected Autonomous Vehicles, Intersection Management, Dependable Systems} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Mohammed Yazid Lachachi, Mohamed Ouslim, Smail Niar, and Abdelmalik Taleb-Ahmed. TrueView: A LIDAR Only Perception System for Autonomous Vehicle (Interactive Presentation). In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 8:1-8:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{lachachi_et_al:OASIcs.ASD.2019.8, author = {Lachachi, Mohammed Yazid and Ouslim, Mohamed and Niar, Smail and Taleb-Ahmed, Abdelmalik}, title = {{TrueView: A LIDAR Only Perception System for Autonomous Vehicle}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {8:1--8:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.8}, URN = {urn:nbn:de:0030-drops-103411}, doi = {10.4230/OASIcs.ASD.2019.8}, annote = {Keywords: Ranging Data, Computer Vision, Machine Learning} }
Published in: OASIcs, Volume 68, Workshop on Autonomous Systems Design (ASD 2019)
Sara Zermani and Catherine Dezan. Generation of a Reconfigurable Probabilistic Decision-Making Engine based on Decision Networks: UAV Case Study (Interactive Presentation). In Workshop on Autonomous Systems Design (ASD 2019). Open Access Series in Informatics (OASIcs), Volume 68, pp. 9:1-9:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{zermani_et_al:OASIcs.ASD.2019.9, author = {Zermani, Sara and Dezan, Catherine}, title = {{Generation of a Reconfigurable Probabilistic Decision-Making Engine based on Decision Networks: UAV Case Study}}, booktitle = {Workshop on Autonomous Systems Design (ASD 2019)}, pages = {9:1--9:14}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-102-3}, ISSN = {2190-6807}, year = {2019}, volume = {68}, editor = {Saidi, Selma and Ernst, Rolf and Ziegenbein, Dirk}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ASD.2019.9}, URN = {urn:nbn:de:0030-drops-103429}, doi = {10.4230/OASIcs.ASD.2019.9}, annote = {Keywords: Decision networks, Bayesian networks, HLS, FPGA} }
Published in: Dagstuhl Reports, Volume 8, Issue 2 (2018)
Rolf Ernst, Stefan Kuntz, Sophie Quinton, and Martin Simons. The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092). In Dagstuhl Reports, Volume 8, Issue 2, pp. 122-149, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@Article{ernst_et_al:DagRep.8.2.122, author = {Ernst, Rolf and Kuntz, Stefan and Quinton, Sophie and Simons, Martin}, title = {{The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)}}, pages = {122--149}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2018}, volume = {8}, number = {2}, editor = {Ernst, Rolf and Kuntz, Stefan and Quinton, Sophie and Simons, Martin}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.2.122}, URN = {urn:nbn:de:0030-drops-92939}, doi = {10.4230/DagRep.8.2.122}, annote = {Keywords: Automotive domain, logical execution time, multicore architectures, real-time systems} }
Published in: LIPIcs, Volume 106, 30th Euromicro Conference on Real-Time Systems (ECRTS 2018)
Leonie Ahrendts, Sophie Quinton, Thomas Boroske, and Rolf Ernst. Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 15:1-15:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{ahrendts_et_al:LIPIcs.ECRTS.2018.15, author = {Ahrendts, Leonie and Quinton, Sophie and Boroske, Thomas and Ernst, Rolf}, title = {{Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks}}, booktitle = {30th Euromicro Conference on Real-Time Systems (ECRTS 2018)}, pages = {15:1--15:22}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-075-0}, ISSN = {1868-8969}, year = {2018}, volume = {106}, editor = {Altmeyer, Sebastian}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECRTS.2018.15}, URN = {urn:nbn:de:0030-drops-89879}, doi = {10.4230/LIPIcs.ECRTS.2018.15}, annote = {Keywords: embedded and cyber-physical systems, weakly-hard real-time systems and networks, timing analysis} }
Feedback for Dagstuhl Publishing