中文
相关论文

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

200 篇论文

The technological advancements of recent years have steadily increased the complexity of vehicle-internal software systems, and the ongoing development towards autonomous driving will further aggravate this situation. This is leading to a…

软件工程 · 计算机科学 2019-08-14 Jannik Lotz , Andreas Vogelsang , Ola Benderius , Christian Berger

For computer software, our security models, policies, mechanisms, and means of assurance were primarily conceived and developed before the end of the 1970's. However, since that time, software has changed radically: it is thousands of times…

密码学与安全 · 计算机科学 2016-11-15 Úlfar Erlingsson

The interest in autonomous vehicles (AVs) for critical missions, including transportation, rescue, surveillance, reconnaissance, and mapping, is growing rapidly due to their significant safety and mobility benefits. AVs consist of complex…

密码学与安全 · 计算机科学 2025-09-23 Md Wasiul Haque , Md Erfan , Sagar Dasgupta , Md Rayhanur Rahman , Mizanur Rahman

A larger number of people with heterogeneous knowledge and skills running a project together needs an adaptable, target, and skill-specific engineering process. This especially holds for a project to develop a highly innovative,…

软件工程 · 计算机科学 2014-09-24 Christian Berger , Bernhard Rumpe

License Plate Recognition (LPR) plays a critical role in various applications, such as toll collection, parking management, and traffic law enforcement. Although LPR has witnessed significant advancements through the development of deep…

计算机视觉与模式识别 · 计算机科学 2023-12-06 Rayson Laroca , Luiz A. Zanlorensi , Valter Estevam , Rodrigo Minetto , David Menotti

This paper questions how to approach threat modelling in the automotive domain at both an abstract level that features no domain-specific entities such as the CAN bus and, separately, at a detailed level. It addresses such questions by…

密码学与安全 · 计算机科学 2023-06-08 Mario Raciti , Giampaolo Bella

Just as the world of consumer devices was forever changed by the introduction of computer controlled solutions, the introduction of the engine control unit (ECU) gave rise to the automobile's transformation from a transportation product to…

密码学与安全 · 计算机科学 2022-07-14 Mark Quinlan , Jun Zhao , Andrew Simpson

Mathematics has many useful properties for developing of complex software systems. One is that it can exactly describe a physical situation of the object or outcome of an action. Mathematics support abstraction and this is an excellent…

软件工程 · 计算机科学 2010-04-19 Manoranjan Kumar Singh , Rakesh. L

Modern cars are evolving in many ways. Technologies such as infotainment systems and companion mobile applications collect a variety of personal data from drivers to enhance the user experience. This paper investigates the extent to which…

密码学与安全 · 计算机科学 2021-12-01 Giampaolo Bella , Pietro Biondi , Giuseppe Tudisco

It has been for a long time to use big data of autonomous vehicles for perception, prediction, planning, and control of driving. Naturally, it is increasingly questioned why not using this big data for risk management and actuarial…

风险管理 · 定量金融 2021-09-16 Jiamin Yu

The increasing adoption of neural networks in learning-augmented systems highlights the importance of model safety and robustness, particularly in safety-critical domains. Despite progress in the formal verification of neural networks,…

机器学习 · 计算机科学 2024-10-25 Shuowei Jin , Francis Y. Yan , Cheng Tan , Anuj Kalia , Xenofon Foukas , Z. Morley Mao

Software security is of utmost importance for most software systems. Developers must systematically select, plan, design, implement, and especially, maintain and evolve security features -- functionalities to mitigate attacks or protect…

软件工程 · 计算机科学 2025-09-30 Kevin Hermann , Sven Peldszus , Jan-Philipp Steghöfer , Thorsten Berger

The use of models, even if efficient, must be accompanied by an understanding at all levels of the process that transforms data (upstream and downstream). Thus, needs increase to define the relationships between individual data and the…

机器学习 · 统计学 2022-09-02 Dimitri Delcaillau , Antoine Ly , Alize Papp , Franck Vermet

Reliability prediction is crucial for ensuring the safety and security of software systems, especially in the context of industry practices. While various metrics and measurements are employed to assess software reliability, the complexity…

软件工程 · 计算机科学 2025-07-29 Dapeng Yan , Wenjie Yang , Kui Liu , Zhiming Liu , Zhikuang Cai

Predictive models are one of the most important techniques that are widely applied in many areas of software engineering. There have been a large number of primary studies that apply predictive models and that present well-preformed studies…

软件工程 · 计算机科学 2020-08-11 Yanming Yang , Xin Xia , David Lo , Tingting Bi , John Grundy , Xiaohu Yang

Context and motivation: Software Product Lines (SPL) enable the creation of software product families with shared core components using feature models to model variability. Choosing features from a feature model to generate a product may…

This paper describes how motivational models can be used to cross check agile requirements artifacts to improve consistency and completeness of software requirements. Motivational models provide a high level understanding of the purposes of…

软件工程 · 计算机科学 2023-06-13 Eduardo A. Oliveira , Leon Sterling

When a large number of people with heterogeneous knowledge and skills run a project together, it is important to use a sensible engineering process. This especially holds for a project building an intelligent autonomously driving car to…

软件工程 · 计算机科学 2014-09-26 Christian Basarke , Christian Berger , Bernhard Rumpe

Software that contains machine learning algorithms is an integral part of automotive perception, for example, in driving automation systems. The development of such software, specifically the training and validation of the machine learning…

A software architecture defines the blueprints of a large computational system, and is thus a crucial part of the design and development effort. This task has been explored extensively in the context of mobile robots, resulting in a…

机器人学 · 计算机科学 2023-09-08 Henrik Andreasson , Giorgio Grisetti , Todor Stoyanov , Alberto Pretto