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 14 of 14 for “"Software Modeling"”.
-
Adoption of Software Modeling Tools: Modeler Experience, Barriers and Benefits
… stakeholders, and generating reliable code, software modeling has been shown to be able to benefit many stakeholders. However, there are ongoing challenges regarding the adoption of modeling. We present a series of studies about the attitudes that software developers have towards software …
-
Real-Time Embedded Software Modeling and Synthesis using Polychronous Data Flow Languages
As embedded software and platforms become more complicated, many safety properties are left to simulation and testing. MRICDF is a formal polychronous language used to guarantee certain safety properties and alleviate the burden of software development and testing. We propose real-time extensions …
-
Minimization of aberrations for the Mark IV holographic architecture using optical software modeling
… higher-end components through the aid of optical software modeling. Modeling of the optical setup is performed with a raytracing software package called FRED. Given that Mark IV's original reflector is not a high-precision optical element, the light that reflects off of its surface produces images …
-
APECS: A Polychrony based End-to-End Embedded System Design and Code Synthesis
… arises from the fact that the semantics of the modeling languages for the various tools, are often distinct, and the semantics gaps are often filled manually through the engineer's understanding of one model or an abstraction. This provides an opportunity for bugs to creep in, other than …
-
Energy Management System Modeling of DC Data Center with Hybrid Energy Sources Using Neural Network
… power distribution to the data center. Software modeling of the DC data center was first developed for the proposed system followed by the construction of a lab-scale model to simulate the proposed system. Five scenarios were tested on the hardware model and the results demonstrate the …
-
Formalization of a Security Framework Design for a Health Prescription Assistant in an Internet of Things System
… the concept of the Internet of Things (IoT) into software services engineered for improving the practices of monitoring and prescribing effective healthcare to patients. A study was performed in this application area in order to specify a security system design for a Health Prescription Assistant …
-
A Runtime Framework for Parallel Programs
… similar application, chosen from a different software area to emphasize the breadth of this research, show that the framework's facilities for low-overhead collaboration among parallel threads allows for significantly greater scales of achievable parallelism than technologies for inter-process …
-
Investigating the Kinematics and Dynamics of Strain Localization in the Northern Western Branch of the East African Rift System
… northern Western Branch using the finite element software Advanced Solver for Planetary Evolution, Convection, and Tectonics (ASPECT); and 2) calculating the present-day Victoria microplate motion, strain rates, and geodetic fault slip rates to assess deformation zones using Global Navigation …
-
Modeling and evaluation of multi-core multithreading processor architectures in SystemC
… through multithreaded multi-core architectures. Software modeling and simulation are common techniques used to aid hardware design. Through simulation, different architectures can be explored and verified before hardware is actually built. An appropriate choice for the level of abstraction can …
-
A meta-semantic language for smart component-adapters
The issues confronting the software development community today are significantly different from the problems it faced only a decade ago. Advances in software development tools and technologies during the last two decades have greatly enhanced the ability to leverage large amounts of software for …
-
Modeling Truck Motion along Grade Sections
… describes the TruckSIM framework for modeling vehicle motion along roadway sections by considering both the longitudinal and lateral forces acting on a vehicle. In doing so, the tool reflects the impact of horizontal and vertical alignment on a vehicle's longitudinal motion. The model …
-
Formal Approaches to Globally Asynchronous and Locally Synchronous Design
… and polychrony are chosen for the purpose of modeling, analyzing and verifying in this work. Polychrony, originally developed for embedded software modeling and synthesis, is able to specify multi-rate interfaces. Then a synchronous composition can be analyzed to avoid incompatibly and …
-
Applying Grid-Partitioning To The Architecture of the Disaster Response Mitigation (DISarm) System
… need for a robust system architecture to support software development is well known. In enterprise software development, this must be realized in a multi-tier environment for deployment to a software framework. Many popular integrated development environment (IDE) tools for component-based …