English
Related papers

Related papers: Before Autonomy Takes Control: Software Testing in…

200 papers

The kind of closed-loop verification likely to be required for autonomous vehicle (AV) safety testing is beyond the reach of traditional test methodologies and discrete verification. Validation puts the autonomous vehicle system to the test…

Machine Learning · Computer Science 2020-05-29 Hyun Jae Cho , Madhur Behl

Robotic systems have been evolving since decades and touching almost all aspects of life, either for leisure or critical applications. Most of traditional robotic systems operate in well-defined environments utilizing pre-configured…

Robotics · Computer Science 2019-01-11 Alaa F. Sheta , Nazeeh Ghatasheh , Hossam Faris , Ali Rodan

The application of deep learning in robotics leads to very specific problems and research questions that are typically not addressed by the computer vision and machine learning communities. In this paper we discuss a number of…

Research software refers to software development tools that accelerate discovery and simplifies access to digital infrastructures. However, although research software platforms can be built increasingly more innovative and powerful than…

Software Engineering · Computer Science 2018-12-27 Doug Mulholland , Paulo Alencar , Donald Cowan

When it comes to industrial organizations, current collaboration efforts in software engineering research are very often kept in-house, depriving these organizations off the skills necessary to build independent collaborative research. The…

Software Engineering · Computer Science 2015-03-11 Eduard Paul Enoiu , Adnan Causevic

Obviously, the dynamism of software reliability research has speeded up significantly in the last period, and we can state the fact that its intensity is approaching, and in some cases is ahead of the information systems hardware…

Software Engineering · Computer Science 2020-03-06 Anton Petrov , Elena Popova , Alexander Petrov

One key technical challenge in the age of autonomous machines is the programming of autonomous machines, which demands the synergy across multiple domains, including fundamental computer science, computer architecture, and robotics, and…

Robotics · Computer Science 2022-09-07 Shaoshan Liu , Xiaoming Li , Tongsheng Geng , Stephane Zuckerman , Jean-Luc Gaudiot

Safety is one of the most critical factors in robotics, especially when robots have to collaborate with people in a~shared environment. Testing the physical systems, however, must focus on much more than just software. One of the common…

Robotics · Computer Science 2021-04-02 Krystian Chachuła , Maciej Stefańczyk

Manufacturing is facing ever changing market demands, with faster innovation cycles resulting to growing agility and flexibility requirements. Industry 4.0 has been transforming the manufacturing world towards digital automation and the…

Robotics · Computer Science 2024-09-26 Taneli Lohi , Samuli Soutukorva , Tapio Heikkilä

Robots are becoming more and more commonplace in many industry settings. This successful adoption can be partly attributed to (1) their increasingly affordable cost and (2) the possibility of developing intelligent, software-driven robots.…

Can one estimate the number of remaining faults in a software system? A credible estimation technique would be immensely useful to project managers as well as customers. It would also be of theoretical interest, as a general law of software…

Software Engineering · Computer Science 2013-08-14 Carlo A. Furia , Bertrand Meyer , Manuel Oriol , Andrey Tikhomirov , Yi Wei

The software industry has seen an increasing interest in test automation. In this paper, we present a test automation maturity survey serving as a self-assessment for practitioners. Based on responses of 151 practitioners coming from above…

Software Engineering · Computer Science 2020-09-18 Yuqing Wang , Mika V. Mäntylä , Serge Demeyer , Kristian Wiklund , Sigrid Eldh , Tatu Kairi

Software measurement is an essential management tool to develop robust and maintainable software systems. Software metrics can be used to control the inherent complexities in software design. To guarantee that the components of the software…

Software Engineering · Computer Science 2022-01-26 Mamdouh Alenezi

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

Machine vision is critical to robotics due to a wide range of applications which rely on input from visual sensors such as autonomous mobile robots and smart production systems. To create the smart homes and systems of tomorrow, an overview…

Computer Vision and Pattern Recognition · Computer Science 2019-05-10 Javad Ghofrani , Robert Kirschne , Daniel Rossburg , Dirk Reichelt , Tom Dimter

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

Being able to explore an environment and understand the location and type of all objects therein is important for indoor robotic platforms that must interact closely with humans. However, it is difficult to evaluate progress in this area…

Robotics · Computer Science 2020-09-14 David Hall , Ben Talbot , Suman Raj Bista , Haoyang Zhang , Rohan Smith , Feras Dayoub , Niko Sünderhauf

Autonomous systems require identifying the environment and it has a long way to go before putting it safely into practice. In autonomous driving systems, the detection of obstacles and traffic lights are of importance as well as lane…

Robotics · Computer Science 2021-06-30 Namig Aliyev , Oguzhan Sezer , Mehmet Turan Guzel

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,…

Software Engineering · Computer Science 2014-09-24 Christian Berger , Bernhard Rumpe

Recent advancements in robotics have transformed industries such as manufacturing, logistics, surgery, and planetary exploration. A key challenge is developing efficient motion planning algorithms that allow robots to navigate complex…

Robotics · Computer Science 2025-08-27 Liding Zhang , Kuanqi Cai , Zewei Sun , Zhenshan Bing , Chaoqun Wang , Luis Figueredo , Sami Haddadin , Alois Knoll
‹ Prev 1 4 5 6 7 8 10 Next ›