中文
相关论文

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

200 篇论文

The adoption of machine learning (ML) components in software systems raises new engineering challenges. In particular, the inherent uncertainty regarding functional suitability and the operation environment makes architecture evaluation and…

软件工程 · 计算机科学 2020-08-10 Alex Serban , Erik Poll , Joost Visser

Know a days Computer system become essential and it is most commonly used in every field of life. The computer saves time and use to solve complex and extensive problem quickly in an efficient way. For this purpose software programs are…

软件工程 · 计算机科学 2016-12-30 Ahmed Mateen , Muhammad Azeem , Mohammad Shafiq

In the recent years, the interest of individual users in modern electric vehicles (EVs) has grown exponentially. An EV has two major components, which make it different from traditional vehicles, first is its environment friendly nature…

密码学与安全 · 计算机科学 2024-12-23 Abdul Rahman Sani , Muneeb Ul Hassan , Longxiang Gao , Jinjun Chen

Automotive software development requires engineers to test their systems to detect violations of both functional and drivability requirements. Functional requirements define the functionality of the automotive software. Drivability…

软件工程 · 计算机科学 2023-05-31 Federico Formica , Nicholas Petrunti , Lucas Bruck , Vera Pantelic , Mark Lawford , Claudio Menghi

Software Engineering and the implementation of software has become a challenging task as many tools, frameworks and languages must be orchestrated into one functioning piece. This complexity increases the need for testing and analysis…

软件工程 · 计算机科学 2018-06-27 Hannes Thaller

The automotive industry has transitioned from being an electro-mechanical to a software-intensive industry. A current high-end production vehicle contains 100 million+ lines of code surpassing modern airplanes, the Large Hadron Collider,…

软件工程 · 计算机科学 2022-03-29 Sangeeth Kochanthara , Yanja Dajsuren , Loek Cleophas , Mark van den Brand

Context: Over the last decade, software researchers and engineers have developed a vast body of methodologies and technologies in requirements engineering for self-adaptive systems. Although existing studies have explored various aspects of…

软件工程 · 计算机科学 2017-06-29 Zhuoqun Yang , Zhi Li , Zhi Jin , He Zhang

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to…

形式语言与自动机理论 · 计算机科学 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

Self-driving vehicles are a maturing technology with the potential to reshape mobility by enhancing the safety, accessibility, efficiency, and convenience of automotive transportation. Safety-critical tasks that must be executed by a…

机器人学 · 计算机科学 2016-04-27 Brian Paden , Michal Cap , Sze Zheng Yong , Dmitry Yershov , Emilio Frazzoli

This article provides an overview of the importance of requirements gathering in secure software development. It explains the crucial role of Requirements Engineers in defining and understanding the customer's needs and desires, as well as…

软件工程 · 计算机科学 2023-05-11 Valentin Burkin

Sensor-driven systems are increasingly ubiquitous: they provide both data and information that can facilitate real-time decision-making and autonomous actuation, as well as enabling informed policy choices by service providers and…

软件工程 · 计算机科学 2019-02-07 Muffy Calder , Simon Dobson , Michael Fisher , Julie McCann

Due to recent advances - compute, data, models - the role of learning in autonomous systems has expanded significantly, rendering new applications possible for the first time. While some of the most significant benefits are obtained in the…

机器学习 · 统计学 2018-06-18 Markus Wulfmeier

Model validity is key to the accurate and safe behavior of autonomous vehicles. Using invalid vehicle models in the different plan and control vehicle frameworks puts the stability of the vehicle, and thus its safety at stake. In this work,…

机器人学 · 计算机科学 2025-02-11 Agapius Bou Ghosn , Philip Polack , Arnaud de La Fortelle

Artificial Intelligence/Machine Learning techniques have been widely used in software engineering to improve developer productivity, the quality of software systems, and decision-making. However, such AI/ML models for software engineering…

软件工程 · 计算机科学 2020-12-04 Chakkrit Tantithamthavorn , Jirayus Jiarpakdee , John Grundy

The automotive industry is currently undergoing a major transformation with respect to the Electric/Electronic (E/E) and software architecture, driven by a significant increase in the complexity of the technological stack within a vehicle.…

The size of a software artifact influences the software quality and impacts the development process. In industry, when software size exceeds certain thresholds, memory errors accumulate and development tools might not be able to cope…

Planning is an essential topic in the realm of automated driving. Besides planning algorithms that are widely covered in the literature, planning requires different software tools for its development, validation, and execution. This paper…

机器人学 · 计算机科学 2021-11-25 Kailin Tong , Zlatan Ajanovic , Georg Stettinger

A key factor to optimal acceptance and comfort of automated vehicle features is the driving style. Mismatches between the automated and the driver preferred driving styles can make users take over more frequently or even disable the…

人机交互 · 计算机科学 2023-04-17 Zhaobo K. Zheng , Kumar Akash , Teruhisa Misu , Vidya Krishmoorthy , Miaomiao Dong , Yuni Lee , Gaojian Huang

Electrification in the automotive industry and increasing powertrain complexity demand accelerated, cost-effective development cycles. While data-driven models are recently investigated at component level, a gap exists in systematically…

系统与控制 · 电气工程与系统科学 2025-12-17 Eymen Ipek , Mario Hirz

This paper describes a framework for learning Automated Vehicles (AVs) driver models via knowledge sharing between vehicles and personalization. The innate variability in the transportation system makes it exceptionally challenging to…

机器人学 · 计算机科学 2023-09-01 Wissam Kontar , Xinzhi Zhong , Soyoung Ahn