English
Related papers

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

200 papers

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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Cryptography and Security · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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,…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Formal Languages and Automata Theory · Computer Science 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…

Robotics · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 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…

Machine Learning · Statistics 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,…

Robotics · Computer Science 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…

Software Engineering · Computer Science 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…

Software Engineering · Computer Science 2017-08-10 Jan Schroeder , Christian Berger , Alessia Knauss , Harri Preenja , Mohammad Ali , Miroslaw Staron , Thomas Herpel

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…

Robotics · Computer Science 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…

Human-Computer Interaction · Computer Science 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…

Systems and Control · Electrical Eng. & Systems 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…

Robotics · Computer Science 2023-09-01 Wissam Kontar , Xinzhi Zhong , Soyoung Ahn
‹ Prev 1 4 5 6 7 8 10 Next ›