Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 28 for “"Safety Guarantees"”.
-
Making safety guarantees in smart environments
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2024-09-16 without embargo terms
-
SAFECode: A Platform for Developing Reliable Software in Unsafe Languages
… system uses to achieve the goal of providing safety guarantees to software written in unsafe languages. This thesis also evaluates the SAFECode approach on several benchmarks and server applications and shows that the performance overhead is lower than any of the other existing approaches.
-
The tasks with effects model for safe concurrency
… programming models either provide weak safety guarantees, making it easy to write code with subtle errors, or are limited in the class of programs that they can express. I believe that a concurrent programming model should offer strong safety guarantees such as data race freedom, …
-
Learning Large-scale Multi-agent Control with Safety Certificates
… of machine learning-based methods is their safety and reliability in controlling the autonomous system at large scale, due to the lack of formal safety guarantee. In addressing these challenges, we develop: (1) An machine learning-based large-scale multi-agent control framework with safety …
-
Hybrid Static/Dynamic Type Safety for C/C++ Programs
… these languages do not provide the strong safety guarantees that safe languages such as Java do. Programming mistakes can introduce type errors that are not caught at compile time. These errors may subsequently be triggered at runtime, and their sources maybe hard to detect. This thesis …
-
Preventing IPC-facilitated type confusion in Rust
… language is Rust, which provides powerful type safety guarantees [1]. However, these guarantees are valid only for a single compilation unit. That is, they may not hold when multiple separately compiled processes communicate. In this work, we explore how type confusion vulnerabilities can still …
-
Automatic simulation-driven reachability using matrix measures
… is a promising approach that provides formal safety guarantees for otherwise intractable nonlinear and hybrid system models. A key step in simulation-driven algorithms is to compute the reach set over-approximations from a set of initial states through numerical simulations. This thesis …
-
Unsafe Nesting in BPF Programs
… by enabling dynamic kernel extensions with safety guarantees enforced by an in-kernel verifier, ensuring kernel stability. The verifier verifies each BPF program without considering its interactions with other BPF programs, assuming these interactions will be safe. This assumption relies on …
-
Dynamic Obstacle Avoidance on a Self-balancing Robot Platform
… algorithms need to be implemented that provide safety guarantees when a mechanical device is teleoperated by a human user. These algorithms can intervene when an unsafe choice is made to protect the operator and the system itself. The challenge that this work specifically focuses upon is dynamic …
-
StarL for programming reliable robotic networks
… with well-defined interfaces and precise guarantees. Composing these functions, it is possible to write more sophisticated functions and applications which are amenable to assume-guarantee style reasoning. StarL is platform independent and can be used in conjunction with any mobile robotic …
-
A scalable mixed-level approach to dynamic analysis of C and C++ programs
… approach. This framework provides memory safety guarantees, allows tools built upon it to access rich source- and binary-level information simultaneously at run time, and enables tools to scale to large, real-world C and C++ programs on the order of millions of lines of code. Third, I …
-
Reinforcement Learning Control for Mobile Robot Parking with Safety Constraints
… and input noise.</p> <p>To address hard safety requirements in obstacle-rich settings, we augment the RL policy with a CBF safety filter that enforces forward invariance of a state-based safe set in real time. Experiments show that (i) reward shaping alone yields “soft safety” (avoidance …
-
On the implications of unsafe eBPF composition
… skill and thor- ough testing to ensure complete safety. The eBPF subsystem in the Linux kernel addresses this challenge by allowing applications to enhance the kernel's capabilities at runtime, while ensuring stability and security. This guaranteed safety is facilitated by the verifier engine, …
-
Integral Quadratic Constraints and Safety Certificates for Uncertainty Characterization and Control Safety-Aware Filtering of Proximity Operations Between Satellites
… and stochastic gradient descent to provide safety-aware filtering for the fuel-optimal control policies. A linear quadratic regulator controller for a servicer satellite (Servicer) is analyzed via the dissipativity inequality principle and quadratic constraints. This method allows the …
-
An Undergraduate Computer Systems Curriculum Using Rust
… significance, it exposes students to memory safety errors and undefined behavior that can hinder learning. Rust offers comparable performance and control while enforcing memory and thread safety, but the steep learning curve may preclude its use as an instructional language for operating …
-
A zero kernel operating system : rethinking microkernel design by leveraging tagged architectures and memory-safe languages
… memory-safe language, Rust. Rust provides memory-safety guarantees while remaining as fast and flexible as other systems languages. Yet, some operations within operating systems, such as hand-written assembly for interrupt handling, do not fit within the scope of a language memory-safety model. To …
-
Contract-based safety verification for autonomous driving
… hinges upon providing rigorous performance and safety guarantees. This thesis considers the problem of establishing and verifying the safety of autonomous systems. To this end, we present a novel framework for the synthesis of safety constraints for autonomous systems, so-called safety …
-
Robustness Verification and Optimization of Nonlinear Systems
… nonlinearity pose challenges in providing safety guarantees and robustness in the presence of uncertainty. This thesis provides methods to exploit knowledge on upper and lower bounds on the nonlinearity and solves problems related to robustness verification and optimization subject to …
-
Preventing Unintended Data Access: Information Flow Control in eBPF
… data store. Although the eBPF subsystem provides safety guarantees through its verifier, it does not track or restrict access to sensitive data that an eBPF program is not explicitly intended to access. In this research, we propose an information flow control (IFC) system that leverages labels and …
-
Informed Planning and Safe Distributed Replanning under Physical Constraints
… a predefined amount of time. In this scenario, safety concerns arise by the presence of both dynamic motion constraints and time limitations. The thesis proposes the framework of Short-Term Safety Replanning (STSR), which achieves safety guarantees in this context while minimizing …
Page 1 of 2