Sökning: "object-oriented modeling"

Visar resultat 11 - 15 av 56 avhandlingar innehållade orden object-oriented modeling.

1. 11. Towards Behavioral Model Fault Isolation for Object Oriented Control Systems

   Författare :Dan Lawesson; Ulf Nilsson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Unified Modeling Language UML ; Maskinelement Servomekanismer Automation; Computer science; Datavetenskap;

   Sammanfattning : We use a system model expressed in a subset of the Unified Modeling Language to perform fault isolation in large object oriented control systems. Due to the severity of the failures considered and the safety critical nature of the system we cannot perform fault isolation online. LÄS MER

3. 12. A study of traceability in object-oriented systems development

   Författare :Mikael Lindvall; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : We regard a software system as consisting not only of its source code, but also of its documented models. Traceability is defined as the ability to trace the dependent items within a model and the ability to trace the correspondent items in other models. LÄS MER

4. 13. Debugging and Structural Analysis of Declarative Equation-Based Languages

   Författare :Peter Bunus; Peter Fritzson; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; software development; object-oriented; debugging; computer programming; debugging kernel prototypes; Computer science; Datavetenskap;

   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

5. 14. Data Partitioning Methods and Parallel Block-Oriented PDE Solvers

   Författare :Jarmo Rantakokko; Michael Thuné; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; data assimilation; data partitioning; meteorology; multiblock; Navier-Stokes; object-oriented; oceanography; parallel computing; Numerical Analysis; Numerisk analys;

   Sammanfattning : Data partitioning methods for block-structured problems within scientific computing have been studied. The applications are variational data assimilation in meteorology, ocean modeling, and airflow simulation with multiblock grids. LÄS MER

7. 15. PDEModelica - Towards a High-Level Language for Modeling with Partial Differential Equations

   Författare :Levon Saldamli; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Object oriented programming; mathematics models; partial differential equations PDEs ; relational meta-language RML ; Computer science; Datavetenskap;

   Sammanfattning : This thesis describes initial language extensions to the Modelica language to define a more general language called PDEModelica, with built-in support for modeling with partial differential equations (PDEs). Modelica® is a standardized modeling language for objectoriented, equation-based modeling. LÄS MER