@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.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} } @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.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} } @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.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} } @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.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} } @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} } @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.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} } @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.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)} } @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.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} } @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.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} } @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.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} } @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} }