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 25 for “"modeling languages"”.
-
Integration of component-based frameworks with sensor modeling languages for the sensor web
The goal of this thesis is to develop an easily modifiable sensor system. To achieve this goal SensorML (an XML based sensor language) is combined with Java Beans (a component model language). An important part of SensorML is its process model. Each sensor in the real world is depicted in SensorML …
-
Service-oriented design and verification of hybrid systems
… by differential equations. Data flow-oriented modeling languages that are used in industry aim at enabling the comprehensible and fast development of hybrid control systems. However, they lack formal semantics, which precludes the application of rigorous verification methods and thus makes it …
-
Model driven security from UML models to access control architectures
… <br> <br>Rather than fixing one particular modeling language for this process, we propose a schema for constructing such languages that combines languages for modeling systems with languages for modeling security. Thus the schema allows language designers to leverage expert know-how that is …
-
Auto-Generating Models From Their Semantics and Constraints
… models powered using domain-specific modeling languages are traditionally created manually by modelers. There exist model intelligence techniques, such as constraint solvers and model guidance, which alleviate challenges associated with manually creating models, however parts of the …
-
HybridMDSD: Multi-Domain Engineering with Model-Driven Software Development using Ontological Foundations
… the abstract specification of software based on modeling languages. Corresponding models are used to generate actual programming code without the need for creating manually written, error-prone assets. Modeling languages that are tailored towards a particular domain are called domain-specific …
-
A Domain-Specific Language for Traceability in Modeling
… Language (DSL) for describing the concepts of a modeling language that would be intended to be traced using a Requirements Management System (RMS), with tool support handling the evolution of models and of their traceability links. In the first part of this thesis, the syntax and metamodel of the …
-
Rewriting-based model checking methods
… logics and conventional programming languages. Rewriting logic is a highly expressive computational logic for effectively defining a formal executable semantics of a wide range of system specification languages. This dissertation presents new rewriting-based model checking methods and …
-
Formal Techniques for Design and Development of Safety Critical Embedded Systems from Polychronous Models
… expressed using one of the many formal modeling languages. Since these languages are equipped with formal semantics, formally-based tools can be employed for various analysis. In this dissertation, we adopt one such formal modeling language - MRICDF (Multi-Rate Instantaneous …
-
Design and analysis of process choreographies
… thorough analysis and comparison of choreography modeling languages is missing in the literature, this thesis introduces a requirements framework for choreography languages and uses it for comparing current choreography languages. Language proposals for overcoming the limitations are given for …
-
Optimization of Lyapunov invariants in analysis and implementation of safety-critical software systems
… are: (i) dynamical system interpretation and modeling of computer programs, (ii) Lyapunov invariants as behavior certificates for computer programs, and (iii) a computational procedure for finding the Lyapunov invariants. (i) The view in this dissertation is that software defines a rule for …
-
Model based approach to Hardware/ Software Partitioning of SOC Designs
… entire system. The advent of new System Level Modeling Languages (SLML), like SystemC, has made this possible. This research proposes a strategy to automate the process of partitioning a system model after it has been simulated and verified. The partitioning idea is based on systems modeled …
-
Evolving Intentions: Support for Modeling and Reasoning about Requirements that Change over Time
In early-phase requirements engineering, modeling stakeholder goals and intentions helps stakeholders understand the problem context and evaluate tradeoffs, by exploring possible "what if" questions. Prior research allows modelers to make evaluation assignments to desired goals and generate …
-
Specification and Verification of Declarative Open Interaction Models - A Logic-based framework
… that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been …
-
Scalable Structure Learning, Inference, and Analysis with Probabilistic Programs
… as computer programs in specialized programming languages. First, I introduce scalable methods for real-time synthesis of probabilistic programs in domain-specific data modeling languages, by performing Bayesian structure learning over hierarchies of symbolic program representations. These …
-
Systemsimulationen zur funktionalen Verifikation von HF- und Mixed-Signal-Schaltungen
… compatibility is a main issue here. Traditional modeling methods are especially in the rf and mixed-signal part not sufficient to allow for functional verification of SoCs, mainly due to the effect of high frequency signals, leading to small time steps during simulation. This work focuses …
-
Hazard and early warning analysis based on domain specific modeling technologies
… thesis investigates the use of Domain Specific Modeling (DSM) technologies. The contributions of this thesis is the design and development of a set of three graphical Domain Specific Modeling languages (DSML)s, that when combined together, provide all of the necessary constructs that will enable …
-
Discrete event system modeling using SysML and model transformation
… is to introduce a unified framework for modeling and simulating discrete event logistics systems (DELS) by using a formal language, the System Modeling Language (SysML), for conceptual modeling and a corresponding methodology for translating the conceptual model into a simulation model. …
-
Improved Symbolic Model Checking of Real-Time Systems
… closed timed automata and Stateful Timed CSP modeling languages. With regard to model checking algorithms, interesting problems are reachability analysis and emptiness checking. In the second part of the thesis, we aim to improve the current state-of-the-art algorithms by using the Lower Upper …
-
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 …
-
Structuring process models
… of Donald E. Knuth to conclude that process modeling is both a science and an art. Process modeling does have an aesthetic sense. Similar to composing an opera or writing a novel, process modeling is carried out by humans who undergo creative practices when engineering a process model. …
Page 1 of 2