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 39 for “"software model"”.
-
Synchronizing trees and text in a software model analyzer
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
-
A Comparative Analysis To Validate The Benefits Of Formal Versus Informal Software Model Transformation
<p>In object -oriented development the Unified Modeling Language (UML) is the ISO/IEC standard for modeling language and is supported by major corporations. In relational database development, entity-relationship models have traditionally been use for modeling such systems. Transforming from one …
-
Machine Code Verification Using The Bogor Framework
Verification and validation of embedded systems software is tedious and time consuming. Software model checking uses a tool-based approach automating this process. In order to more accurately model software it is necessary to provide hardware support that enables the execution of software as it …
-
Marco de trabajo para el desarrollo de arquitecturas software orientado a aspectos
The thesis goal is to present a model for developing complex software systems, from a software architectural point of view. For applying the proposed software model a methodology, an architectural description language and a software tool have been developed. These help to software engineer to …
-
Hardware-in-the-loop simulation of pressurized water reactor steam-generator water-level control, designed for use within physically distributed testing environments
A hardware-in-the-loop model was developed to represent digital sensing and control of steam generator water-level. The model was created with an intention to serve as a component within a larger, distributed digital systems conceptual testing facility. In the present application, a software model …
-
Exploring Hybrid Dynamic and Static Techniques for Software Verification
With the growing importance of software on which human lives increasingly depend, the correctness requirement of the underlying software becomes especially critical. However, the increasing complexities and sizes of modern software systems pose special challenges on the effectiveness as well as …
-
Water treatment analysis guide
… procedures are programmed into an, excel based, software model, which permits quick and easy design. A brief description of how the software model can be used is also covered. The results given by the software model is validated through a set of examples, appended to this document. Ultimately it …
-
Exploring Dynamic Constraint Enforcement and Efficiency in Access Control
… in various ways depending on the access control model and the application. Role based access control (RBAC) employs restrictions on the activation of roles and the exercise of permissions by individuals for enforcing the constraints. However, whether a constraint specification correctly enforces …
-
Towards Practical Predicate Analysis
Software model checking is a successful technique for automated program verification. Several of the most widely used approaches for software model checking are based on solving first-order-logic formulas over predicates using SMT solvers, e.g., predicate abstraction, bounded model checking, …
-
Model Checking Pointer Safety in Compiled Programs
… code enables us to bypass limitations of other software model checkers with respect to the accepted input language, so that analysing code sections written in inline assembly does not represent a barrier for us. Our technique is especially designed for programs employing complex heap-allocated …
-
Effectiveness of integration of system-level optimization in concurrent engineering for rocket design
… study was carried out. A two-stage liquid rocket software model was created to serve as a complex multi-disciplinary design problem. Several design session trials were run with the goal of optimizing the rocket in performance and cost. Some design teams used optimization along with integrated …
-
GameBuilder, an outdoor AR creation software
… year olds for creating Outdoor AR games. The software attempts to reduce its learning curve by limiting the feature set, using a guided user interface, adding WYSIWIG-like display, and suggesting to the user a model which matches the software model. The author then conducted two studies to …
-
An Effective SMT Engine for Formal Verification
… for debugging and verifying hardware and software systems, whose current complexity makes the traditional approaches based on testing increasingly-less adequate. One of the most promising research directions in formal verification is based on the exploitation of Satisfiability Modulo …
-
Identification of factors responsible for successes or failures in the supply chain based on real-world case studies
… The ultimate output of the project will be a software model capable of improving the ability of companies to ship intermediate or finished products to and from China. The purpose of my research is to identify the factors that are mostly responsible for the strength or volatility of the supply …
-
MicroCuckoo Hash Engine for High-Speed IP Lookup
… is implemented as a simulation-based hardware/software model. This model is developed, tested and synthesized using Vivado HLS tool.
-
Design of a Power-aware Dataflow Processor Architecture
… the multiple events by deploying an event-driven software model. The software overheads of the general purpose processors results in energy inefficiency. What is needed is a class of special purpose processing elements which are more energy efficient for the purpose of computation. In the past, …
-
Improving Error Discovery Using Guided Model Checking
State exploration in directed software model checking is guided using a heuristic function to move states near errors to the front of the search queue. Distance heuristic functions rank states based on the number of transitions needed to move the current program state into an error location. Lack …
-
On-the-Fly Dynamic Dead Variable Analysis
State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used in software is the main cause of state explosion. As software grows in size and complexity the problem only becomes worse. As such, model …
-
A Decision Support System for Advanced Composites Manufacturing Cost Estimation
… the approach is demonstrated using a prototype software model of the Design Decision Support System, implemented using commercially available software.
-
An integrated framework for ensuring runtime quality in service-oriented systems
As a relatively new software model, there remain many challenges in realising a true service-oriented vision. The service-oriented systems which underpin modern business processes must be able to react to constantly changing environments and business requirements. The quality of a service-oriented …
Page 1 of 2