Testing and Ops
Red Hat’s Office of the CTO has a new motto: “Operate first!” It acknowledges the fact that great innovations don’t amount to much if they can’t be implemented and operated. Building a complex system is a tough job, but even tougher is discovering ways to systematize and automate the testing of these systems and then creating the frameworks and tools for operating them, often by embedding AI into predicting and avoiding failures or finding optimization pathways. Our researchers are actively contributing to the field of automated cloud operations and AIOps.
Projects
| Project | Summary | Research Area | RIG | Universities | hf:tax:rig | hf:tax:partner_university |
|---|---|---|---|---|---|---|
| Discovering Opportunities for Optimizing OpenShift Energy Consumption | AbstractDrawing from our collective experience, we believe a wide array of opportunities for implementing energy optimization exist within OpenShift. However, … | AI-ML, Testing and Ops | Boston University | boston-university | ||
| AIDA – A holistic AI-Driven networking and processing framework for Industrial IoT | AIDA aims to enable novel trustworthy data-driven real-time industrial IoT applications by building a holistic AI-driven Networking and Processing framework. Indeed, … | AI-ML, Cloud-DS, Hardware and the OS, Testing and Ops | Europe | Karlstad University | brno | karlstad-university |
| Improving Cyber Security Operations using Knowledge Graphs | AbstractThe objective of this project is to improve the workflow and performance of security operation centers, including automating several of … | AI-ML, Cloud-DS, Testing and Ops | North America | Boston University | greater-boston | boston-university |
| Software diagnosis with log files | This project aims to create an automated tool to identify software failures and isolate the faulty software components (e.g., classes … | Testing and Ops | Israel | Ben Gurion University | tel-aviv | ben-gurion-university |
| Characterizing Microservice Architectures | Microservice architectures are the default method for building distributed applications in industry. Though the basic tenants of this architectural style … | Cloud-DS, Testing and Ops | North America | Emory University, Tufts University | greater-boston | emory-university tufts-university |
| Automated detection of memory safety vulnerabilities in Rust | In comparison to C, the Rust language provides significant memory safety guarantees through its concept of lifetimes and its borrow-checker. … | Testing and Ops | North America | Columbia University | greater-boston | columbia-university |
| Characterizing and optimizing reactive systems, a continuum language-runtime | This research project was kicked off by a paper we published in REBLS 2021. This paper aimed at comparing the costs and benefits of three different reactive streams libraries for Java: do mature and complex libraries implementing involved optimizations perform better than newer libraries sacrificing such optimizations for a simpler codebase? | Cloud-DS, Testing and Ops | Europe | National Institute for Applied Sciences of Lyon (INSA Lyon) | brno | insa-lyon |
| Serverless Streaming Graph Analytics | In this project, we will focus on graph streams that can be used to model distributed systems, where workers are represented as nodes connected with edges that denote communication or dependencies. | Cloud-DS, Testing and Ops | North America | Boston University | greater-boston | boston-university |
| Enabling Intelligent In-Network Computing for Cloud Systems | With the network infrastructure becoming highly programmable, it is time to rethink the role of networks in the cloud computing … | Cloud-DS, Testing and Ops | North America | Boston University | greater-boston | boston-university |
| Intelligent Data Synchronization for Hybrid Clouds | The goal of this project is to design configurable synchronization solutions on a common platform for a wide range of edge computing scenarios relevant to Red Hat. These solutions will be thoroughly validated on a state-of-the-art testbed capable of emulating realistic environments (e.g., smart cities). | AI-ML, Cloud-DS, Testing and Ops | North America | Boston University | greater-boston | boston-university |
| Secure cross-site analytics on OpenShift logs | The project aims to explore whether cryptographically secure Multi-Party Computation, or MPC for short, can be used to perform secure cross-site analytics on OpenShift logs with minimum client participation. | Cloud-DS, Security, Privacy, Cryptography, Testing and Ops | North America | Boston University | greater-boston | boston-university |
| Test Case Prioritization: Towards Efficient and Reliable Continuous Integration | Automatic regression testing is a crucial step of any CI/CD pipeline. Its primary goal is to detect bugs and defects introduced by recent changes as early as possible while keeping verification costs at a very low level. The goal of the TCP project is to create a novel ML-based tool that solves the TCP (Test Case Prioritization) problem in software regression testing. | Testing and Ops | Israel | Reichman University | tel-aviv | reichman-university |
| Elastic Secure Infrastructure | This project encompasses work in several areas to design, build and evaluate secure bare-metal elastic infrastructure for data centers. | Cloud-DS, Security, Privacy, Cryptography, Testing and Ops | North America | Boston University | greater-boston | boston-university |
| Open Cloud Testbed | The Open Cloud Testbed project will build and support a testbed for research and experimentation into new cloud platforms – the underlying software which provides cloud services to applications. Testbeds such as OCT are critical for enabling research into new cloud technologies – research that requires experiments which potentially change the operation of the cloud itself. | AI-ML, Cloud-DS, Hardware and the OS, Security, Privacy, Cryptography, Testing and Ops | North America | Boston University, Northeastern University, UMass Amherst | greater-boston | boston-university northeastern-university umass-amherst |
| PatrIoT: Quality Assurance System for Internet of Things Technology | The main goal is to design, implement and verify a framework for quality assurance of products based on the Internet of Things concept. The aim of the framework is to help individual IoT projects to establish an efficient testing and verification strategy of the infrastructure. The proposed framework is based on a model of the IoT infrastructure, composed of methodological part, driven by university team, and a technical part, mainly worked on by Red Hat engineers. | Testing and Ops | Europe | Czech Technical University | brno | czech-technical-university |
| AUFOVER: The Automation of Formal Verification | The goal of the Automation of Formal Verification (AUFOVER) project is to develop automated formal verification tools and integrate them for industrial use. The tools to be developed or improved within the projects are Verification Server, Verification Server Client Application, csmock plug-ins, DIVINE, Symbiotic and Testos. The purpose of the grant is to finish the development of university tools based on formal mathematical methods and their transfer to a commercial environment, including integration with industrial partners’ tools and incorporation of these tools into the commercial processes for software verification. | Testing and Ops | Europe | Brno University of Technology, Masaryk University | brno | brno-university-of-technology masaryk-university |
| Fuzzing Device Emulation in QEMU | Hypervisors—the software that allows a computer to simulate multiple virtual computers—form the backbone of cloud computing. Because they are both ubiquitous and essential, they are security-critical applications that make attractive targets for potential attackers. | Hardware and the OS, Security, Privacy, Cryptography, Testing and Ops | North America | Boston University | greater-boston | boston-university |
| Avocado Project | The goal of the Avocado project, as a generic test automation framework, is to provide a solid foundation for software projects to build their testing needs on. With Avocado, common testing problems are solved at the framework level, and developers can spend more of their time writing tests that, by default, will adhere to best practices. | Testing and Ops | Europe | Czech Technical University, Karlstad University | brno | czech-technical-university karlstad-university |