English
Related papers

Related papers: Towards Continuous Safety Assessment in Context of…

200 papers

Software as a Service (SaaS) is well established as an effective model for the development, deployment and customization of software. As it continues to gain more momentum in the IT industry, many user experience challenges and issues are…

Human-Computer Interaction · Computer Science 2018-12-11 Lakshmi Sirisha Revadi , Xi Zheng , Yupeng Jiang

Computer systems are so complex, so they are usually designed and analyzed in terms of layers of abstraction. Complexity is still a challenge facing logical reasoning tools that are used to find software design flaws and implementation…

Software Engineering · Computer Science 2021-06-18 Ramy Shahin

Today's software systems like cyber-physical production systems or big data systems have to process large volumes and diverse types of data which heavily influences the quality of these so-called data-intensive systems. However, traditional…

Software Engineering · Computer Science 2019-04-10 Michael Felderer , Barbara Russo , Florian Auer

Cloud computing recently developed into a viable alternative to on-premises systems for executing high-performance computing (HPC) applications. With the emergence of new vendors and hardware options, there is now a growing need to…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-12-14 Mohammad Mohammadi , Timur Bazhirov

The continuous testing of small changes to systems has proven to be useful and is widely adopted in the development of software systems. For this, software is tested in environments that are as close as possible to the production…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-12-20 Jossekin Beilharz , Philipp Wiesner , Arne Boockmeyer , Lukas Pirl , Dirk Friedenberger , Florian Brokhausen , Ilja Behnke , Andreas Polze , Lauritz Thamsen

Difficulty of safety-related software standards to help producing software for safe systems is discussed. Some research activity and other actions are proposed to focus on and possibly resolve long-lasting related problems.

Software Engineering · Computer Science 2014-04-29 Mario Fusani , Giuseppe Lami

Autonomous Driving (AD) systems demand the high levels of safety assurance. Despite significant advancements in AD demonstrated on open-source benchmarks like Longest6 and Bench2Drive, existing datasets still lack regulatory-compliant…

Robotics · Computer Science 2025-05-21 Jingzheng Li , Tiancheng Wang , Xingyu Peng , Jiacheng Chen , Zhijun Chen , Bing Li , Xianglong Liu

Background: Security tools play a vital role in enabling developers to build secure software. However, it can be quite challenging to introduce and fully leverage security tools without affecting the speed or frequency of deployments in the…

Cryptography and Security · Computer Science 2021-07-20 Roshan Namal Rajapakse , Mansooreh Zahedi , Muhammad Ali Babar

Hazard and impact analysis is an indispensable task during the specification and development of safety-critical technical systems, and particularly of their software-intensive control parts. There is a lack of methods supporting an…

Software Engineering · Computer Science 2015-12-10 Sonila Dobi , Mario Gleirscher , Maria Spichkova , Peter Struss

The importance of continuously incorporating customer feedback in the software development process is well established and firmly grounded in concepts such as agile and DevOps. In large-scale organizations such as Dell Technologies however,…

Software Engineering · Computer Science 2025-04-15 David Molamphy

Security risk assessment methods have served us well over the last two decades. As the complexity, pervasiveness and automation of technology systems increases, particularly with the Internet of Things (IoT), there is a convincing argument…

Cryptography and Security · Computer Science 2018-06-29 Jason R. C. Nurse , Petar Radanliev , Sadie Creese , David De Roure

During the usage phase, a technical product system is in permanent interaction with its environment. This interaction can lead to failures that significantly endanger the safety of the user and negatively affect the quality and reliability…

Software Engineering · Computer Science 2023-06-29 Tim Maurice Julitz , Nadine Schlüter , Manuel Löwer

Reducing the number of failures in a production system is one of the most challenging problems in technology driven industries, such as, the online retail industry. To address this challenge, change management has emerged as a promising…

Machine Learning · Computer Science 2021-08-19 Binay Gupta , Anirban Chatterjee , Harika Matha , Kunal Banerjee , Lalitdutt Parsai , Vijay Agneeswaran

Autonomous systems (AS) are systems that have the capability to take decisions free from direct human control. AS are increasingly being considered for adoption for applications where their behaviour may cause harm, such as when used for…

Software Engineering · Computer Science 2022-08-02 Richard Hawkins , Matt Osborne , Mike Parsons , Mark Nicholson , John McDermid , Ibrahim Habli

In recent years, there has been a growing concern with software integrity, that is, the assurance that software has not been tampered with on the path between developers and users. This path is represented by a software development pipeline…

Cryptography and Security · Computer Science 2022-11-14 B. M. Reichert , R. R. Obelheiro

The importance of information security dramatically increased and will further grow due to the shape and nature of the modern computing industry. Software is published at a continuously increasing pace. The Internet of Things and security…

Cryptography and Security · Computer Science 2022-05-10 Mattia Paccamiccio , Leonardo Mostarda

This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties which can be independently verified. It relies on domain…

Systems and Control · Computer Science 2013-08-27 Timothy Wang , Romain Jobredeaux , Heber Herencia , Pierre-Loic Garoche , Arnaud Dieumegard , Eric Feron , Marc Pantel

Continuous practices that rely on automation in the software development workflow have been widely adopted by industry for over a decade. Despite this widespread use, software development remains a primarily human-driven activity that is…

Software Engineering · Computer Science 2021-04-07 Omar Elazhary , Margaret-Anne Storey , Neil A. Ernst , Elise Paradis

Development of Cyber Physical Systems (CPSs) requires close interaction between developers with expertise in many domains to achieve ever-increasing demands for improved performance, reduced cost, and more system autonomy. Each engineering…

Software Engineering · Computer Science 2020-04-14 Charles Hartsell , Nagabhushan Mahadevan , Harmon Nine , Ted Bapty , Abhishek Dubey , Gabor Karsai

Automated driving systems can be helpful in a wide range of societal challenges, e.g., mobility-on-demand and transportation logistics for last-mile delivery, by aiding the vehicle driver or taking over the responsibility for the dynamic…

Robotics · Computer Science 2023-07-13 Adina Aniculaesei , Iqra Aslam , Daniel Bamal , Felix Helsch , Andreas Vorwald , Meng Zhang , Andreas Rausch