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 12 of 12 for “"Interval Temporal logic"”.
-
ITL Monitor: Compositional Runtime Analysis with Interval Temporal Logic
… it is running. A popular language for specifying temporal requirements for runtime verification is Linear Temporal Logic (LTL), which is excellent for expressing properties such as safety and liveness. Another formalism that is used is Interval Temporal Logic (ITL). This logic has constructs for …
-
Studying and Analysing Transactional Memory Using Interval Temporal Logic and AnaTempura
… some proposed refinement and restriction rules. Interval Temporal Logic (ITL) and its programming language subset AnaTempura are used to build, execute and test the model, since they together provide a powerful framework supporting logical reasoning about time intervals as well as programming and …
-
Formal Specification and Runtime Verification of Parallel Systems using Interval Temporal Logic (ITL)
… correctness properties. My technique is based on Interval Temporal Logic (ITL) and its executable subset Tempura to verify properties at runtime using the AnaTempura tool. I use, as a demonstration, the case study of private L2 cache memory of multi-core processor architecture. My objectives are …
-
Reasoning about history based access control policy using past time operators of interval temporal logic
Interval Temporal Logic (ITL) is a flexible notation for the propositional and first-order logical reasoning about periods of time that exist in specifications of hardware and software systems. ITL is different from other temporal logics since it can deal with both sequential and parallel …
-
A Process Modelling Framework Based on Point Interval Temporal Logic with an Application to Modelling Patient Flows
This thesis considers an application of a temporal theory to describe and model the patient journey in the hospital accident and emergency (A&E) department. The aim is to introduce a generic but dynamic method applied to any setting, including healthcare. Constructing a consistent process model can …
-
A Framework for Specifying Business Rules Based on Logic with a Syntax Close to Natural Language
… which is based on Tempura (executable subset of Interval Temporal Logic (ITL)) to describe behaviour and the Object Constraint Language (OCL) to describe invariants and pre- and postconditions. APRIL statements can be used as the basis for automatically generating test code for software systems. …
-
Statistical verification and differential privacy in cyber-physical systems
… to verify Linear Inequality LTL and Metric Interval Temporal Logic on these discrete probabilistic models. In addition, the advantage of stratified sampling in verifying Probabilistic Computation Tree Logic on Labeled Discrete-Time Markov Chains is studied; this method can potentially be …
-
Behaviour-based Virus Analysis and Detection
… detection methods. The proposed research uses temporal logic and behaviour-based detection to detect viruses. Interval Temporal Logic (ITL) will be used to generate virus specifications, properties and formulae based on the analysis of the behaviour of computer viruses, in order to detect them. …
-
A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services
… defined semantics in terms of our underlying logical framework, for designing service oriented systems. Fundamental to our approach is the notion of Compositionality. To achieve this, we augment Web service specifications with properties called assumption and commitment. We show how runtime …
-
Efficient Enforcement of Security Policies in Distributed Systems
… dynamic PBM system has a formal underpinning in Interval Temporal Logic (ITL) allowing for formal analysis and verification to take place. The main aim of the research to automatically distribute enforcement mechanisms in the distributed system in order to provide resilience against network …
-
A Policy-Based Management Approach to Security in Cloud Systems
… systems, spanning across multiple physical and logical network locations, as well as different administrative domains and ownerships, with support for location-aware access control policy enforcement, and implement a differentiated fine-grained access control depending on the current location of …