English
Related papers

Related papers: Virtualizing Mixed-Criticality Systems: A Survey o…

200 papers

The complexity of digital embedded systems has been increasing in different safety-critical applications such as industrial automation, process control, transportation, and medical digital devices. The correct operation of these systems…

Software Engineering · Computer Science 2022-04-28 Fayhaa Hameedi Khlaif , Shawkat Sabah Khairullah

In order to better accommodate the dramatically increasing demand for data caching and computing services, storage and computation capabilities should be endowed to some of the intermediate nodes within the network. In this paper, we design…

Networking and Internet Architecture · Computer Science 2017-06-30 Yuchen Zhou , F. Richard Yu , Jian Chen , Yonghong Kuo

The paper reviews the comparative study of security measures, challenges, and best practices with a view to enhancing cyber safety in containerized platforms. This review is intended to give insight into the enhanced security posture of…

Cryptography and Security · Computer Science 2024-04-30 Sohome Adhikari , Sabur Baidya

In recent decades the analysis of data has become increasingly computational. Correspondingly, this has changed how scientific and statistical work is shared. For example, it is now commonplace for underlying analysis code and data to be…

Other Statistics · Statistics 2021-08-05 Gregory J. Hunt , Johann A. Gagnon-Bartsch

High availability has always been one of the main problems for a data center. Till now high availability was achieved by host per host redundancy, a highly expensive method in terms of hardware and human costs. A new approach to the problem…

Systems and Control · Computer Science 2012-05-03 Federico Calzolari , Silvia Arezzini , Alberto Ciampa , Enrico Mazzoni , Andrea Domenici , Gigliola Vaglini

Over the last years, the number of cyber-attacks on industrial control systems has been steadily increasing. Among several factors, proper software development plays a vital role in keeping these systems secure. To achieve secure software,…

Software Engineering · Computer Science 2021-02-23 Tiago Espinha Gasiba , Ulrike Lechner , Maria Pinto-Albuquerque , Anmoal Porwal

As a general trend in industrial robotics, an increasing number of safety functions are being developed or re-engineered to be handled in software rather than by physical hardware such as safety relays or interlock circuits. This trend…

Robotics · Computer Science 2022-01-28 Yvonne Murray , Martin Sirevåg , Pedro Ribeiro , David A. Anisi , Morten Mossige

Industrial Control Systems (ICS) encompassing resources for process automation are subjected to a wide variety of security threats. The threat landscape is arising due to increased adoption of Commercial-of-the-shelf (COTS) products as well…

Cryptography and Security · Computer Science 2015-10-08 Abhinav Biswas , Sukanya Karunakaran

Mixed reality (MR) technology development is now gaining momentum due to advances in computer vision, sensor fusion, and realistic display technologies. With most of the research and development focused on delivering the promise of MR,…

Cryptography and Security · Computer Science 2020-06-11 Jaybie A. de Guzman , Kanchana Thilakarathna , Aruna Seneviratne

Recent research in the domain of real-time scheduling theory has tackled the problem of scheduling mixed-criticality systems upon uniprocessor or multiprocessor platforms, with the main objective being to respect the timeliness of the most…

Other Computer Science · Computer Science 2013-02-06 François Santy , Geoffrey Nelissen , Joël Goossens

As many industries shift towards centralised controlled information systems for monitoring and control, more importance is being placed upon technologies such as Supervisory Control and Data Acquisitions industrial systems (SCADA). This…

Cryptography and Security · Computer Science 2020-05-11 Michael Smurthwaite , Maumita Bhattacharya

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

Virtualization enables information and communications technology industry to better manage computing resources. In this regard, improvements in virtualization approaches together with the need for consistent runtime environment, lower…

Cryptography and Security · Computer Science 2021-01-12 Omar Javed , Salman Toor

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing…

Artificial Intelligence · Computer Science 2018-02-06 Lindsey Kuper , Guy Katz , Justin Gottschlich , Kyle Julian , Clark Barrett , Mykel Kochenderfer

Mixed Reality (MR) technologies are increasingly adopted by enterprises to enhance remote collaboration, enabling users to share real-time views of their physical environments through head-mounted displays (HMDs). While MR spatial sharing…

Human-Computer Interaction · Computer Science 2026-02-09 Mengyu Chen , Youngwook Do , Feiyu Lu , Kaiming Cheng , Blair MacIntyre

With increasing physical threats in recent years targeted at critical infrastructures, it is crucial to establish a reliable threat monitoring system integrating video surveillance and digital sensors based on cutting-edge technologies. A…

Computer Vision and Pattern Recognition · Computer Science 2022-03-03 Zenjie Li , Barry Norton

The rapid evolution of embedded systems, along with the growing variety and complexity of AI algorithms, necessitates a powerful hardware/software co-design methodology based on virtual prototyping technologies. The market offers a diverse…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-20 Tim Kraus , Axel Sauer , Ingo Feldner

The task of designing secure software systems is fraught with uncertainty, as data on uncommon attacks is limited, costs are difficult to estimate, and technology and tools are continually changing. Consequently, experts may interpret the…

Cryptography and Security · Computer Science 2013-06-03 Simon Miller , Susan Appleby , Jonathan M. Garibaldi , Uwe Aickelin

Software vulnerabilities can have serious consequences, which is why many techniques have been proposed to defend against them. Among these, vulnerability detection techniques are a major area of focus. However, there is a lack of a…

Software Engineering · Computer Science 2023-03-30 Yingzhou Bi , Jiangtao Huang , Penghui Liu , Lianmei Wang

Network virtualization is a way to simultaneously run multiple heterogeneous architectures on a shared substrate. The main issue in the virtualization of networks is the problem of mapping virtual networks to the substrate network. How to…

Networking and Internet Architecture · Computer Science 2020-05-18 Amir Javadpour , Guojun Wang , Xiaofei Xing