TY - CHAP A1 - Rao, Deepak A1 - Pathrose, Plato A1 - Hüning, Felix A1 - Sid, Jithin T1 - An Approach for Validating Safety of Perception Software in Autonomous Driving Systems T2 - Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings N2 - The increasing complexity of Advanced Driver Assistance Systems (ADAS) presents a challenging task to validate safe and reliable performance of these systems under varied conditions. The test and validation of ADAS/AD with real test drives, although important, involves huge costs and time. Simulation tools provide an alternative with the added advantage of reproducibility but often use ideal sensors, which do not reflect real sensor output accurately. This paper presents a new validation methodology using fault injection, as recommended by the ISO 26262 standard, to test software and system robustness. In our work, we investigated and developed a tool capable of inserting faults at different software and system levels to verify its robustness. The scope of this paper is to cover the fault injection test for the Visteon’s DriveCore™ system, a centralized domain controller for Autonomous driving which is sensor agnostic and SoC agnostic. With this new approach, the validation of safety monitoring functionality and its behavior can be tested using real-world data instead of synthetic data from simulation tools resulting in having better confidence in system performance before proceeding with in-vehicle testing. KW - Advanced driver assistance systems (ADAS/AD) KW - ISO 26262 KW - Safety-critical systems validation KW - Safety of the intended functionality (SOTIF) Y1 - 2019 SN - 978-3-030-32872-6 U6 - http://dx.doi.org/10.1007/978-3-030-32872-6_20 SP - 303 EP - 316 PB - Springer CY - Cham ER - TY - CHAP A1 - Ernhardt, Selina A1 - Drumm, Christian A1 - van Gog, Tamara A1 - Brand-Gruwel, Saskia A1 - Jarodzka, Halszka T1 - Through the eyes of a programmer : a research project on how to foster programming education with eye-tracking technology T2 - Tagungsband zur 32. AKWI-Jahrestagung vom 15.09.2019 bis 18.09.2019 an der Fachhochschule für Angewandte Wissenschaften Aachen Y1 - 2019 SN - 978-3-944330-62-4 SP - 42 EP - 47 PB - Mana-Buch CY - Heide ER - TY - CHAP A1 - Finkenberger, Isabel Maria A1 - Baumeister, Eva-Maria A1 - Koch, Christian T1 - Themen T1 - Topics T2 - Komplement und Verstärker: zum Verhältnis von Stadtplanung, künstlerischen Praktiken und Kulturinstitutionen Y1 - 2019 SN - 978-3-86859-578-9 SP - 50 EP - 57 PB - JOVIS Verlag CY - Berlin ER - TY - CHAP A1 - Finkenberger, Isabel Maria A1 - Herbert, Saskia A1 - Malorny, Thomas A1 - Koch, Christian T1 - Perforierte Wirklichkeit und mögliche Zukünfte : ein Gespräch T1 - Perforated reality and possible futures : a conversation T2 - Komplement und Verstärker : zum Verhältnis von Stadtplanung, künstlerischen Praktiken und Kulturinstitutionen Y1 - 2019 SN - 978-3-86859-578-9 SP - 108 EP - 129 PB - JOVIS Verlag CY - Berlin ER - TY - CHAP A1 - Finkenberger, Isabel Maria A1 - Baumeister, Eva-Maria A1 - Koch, Christian T1 - Komplement und Verstärker : der Diskurs geht weiter T1 - Amplifier and complement : the discourse continues T2 - Komplement und Verstärker : zum Verhältnis von Stadtplanung, künstlerischen Praktiken und Kulturinstitutionen Y1 - 2019 SN - 978-3-86859-578-9 SP - 40 EP - 49 PB - JOVIS Verlag CY - Berlin ER - TY - CHAP A1 - Finkenberger, Isabel Maria A1 - Baumeister, Eva-Maria A1 - Koch, Christian T1 - Komplement und Verstärker : Wandel durch neue Allianzen T1 - Amplifier and complement : creating change through new alliances T2 - Komplement und Verstärker : zum Verhältnis von Stadtplanung, künstlerischen Praktiken und Kulturinstitutionen Y1 - 2019 SN - 978-3-86859-578-9 SP - 10 EP - 39 PB - JOVIS Verlag CY - Berlin ER - TY - CHAP A1 - Lemke, Jörg T1 - Arbeitssicherheit T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_12 SP - 335 EP - 344 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Streit, Wilfried T1 - Kalkulation T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_11 SP - 273 EP - 334 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Martin, Joachim T1 - Betriebsorganisation T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_10 SP - 255 EP - 272 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Krause, Thomas T1 - Schalung und Gerüste T2 - Übungsaufgaben und Berechnungen für den Baubetrieb N2 - Die grundsätzliche Planung von Schalungsaufgaben wird heute in der Regel im Rahmen der Arbeitsvorbereitung von den entsprechenden Stabsabteilungen oder als Serviceleistung von den Schalungsherstellern mit Anwendung von spezieller Software und den technischen Unterlagen für die jeweiligen Schalungsgeräte durchgeführt. Diese Programme und technischen Unterlagen stehen in der Regel auch den Mitarbeitern in der Bauleitung zur Verfügung, werden dort aber eher seltener genutzt. Zur Anwendung auf der Baustelle stellen die Schalungshersteller neben den technischen Unterlagen Bemessungstabellen zur Verfügung, welche die Auswahl und Dimensionierung einzelner Schalungen wesentlich erleichtern. Die nachfolgend aufgeführten Beispiele aus dem Bereich Schalung und Gerüste beschreiben Aufgaben, die im Baustellenbetrieb auf die Bauleitung zu kommen können und auch ohne Unterstützung einer Stabsabteilung gelöst werden können. Y1 - 2019 SN - 978-3-658-23127-9 (Online) SN - 978-3-658-23126-2 (Print) U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_9 SP - 241 EP - 253 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Ulke, Bernd T1 - Boden, Baugrube, Verbau T2 - Übungsaufgaben und Berechnungen für den Baubetrieb N2 - Im folgenden Kapitel werden die wichtigsten geotechnischen Nachweise sowie praxisnahe Beispiele für den Baubetrieb aufgeführt. Es wird im Wesentlichen auf die Bodenbeschreibung und Klassifikation nach DIN 18196 sowie nach DIN 18300 eingegangen, welche sowohl für die weiteren Berechnungen als auch für die Kalkulation von großer Bedeutung sind. Die aus der Praxis aufgeführten Beispiele verdeutlichen verschiedene Untersuchungs- und Auswertungsmethoden für direkte und indirekte Aufschlüsse, diese enthalten Labor- und Feldversuche, mit denen man die Verdichtbarkeit von Böden auswertet und quantifiziert, sowie viele andere Themenbereiche wie Erddruckberechnungen sowie Spannungs- und Setzungsberechnungen. Darüber hinaus werden exemplarisch bestimmte Verbauarten bezüglich ihrer Bemessung erläutert. Es wird ebenfalls auf das Thema Wasserhaltung eingegangen und die erforderlichen Maßnahmen beschrieben, um bestimmte Versagensmechanismen - wie z.B. den hydraulischen Grundbruch - zu verhindern. Y1 - 2019 SN - 978-3-658-23127-9 (Online) SN - 978-3-658-23126-2 (Print) U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_8 SP - 165 EP - 239 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Krause, Thomas T1 - Baumaschinen T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_7 SP - 155 EP - 163 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Ulke, Bernd T1 - Arbeitsvorbereitung und Ablaufplanung T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_6 SP - 117 EP - 154 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Krause, Thomas T1 - Bauabrechnung und Mengenermittlung T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_5 SP - 101 EP - 116 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Ulke, Bernd T1 - Baukosten und Finanzierung T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_4 SP - 89 EP - 100 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Ulke, Bernd T1 - Der baurechtliche Vertrag T2 - Übungsaufgaben und Berechnungen für den Baubetrieb N2 - Anhand von kurzen theoretischen Einführungen werden anhand von Beispielen die wesentlichen Aspekte des baurechtlichen Vertrages erläutert. Nach einer Einführung über das Zustandekommen von (Bau-) Verträgen wird die für Streitfälle unerlässliche Dokumentation auf Baustellen erläutert. Hierbei werden Hinweise zur Erstellung von Protokollen, zum E-Mail bei Großprojekten und zur Dokumentation von Stundenlohnarbeiten gegeben. Des Weiteren wird eine Schriftverkehrsliste vorgestellt, die zur Nachverfolgung des Schriftverkehrs bei Großprojekten unerlässlich ist. Anschließend werden die typischen Vertragsarten vorgestellt, die bei der Abwicklung von Großprojekten zu beachten sind und die Unterschiede werden durch Fallbeispiele erläutert. Einen Schwerpunkt des Kapitels bilden auftragsnehmerseitige Verzüge sowie mangelbehaftete Leistungen. Hier werden Hinweise gegeben, wie in den entsprechenden Situationen zu reagieren ist. Y1 - 2019 SN - 978-3-658-23127-9 SP - 63 EP - 87 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Sparla, Peter T1 - Vermessung T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_2 SP - 13 EP - 61 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Martin, Joachim T1 - Bemessung von Baukonstruktionen T2 - Übungsaufgaben und Berechnungen für den Baubetrieb Y1 - 2019 SN - 978-3-658-23127-9 U6 - http://dx.doi.org/10.1007/978-3-658-23127-9_1 SP - 1 EP - 11 PB - Springer Vieweg CY - Wiesbaden ER - TY - CHAP A1 - Dachwald, Bernd A1 - Ohndorf, Andreas T1 - Global optimization of continuous-thrust trajectories using evolutionary neurocontrol T2 - Modeling and Optimization in Space Engineering N2 - Searching optimal continuous-thrust trajectories is usually a difficult and time-consuming task. The solution quality of traditional optimal-control methods depends strongly on an adequate initial guess because the solution is typically close to the initial guess, which may be far from the (unknown) global optimum. Evolutionary neurocontrol attacks continuous-thrust optimization problems from the perspective of artificial intelligence and machine learning, combining artificial neural networks and evolutionary algorithms. This chapter describes the method and shows some example results for single- and multi-phase continuous-thrust trajectory optimization problems to assess its performance. Evolutionary neurocontrol can explore the trajectory search space more exhaustively than a human expert can do with traditional optimal-control methods. Especially for difficult problems, it usually finds solutions that are closer to the global optimum. Another fundamental advantage is that continuous-thrust trajectories can be optimized without an initial guess and without expert supervision. Y1 - 2019 SN - 978-3-030-10501-3 SN - 978-3-030-10500-6 U6 - http://dx.doi.org/10.1007/978-3-030-10501-3_2 N1 - Springer Optimization and Its Applications, vol 144 gedruckt unter der Signatur 21 ZSS 46 in der Bereichsbibliothek Eupener Str. vorhanden SP - 33 EP - 57 PB - Springer CY - Cham ER - TY - CHAP A1 - Meskouris, Konstantin A1 - Butenweg, Christoph A1 - Hinzen, Klaus-G. A1 - Höffer, Rüdiger T1 - Stochasticity of Wind Processes and Spectral Analysis of Structural Gust Response T2 - Structural Dynamics with Applications in Earthquake and Wind Engineering N2 - Wind loads have great impact on many engineering structures. Wind storms often cause irreparable damage to the buildings which are exposed to it. Along with the earthquakes, wind represents one of the most common environmental load on structures and is relevant for limit state design. Modern wind codes indicate calculation procedures allowing engineers to deal with structural systems, which are susceptible to conduct wind-excited oscillations. In the codes approximate formulas for wind buffeting are specified which relate the dynamic problem to rather abstract parameter functions. The complete theory behind is not visible in order to simplify the applicability of the procedures. This chapter derives the underlying basic relations of the spectral method for wind buffeting and explains the main important applications of it in order to elucidate part of the theoretical background of computations after the new codes. The stochasticity of the wind processes is addressed, and the analysis of analytical as well as measurement based power spectra is outlined. Short MATLAB codes are added to the Appendix 3 which carry out the computation of a single sided auto-spectrum from a statistically stationary, discrete stochastic process. Two examples are presented. KW - Wind turbulence KW - Gust wind response KW - Spectral analysis Y1 - 2019 SN - 978-3-662-57550-5 (Online) SN - 978-3-662-57548-2 (Print) U6 - http://dx.doi.org/10.1007/978-3-662-57550-5_3 SP - 153 EP - 196 PB - Springer CY - Berlin ER -