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 10 of 10 for “"Safety and liveness"”.
-
A Middleware Framework for Networked Control Systems
… begin with a detailed description of the design and architecture of Etherware, and illustrate Etherware based development of networked control systems through a fairly complex traffic control testbed application. Building on the middleware, we address safety and security issues in networked …
-
To ascertain if blockchain can facilitate the Internet of Things security and scalability requirements
… asynchronous network, some suffer with security and/or scalability issues, while others suffer with liveness and/or safety issues. This is because many researchers have not considered the importance of liveness and safety, with respect to the integrity of the consensus decision. In this research …
-
Animation and formal verification of real-time reactive systems in an object-oriented environment
… through stimulus-response behavior. The safety-critical nature of their domain and their inherent complexity advocate the use of formal methods in the software development process. TROMLAB development environment supports a process model adequate for dealing with the complexity of …
-
A Trusted Autonomic Architecture to Safeguard Cyber-Physical Control Leaf Nodes and Protect Process Integrity
… systems are networked through IT infrastructure and susceptible to malware. Threats targeting process control are much more safety-critical than traditional computing systems since they jeopardize the integrity of physical infrastructure. Existing defence mechanisms address security at the …
-
Synthesis Of Distributed Protocols From Scenarios And Specifications
… development process itself is often tedious and requires the designer to reason about complex interactions arising out of concurrency and asynchrony inherent to such protocols. In this dissertation we describe program synthesis techniques which can be applied as an enabling technology to ease …
-
ITL Monitor: Compositional Runtime Analysis with Interval Temporal Logic
… 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 specifying the behaviour of programs that can be decomposed into subintervals of activity. Traditionally, only a restricted subset of …
-
Design, verification and automatic implementation of correct-by-construction distributed transaction systems in Maude
Designing, verifying, and implementing highly reliable distributed systems is at present a hard and very labor-intensive task. Cloud-based systems have further increased this complexity due to the desired consistency, availability, scalability, and disaster tolerance. This dissertation addresses …
-
A scalable Byzantine fault tolerant secure domain name system
The domain name system is the standard mechanism on the Internet to advertise and access important information about hosts. At its inception, DNS was not designed to be a secure protocol. The biggest security hole in DNS is the lack of support for data integrity authentication, source …
-
Integrating formal specification and verification methods in software development
… to make software development more scientific and rigorous, thereby to achieve better software quality and to facilitate automated software production; and has two major components: the design of the specification transition paradigm for software development and the theoretical study of the …
-
Policy-based approach for context-aware systems
… aspects such as: health care, smart homes and transportations. There exist a wide range of context-aware applications such as: mobile phones, learning systems, smart vehicles. Some context-aware systems are critical since the consequence of failing to identify a given context may be …