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 17 of 17 for “"runtime monitoring"”.
-
Runtime monitoring for asynchronous reactive components
… of reactive systems can be ascertained at runtime. It considers a lightweight monitoring technique, called runtime verification, that circumvents the issues associated with traditional pre-deployment techniques. One major challenge of runtime verification lies in choosing a monitoring …
-
Making runtime monitoring of parametric properties practical
… being used on various platforms. To this end, runtime monitoring is one of the most promising and feasible solutions for enhancing software reliability. In particular, runtime monitoring of parametric properties (parametric monitoring) has been receiving growing attention for its suitability in …
-
Flexible And Efficient Accelerator Architecture For Runtime Monitoring
… can cause an enormous amount of damage. Runtime monitoring is a promising approach for addressing a wide range of security and reliability problems in a general and transparent fashion. However, software-only approaches have high performance overheads on applications, and using custom …
-
Evaluating Runtime Monitoring for Reinforcement Learning-Based Flight Control
… This research investigates the integration of runtime monitoring, a real-time assurance technique, with reinforcement learning-based flight controllers to ensure safety and reliability during flight. By supervising the system’s behavior during execution and enforcing formalized design …
-
Runtime Monitoring of PLCs In Critical Real-Time Systems
… programmable logic controllers. We also discuss runtime monitoring as a solution for securing critical real-time systems and explore the details and challenges of runtime monitoring by implementing our own runtime monitors based on existing design principles
-
Reliable Robotic Perception: From Outlier-Robust Estimation to Task-Aware Runtime Monitoring
… outlier-robust estimation algorithms, perception monitoring, and risk assessment to enhance the robustness and safety of robots and autonomous vehicles. The first part of the thesis focuses on geometric perception, which is the task of estimating geometric models (e.g., poses) from sensor …
-
Efficient, expressive, and effective runtime verification
Runtime Verification is a quickly growing technique for providing many of the guarantees of formal verification, but in a manner that is scalable. It useful information available from actual runs of programs to make verification decisions, rather than the purely static information used in formal …
-
Systematic techniques for efficiently checking Software Product Lines
… and dynamic techniques for efficient testing and runtime monitoring of SPLs, which can be divided into two categories. The first prunes programs, termed configurations, that are irrelevant to the property being tested. More specifically, for a given test, a static analysis identifies features that …
-
Diagnosing runtime violations of security and dependability properties
Monitoring the preservation of security and dependability (S&D) properties of complex software systems is widely accepted as a necessity. Basic monitoring can detect violations but does not always provide sufficient information for deciding what the appropriate response to a violation is. Such …
-
Preparation-free and comprehensive runtime verification tool for testing Java programs
Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime. Although excessive runtime overhead, one of its main drawbacks, has been alleviated by many recent works, its usefulness seems to be limited by …
-
Validation and optimization of analog circuits using randomized search algorithms
… include test generation and compression, runtime monitoring and analyzing the worst-case behaviors. State of the art techniques in Monte Carlo are unable to address these problems effectively. Consequently, designing an efficient and scalable CAD algorithm to address such problems is …
-
Using program behaviour to exploit heterogeneous multi-core processors
… HMA processors, by employing a behaviour aware runtime system. This runtime system provides applications with the illusion of executing on a homogeneous architecture, by presenting a homogeneous virtual machine interface. The runtime system uses knowledge of a program's execution behaviour, …
-
Ontology based contextualization and context constraints management in web service processes
… impose shifting the validation process to runtime; therefore, runtime monitoring of dynamic features attached to service-based systems is becoming an important direction of research that motivated the definition of our work. We propose an ontology based contextualization and a framework and …
-
Automatic Co-Synthesis of Hardware and Software Safety Monitors for Embedded Systems
… pace to ensure their reliability and safety. Runtime verification is a promising approach for validating system behaviors during execution using monitors derived from formal system specifications. The adoption of runtime monitoring has historically been limited to experts, primarily due to the …
-
Ant: A Framework for Increasing the Efficiency of Sequential Debugging Techniques with Parallel Programs
… be useful. Many of these debugging tools require runtime monitoring of program points of interest in a program and the overhead of this monitoring is usually very high.</p> <p>We propose Ant, a framework that increases the efficiency of sequential debugging techniques when used with parallel …
-
Formalizing operator task analysis
… behavior. We present how one can perform runtime monitoring of a computer system being operated by a human operator for checking violation of temporal safety properties. We consider the concept of a protection envelope giving a wider class of behaviors than those strictly prescribed by a …
-
Formal approaches to security-aware robotic motion planning using hyperproperties
… the system will behave as expected during the runtime operation, which falls under the scope of runtime verification (RV). The fourth part of this dissertation investigates efficient algorithms for runtime monitoring of HyperTWTL specifications. Reinforcement learning (RL) is a sequential …