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 23 for “"Runtime verification"”.
-
Evolution-aware runtime verification
… bugs during software development by performing runtime verification during software testing. Runtime verification can help find bugs by monitoring program executions against formally specified properties. Over the last two decades, great research progress has improved the performance of runtime …
-
Runtime verification for stochastic systems
… such as a semi-autonomous car. The field of runtime verification has developed many tools for monitoring the safety of software systems in real time. However, these tools do not allow for uncertainty in the system's state or failure, both of which are essential for the problems we care about. …
-
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 …
-
Runtime verification of object lifetime specifications
This thesis reports on the implementation of a runtime verification system for object lifetime specifications. This system is used to explore and evaluate the expressiveness object lifetime specifications. Object lifetime specifications are program annotations that indicate, in terms of program …
-
Runtime Verification and Debugging of Concurrent Software
Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily life but also many critical applications. As the computational power of multi-core processors and other parallel hardware keeps increasing, concurrent …
-
Testing, runtime verification, and analysis of concurrent programs
… The first one is to enforce thread schedules and runtime properties efficiently. Being able to enforce desired thread schedules and runtime properties would greatly help developers to develop reliable multithreaded code. The second one is to explore the state space of multithreaded programs …
-
ROSRV: runtime verification for the Robot Operating System
… of the framework. This thesis presents ROSRV, a runtime verification framework for ROS. ROSRV aims to address vulnerabilities in ROS in order to build more reliable robots by enforcing security policies and monitoring safety properties. It integrates with ROS seamlessly; in other words, it does …
-
Concern-based specification and runtime verification of declarative process models
An organisation has a number of business processes that whencarried out achieve its business goals. A business process definesa specific ordering of activities. It can be modelled using a processmodel. The process model is constructed using a modelling language.In practice, business processes can …
-
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 …
-
Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)
Runtime Verification (RV) is the discipline that allows monitoring systems at runtime in order to check the satisfaction or violation of a given correctness property. Parallel systems are more complicated than sequential systems. Therefore, systems that run in parallel need a parallel runtime …
-
A Development Platform to Evaluate UAV Runtime Verification Through Hardware-in-the-loop Simulation
… Verifying the control software using traditional verification techniques is difficult and thus increases their safety concerns. Runtime verification is an efficient technique to ensure the autonomous vehicle's actions are limited to a set of acceptable behaviors that are deemed safe. The …
-
Reducing instrumentation points in Larva
… assurance of huge and complex systems, runtime verification is becoming an increasingly popular technique. The Larva tool was built to automatically generate runtime verification monitors that would help to validate the behavior of Java programs at runtime. The runtime verification …
-
ITL Monitor: Compositional Runtime Analysis with Interval Temporal Logic
Runtime verification has gained significant interest in recent years. It is a process in which the execution trace of a program is analysed while it is running. A popular language for specifying temporal requirements for runtime verification is Linear Temporal Logic (LTL), which is excellent for …
-
Novel Formal Methods for the Safety and Security of Cyber-Physical Systems
… Robust methods in the field of formal runtime assurance can be used to verify safety and security policies. They have lower resource overheads than traditional formal methods, appealing to designers with resource constraints. Runtime verification, an area within runtime assurance, …
-
Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs
… Twist uses a combination of static analysis and runtime verification. I evaluate Twist's type system and analyses on a benchmark suite of quantum programs in simulation, demonstrating that Twist can express quantum algorithms, catch programming errors in them, and support programs that several …
-
Work on new event sources for detectEr
detectEr is an actor-based runtime verification tool for Erlang programs. It uses the tracing mechanism of the Erlang virtual machine to trace messages sent between Erlang processes, creating events that are matched against correctness properties defined in the logic mHML. This thesis describes …
-
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 …
-
Automatic Co-Synthesis of Hardware and Software Safety Monitors for Embedded Systems
… systems challenge conventional test-based verification methods. Given the continuous evolution and deployment of these systems, verification must keep pace to ensure their reliability and safety. Runtime verification is a promising approach for validating system behaviors during execution …
-
Formal approaches to security-aware robotic motion planning using hyperproperties
… the proposal of efficient techniques for verification, specifically using automata-based and satisfiability modulo theory (SMT)-based model checking methods under HyperTWTL specifications. This is because most existing model-checking verification techniques based on both automata and SMT …
Page 1 of 2