中文
相关论文

相关论文: The Case for Modeling Security, Privacy, Usability…

200 篇论文

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…

软件工程 · 计算机科学 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…

机器人学 · 计算机科学 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…

性能 · 计算机科学 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…

机器人学 · 计算机科学 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…

机器人学 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

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…

软件工程 · 计算机科学 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…

机器学习 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

软件工程 · 计算机科学 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…

应用统计 · 统计学 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…

计算机视觉与模式识别 · 计算机科学 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…

软件工程 · 计算机科学 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…

密码学与安全 · 计算机科学 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…

系统与控制 · 电气工程与系统科学 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…

其他计算机科学 · 计算机科学 2011-11-09 Joachim Langenwalter