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 28 for “"system verification"”.
-
System verification tools based on Monadic Logics
… auch in der Informatik zum Zweck der formalen Systemverifikation verwendet. Entscheidungsverfahren für diese Logiken wurden in verschiedenen Werkzeugen wie z.B. Mona, MOSEL und dem Step System implementiert und teilweise erfolgreich in unterschiedlichen Anwendungsgebieten, vor allem in der …
-
Rewriting-based symbolic methods for distributed system verification
As computer system complexity increases, new methods and logics are needed to scale up to the complexity of practical systems without sacrificing logical precision and ease of specification. To that end, the goal of this research project is to develop rewriting-based symbolic analysis methods that …
-
Hashing hardware : identifying hardware during boot-time system verification
Modern systems measure the software loaded at boot-time to ensure the machine starts in a trusted state. Such measurements, however, do not include any information about the underlying hardware of the machine. Recent DRAM-based attacks and the growing complexity of the supply chain attest to the …
-
Parallelization and incremental algorithms in the verse hybrid system verification library
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2023-09-01 without embargo terms
-
A PCI/PCI-X test card for I/O system verification
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
-
On multi-agent hybrid system verification: Modeling in verse, star sets, and user studies
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-02-04 without embargo terms
-
Design of Joint Verification-Correction Strategies for Engineered Systems
System verification is a critical process in the development of engineered systems. Engineers gain confidence in the correct functionality of the system by executing system verification. Traditionally, system verification is implemented by conducting a verification strategy (VS) consisting of …
-
Modeling of power system dynamics in the medium time scale
… of electrical machines and interconnected power systems in the medium time scale using integral manifold techniques. First, an improved model for power system stabilizer design that captures the damping due to the amortisseur windings while retaining the simplicity of the DeMello-Concordia model …
-
A PCI Express to PCIX Bridge optimized for performance and area
… involves the architecture, implementation, and verification of a high bandwidth, low cost ASIC digital logic core that is compliant with the PCI Express to PCIX Bridge Specification. The core supports PCI Express and PCIX transactions, x16 PCI Express link widths, 32 and 64-bit PCIX link widths, …
-
System design visualizations for synthesizing intent specifications
… budget overruns, problems in the spacecraft system design must be found early in the development stages. An approach to using existing system design visualizations to aid system verification and validation in the early design stages is described. These commonly used system design …
-
Relational specification as a testing oracle
… of use of computers in control safety critical systems, i.e., flight control systems, necessitates that rigorous system testing is performed before the deployment. In flight control systems, requirements are mostly concerned with the safety and maneuverability of an aircraft. In this domain, the …
-
A Feasibility Problem Approach For Reachable Set Approximation
… and controllability analysis for dynamic control systems are powerful tools for numerous applications like trajectory prediction, system verification, collision avoidance or control strategy validation. The computation of reachable sets (and controllability sets) is a central part of this …
-
Compensation of nonlinear distortion in RF amplifiers for mobile communications
… in order to develop an effective predistortion system. Current researches are focused on modelling and predistortion of power amplifiers with memory, as well as memoryless ones. Different methods for modelling are used, as the Volterra series, polynomial models, look-up tables, the Hammerstein …
-
Safety and security of cyber-physical systems
… of embedded controllers in charge of physical systems has rapidly increased over the past years. Embedded controllers are present in every aspect of our lives, from our homes to our vehicles and factories. The complexity of these systems is also more than ever. These systems are expected to …
-
Modular verification of hardware systems
As hardware systems are becoming bigger and more complex, it is becoming increasingly harder to design and reason about these systems in a monolithic fashion. While hardware is often designed in a modular manner, its verification is rarely performed modularly. Moreover, any modular refinement to an …
-
Data-driven methods for statistical verification of uncertain nonlinear systems
… of autonomous, adaptive, and nonlinear systems, engineers commonly rely upon statistical techniques to verify that the closed-loop system satisfies specified performance requirements at all possible operating conditions. However, these techniques require a large number of simulations or …
-
Automated deductive verification of systems software
… so is our reliance on his correct functioning. Systems software lies at the heart of computer systems, consequently ensuring its reliability and security is of paramount importance. This thesis explores automated deductive verification for increasing reliability and security of systems software. …
-
Design and implementation of a low-cost FMCW imaging radar
Imaging radar systems have been predominantly developed using a coherent pulse radar approach, which is typically associated with expensive and complex hardware that usually requires a large amount of space. Hence, the use of such sensors is reserved to large organizations that can afford to …
-
Performance simulation and control design for diesel engine NOx emission reduction technologies
… model based control design. The SCI engine subsystems are modeled using an orifice constrain model for throttle, turbine, and wastegate; filling and emptying model for intake and exhaust manifolds; rotational dynamic for engine camshaft and turbocharger shift, air-charging model and exhaust …
-
Emergency medical service response system performance in an urban South African setting: a computer simulation model
… times in a simulated Emergency Medical Services system. The simulation was a computer model using discrete-event simulation and the model was based on Western Cape Emergency Medical Services operations in Cape Town. The study objectives were to (i) create the simulation model, (ii) determine the …
Page 1 of 2