English
Related papers

Related papers: The Case for Modeling Security, Privacy, Usability…

200 papers

Software reliability is an important quality attrib-ute, often evaluated as either a function of time or of system structures. The goal of this study is to have this metric cover both for component-based software, be-cause its reliability…

Software Engineering · Computer Science 2007-05-23 Wen-Li Wang , Mei-Huei Tang

Simulators play a crucial role in autonomous driving, offering significant time, cost, and labor savings. Over the past few years, the number of simulators for autonomous driving has grown substantially. However, there is a growing concern…

Robotics · Computer Science 2024-03-26 Yueyuan Li , Wei Yuan , Songan Zhang , Weihao Yan , Qiyuan Shen , Chunxiang Wang , Ming Yang

Embedded Systems combine one or more processor cores with dedicated logic running on an ASIC or FPGA to meet design goals at reasonable cost. It is achieved by profiling the application with variety of aspects like performance, memory…

Performance · Computer Science 2013-12-12 Rajendra Patel , Arvind Rajwat

As more and more autonomous vehicles (AVs) are being deployed on public roads, designing socially compatible behaviors for them is becoming increasingly important. In order to generate safe and efficient actions, AVs need to not only…

Robotics · Computer Science 2022-06-27 Letian Wang , Liting Sun , Masayoshi Tomizuka , Wei Zhan

Safety architectures play a crucial role in the safety assurance of automated driving vehicles (ADVs). They can be used as safety envelopes of black-box ADV controllers, and for graceful degradation from one ODD to another. Building on our…

Robotics · Computer Science 2023-08-22 Clovis Eberhart , Jérémy Dubut , James Haydon , Ichiro Hasuo

Model-Based Development (MBD) is widely used for embedded controls development, with Matlab Simulink being one of the most used modelling environments in industry. As with all software, Simulink models are subject to evolution over their…

Software Engineering · Computer Science 2020-07-21 Monika Jaskolka , Vera Pantelic , Alan Wassyng , Mark Lawford

This article discusses new challenges for series development regarding the vehicle safety that arise from the recently published AEB test protocol by the consumer-test-organisation EuroNCAP for driver assistance systems [6]. The tests from…

Software Engineering · Computer Science 2014-08-15 Delf Block , Sönke Heeren , Stefan Kühnel , André Leschke , Bernhard Rumpe , Vladislavs Serebro

As vehicles become increasingly connected and autonomous, they accumulate and manage various personal data, thereby presenting a key challenge in preserving privacy during data sharing and processing. This survey reviews applications of…

Cryptography and Security · Computer Science 2025-08-05 Nergiz Yuca , Nikolay Matyunin , Ektor Arzoglou , Nikolaos Athanasios Anagnostopoulos , Stefan Katzenbeisser

Inspired by the design patterns of object-oriented software architecture, we offer an initial set of "privacy patterns". Our intent is to describe the most important ways in which software systems can offer privacy to their stakeholders. We…

Software Engineering · Computer Science 2016-12-07 Clark Thomborson

We explore trust in a relatively new area of data science: Automated Machine Learning (AutoML). In AutoML, AI methods are used to generate and optimize machine learning models by automatically engineering features, selecting models, and…

Machine Learning · Computer Science 2020-01-22 Jaimie Drozdal , Justin Weisz , Dakuo Wang , Gaurav Dass , Bingsheng Yao , Changruo Zhao , Michael Muller , Lin Ju , Hui Su

Software systems impact society at different levels as they pervasively solve real-world problems. Modern software systems are often so sophisticated that their complexity exceeds the limits of human comprehension. These systems must…

Software Engineering · Computer Science 2024-01-23 Christian Cabrera , Andrei Paleyes , Neil D. Lawrence

Robots that support humans by performing useful tasks (a.k.a., service robots) are booming worldwide. In contrast to industrial robots, the development of service robots comes with severe software engineering challenges, since they require…

Software Engineering · Computer Science 2020-09-09 Sergio García , Daniel Strüber , Davide Brugali , Thorsten Berger , Patrizio Pelliccione

In this paper we discuss the growing need for system behaviour to be validated and verified (V&V'ed) early in model-based systems engineering. Several aspects push companies towards integration of techniques, methods, and processes that…

Software Engineering · Computer Science 2024-06-07 Johan Cederbladh , Antonio Cicchetti

The paper introduces an approach to telematics devices data application in automotive insurance. We conduct a comparative analysis of different types of devices that collect information on vehicle utilization and driving style of its…

Applications · Statistics 2019-10-07 Konstantin Korishchenko , Ivan Stankevich , Nikolay Pilnik , Daria Petrova

Simulation is an integral part in the process of developing autonomous vehicles and advantageous for training, validation, and verification of driving functions. Even though simulations come with a series of benefits compared to real-world…

Computer Vision and Pattern Recognition · Computer Science 2023-08-01 Ferdinand Mütsch , Helen Gremmelmaier , Nicolas Becker , Daniel Bogdoll , Marc René Zofka , J. Marius Zöllner

Within the growing domain of software engineering in the automotive sector, the number of used tools, processes, methods and languages has increased distinctly in the past years. To be able to choose proper methods for particular…

Software Engineering · Computer Science 2016-01-15 Florian Bock , Daniel Homm , Sebastian Siegl , Reinhard German

In the automotive industry there is a need to handle broad quality deficiencies, eg, performance, maintainability, cybersecurity, safety, and privacy, to mention a few. The idea is to prevent these issues from reaching end-users, ie, road…

Cryptography and Security · Computer Science 2025-08-05 Ricardo M. Czekster

Model-based approaches have become increasingly popular in the domain of automated driving. This includes runtime algorithms, such as Model Predictive Control, as well as formal and simulative approaches for the verification of automated…

Systems and Control · Electrical Eng. & Systems 2020-05-12 Marcus Nolte , Richard Schubert , Cordula Reisch , Markus Maurer

Model based design enables the automatic generation of final-build software from models for high-volume automotive embedded systems. This paper presents a framework of processes, methods and tools for the design of automotive embedded…

Other Computer Science · Computer Science 2011-11-09 Joachim Langenwalter