• 1

Automotive Intelligence Embedded in Electric Connected Autonomous and Shared Vehicles Technology for Sustainable Green Mobility

Ovidiu Vermesan, Reiner John, Patrick Pype, Gerardo Daalderop, Kai Kriegel, Gerhard Mitic, Vincent Lorentz, Roy Bahr, Hans Erik Sand, Steffen Bockrath and Stefan Waldhör

Abstract.The automotive sector digitalization accelerates the technology convergence of perception, computing processing, connectivity, propulsion, and data fusion for electric connected autonomous and shared (ECAS) vehicles. This brings cutting-edge computing paradigms with embedded cognitive capabilities into vehicle domains and data infrastructure to provide holistic intrinsic and extrinsic intelligence for new mobility applications.

Continue Reading

EMC Oxidation Under High-Temperature Aging

A. Inamdar, P. Gromala, A. Prisacaru, A. Kabakchiev, Y. Yang, B. Han

Abstract. Epoxy molding compound (EMC) is widely used for encapsulating automotive electronics. Among all of the components of an electronic package, EMC is most exposed to the atmosphere, and thus undergoes aging. During high-temperature operation, EMC is oxidized, which alters its mechanical properties, and thus can affect the reliability of electronic components. This chapter focuses on four key aspects of EMC oxidation – (1) the growth of EMC oxidation layer, (2) the mechanical properties of oxidized EMC, (3) the effect of oxidized EMC on thermomechanical behavior of a molded package, and (4) the effect of EMC oxidation on solder joint reliability. This study utilizes various experimental characterization techniques as well as finite element simulation-based analysis.


EMC Oxidation Under High-Temperature Aging


 

Internet of Vehicles – System of Systems Distributed Intelligence for Mobility Applications

Ovidiu Vermesan, Reiner John, Patrick Pype, Gerardo Daalderop, Meghashyam Ashwathnarayan, Roy Bahr, Tore Karlsen, Hans-Erik Sand

Abstract. This chapter presents the Internet of Vehicles (IoV) concept, technologies and applications used to realise intelligent functions, optimise vehicle performance, control, and decision-making for future electric, connected, autonomous, and shared (ECAS) vehicles mobility scenarios.

Continue Reading

Monitoring Hierarchical Systems for Safety Assurance

Franz Wotawa, Horst Lewitschnig

Abstract.Assuring safety for autonomous safety-critical systems like cars equipped with autonomous driving functionality seems to be hard if even impossible to achieve. Checking the behavior of the system online during operation regarding its degree of fulfillment of given safety requirements provides an alternative countermeasure for hazards. In this paper, we discuss the concept of monitoring devices that implement run time verification based on safety and functional requirements. We introduce a hierarchical approach where monitoring information is passed from one lower level to other higher-levels in order to finally come up with verification results that would not have been able to achieve at the lower level. Besides presenting the principles, we use a potential example from the automotive industry for illustrating the approach.

Continue Reading

Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles

Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe

Abstract: Simulation, a common practice to evaluate au-tonomous vehicles, requires to specify realistic scenarios, in par-ticular critical ones, occurring rarely and potentially dangerous to reproduce on the road. Such scenarios may be either generated randomly, or specified manually. Randomly generating scenarios is easy, but their relevance might be difficult to assess. Manually specified scenarios can focus on a given feature, but their design might be difficult and time-consuming, especially to achieve satisfactory coverage. In this work, we propose an automatic approach to generate a large number of relevant critical scenarios for autonomous driving simulators. The approach is based on the generation of behavioral conformance tests from a formal model (specifying the ground truth configuration with the range of vehicle behaviors) and a test purpose (specifying the critical feature to focus on). The obtained abstract test cases cover, by construction, all possible executions exercising a given feature, and can be automatically translated into the inputs of autonomous driving simulators. We illustrate our approach by generating thousands of behavior trees for the CARLA simulator for several realistic configurations.

Continue Reading

Human Detection in Depth Map Created from Point Cloud

Ligocki, Adam, Zalud, Ludek

Abstract: This paper deals with human detection in the LiDAR data using the YOLO object detection neural network architecture. RGB-based object detection is the most studied topic in the field of neural networks and autonomous agents. However, these models are very sensitive to even minor changes in the weather or light conditions if the training data do not cover these situations. This paper proposes to use the LiDAR data as a redundant, and more condition invariant source of object detections around the autonomous agent. We used the publically available real-traffic dataset that simultaneously captures data from RGB camera and 3D LiDAR sensors during the clear-sky day and rainy night time and we aggregate the LiDAR data for a short period to increase the density of the point cloud. Later we projected these point cloud by several projection models, like pinhole camera model, cylindrical projection, and bird-view projection, into the 2D image frame, and we annotated all the images. As the main experiment, we trained the several YOLOv5 neural networks on the data captured during the day and validate the models on the mixed day and night data to study the robustness and information gain during the condition changes of the input data. The results show that the LiDAR-based models provide significantly better performance during the changed weather conditions than the RGB-based models.

Continue Reading

Metamorphic Testing of Logic Theorem Prover

Oliver A. Tazl, Franz Wotawa

Abstract: The use of Artificial Intelligence methodologies including machine learning for object recognition and other tasks as well as reasoning has recently gained more attention. This is due to the fact of applications like autonomous driving but also apps for providing recommendations or schedules. In this paper, we focus on testing applications utilizing logic theorem proving for implementing their functionalities. Testing logic theorem prover is important in order to assure that the obtained results are correct and complete as specified. We show how metamorphic testing can be used in this context. In particular, the proposed method takes a logic sentence and modifies it without changing its logical status, i.e., satisfiability. The testing method can be applied to assure the correctness of reasoning via generating logic sentences of arbitrary sizes, but also for performance testing. We applied the presented testing method to 2 different theorem provers and report on obtained results.

Continue Reading

  • 1
  • 2

Acknowledgement

ArchitectECA2030 has been accepted for funding within (ECSEL JU) in collaboration with the European Union’s H2020 Framework Programs under grant agreement No 877539.

The project will receive an ECSEL JU funding up to 4 M€ completed with national budgets from national funding authorities in Germany, Netherlands, Czech Republic, Austria and Norway.  

Project Facts

Short Name: ArchitectECA2030

Full Name: Trustable architectures with acceptable residual risk for the electric, connected and automated cars

Duration:  01/07/2020- 30/06/2023

Total Costs: ~ € 13,6 Mio.

Consortium: 20 partners from 8 countries

Coordinator: Infineon Technologies AG

Funding

 

Horizon 2020
Horizon 2020

 

    

National Funding

National Funding

 


Social

Twitter

Twitter

    

LinkedIn

LinkedIn

 

Information

Impress

Imprint

   

Impress

Privacy Policy


 


Contact

Twitter
Contact