Sökning: "declarative modeling"
Visar resultat 1 - 5 av 9 avhandlingar innehållade orden declarative modeling.
1. PDEModelica – A High-Level Language for Modeling with Partial Differential Equations
Sammanfattning : This thesis describes work on a new high-level mathematical modeling language and framework called PDEModelica for modeling with partial differential equations. It is an extension to the current Modelica modeling language for object-oriented, equation-based modeling based on differential and algebraic equations. LÄS MER
2. Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models
Sammanfattning : Equation-based object-oriented (EOO) modeling languages such as Modelica provide a convenient, declarative method for describing models of cyber-physical systems. Because of the ease of use of EOO languages, large and complex models can be built with limited effort. LÄS MER
3. Managing the Complexity in Embedded and Cyber-Physical System Design : System Modeling and Design-Space Exploration
Sammanfattning : To cope with the increasing complexity of embedded and cyber-physical system design, different system-level design approaches are proposed which start from abstract models and implement them using design flows with high degrees of automation. However, creating models of such systems and also formulating the mathematical problems arising in these design flows are themselves challenging tasks. LÄS MER
4. Contributions to Meta-Modeling Tools and Methods
Sammanfattning : Highly integrated domain-specific environments are essential for the efficient design of complex physical products. However, developing such design environments is today a resource-consuming error-prone process that is largely manual. Meta-modeling and meta-programming are the key to the efficient development of such environments. LÄS MER
5. Debugging and Structural Analysis of Declarative Equation-Based Languages
Sammanfattning : A significant part of the software development effort is spent on detecting deviations between software implementations and specifications, and subsequently locating the sources of such errors. This thesis illustrates that is possible to identify a significant number of errors during static analysis of declarative object-oriented equation-based modeling languages that are typically used for system modeling and simulation. LÄS MER