Sökning: "Formal Verification"
Visar resultat 21 - 25 av 134 avhandlingar innehållade orden Formal Verification.
21. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER
22. On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development
Sammanfattning : Developing a control system for an automated manufacturing system is a challenging task. In addition to controlling and coordinating the machines and robots used in the production, the safety of the operators must be assured. LÄS MER
23. Secure System Virtualization : End-to-End Verification of Memory Isolation
Sammanfattning : Over the last years, security-kernels have played a promising role in reshaping the landscape of platform security on embedded devices. Security-kernels, such as separation kernels, enable constructing high-assurance mixed-criticality execution platforms on a small TCB, which enforces isolation between components. LÄS MER
24. Graph dominators in logic synthesis and verification
Sammanfattning : This work focuses on the usage of dominators in circuit graphs in order to reduce the complexity of synthesis and verification tasks. One of the contributions of this thesis is a new algorithm for computing multiple-vertex dominators in circuit graphs. LÄS MER
25. Situation awareness in pervasive computing systems : reasoning, verification, prediction
Sammanfattning : The paradigm of pervasive computing aims to integrate the computing technologies in a graceful and transparent manner, and make computing solutions available anywhere and at any time. Different aspects of pervasive computing, like smart homes, smart offices, social networks, micromarketing applications, PDAs are becoming a part of everyday life. LÄS MER