Search for dissertations about: "Domain-Specific Modeling Language"

Showing result 1 - 5 of 17 swedish dissertations containing the words Domain-Specific Modeling Language.

  2. 1. Model and Dependency Management in Mechatronic Design

    Author : Ahsan Qamar; Wikander Jan; Carl During; Kristina Shea; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Dependency Modeling; Model-Based Systems Engineering MBSE ; Mechatronic Design; Model Integration; Tool Integration; Common Language; Mechatronic Challenges; Domain Specific Language.;

    Abstract : Managing consistency is a major concern in the design of complex engineering systems. At times, inconsistencies may lead to wrong decisions, resulting in design flaws which can compromise safety and cause failures. One cannot forget the 1999 NASA unmanned MARS Climate Orbiter, which was destroyed due to use of inconsistent units by design teams. READ MORE

  4. 2. A Modeling Language for the Description and Development of Tool Chains for Embedded Systems

    Author : Matthias Biehl; Törngren Martin; Hans Vangheluwe; KTH; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Tool Chain; Tool Integration; Domain-Specific Modeling Language; Generative Approach; Lifecycle Support for Embedded System Development;

    Abstract : The development of embedded systems is typically supported by a number of diverse development tools. To achieve seamless tool support throughout the embedded systems development process, tool chains are constructed as software solutions that integrate the development tools. READ MORE

  5. 3. Design and Implementation of Object-Oriented Model Libraries using Modelica

    Author : Hubertus Tummescheit; Institutionen för reglerteknik; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; modeling languages; thermo-fluid systems; process modeling; process control; control systems; thermo-hydraulic systems; non-linear models; model library design; object-oriented; modeling; simulation; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik;

    Abstract : This thesis describes basic models for thermo-fluid systems and the implementation of the models using a flexible object-oriented structure in the ThermoFluid library. Model libraries provide an excellent way to package engineering knowledge of systems to be reused by non-experts. READ MORE

  6. 4. An Integrated Development Environment with Enhanced Domain-Specific Interactive Model Validation

    Author : Roland Samlaus; Peter Fritzson; Hans Vangheluwe; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : Physical modeling plays an important role in many engineering domains. For engineers it is important to model real world objects in order to simulate and assess their behavior. This is particularly true for the development of new product components such as for example wind turbines. READ MORE

  7. 5. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models

    Author : Nesredin Mahmud; Cristina Seceleanu; Oscar Ljungkrantz; Guillermo Rodriguez-Navas; Riccardo Scandariato; Mälardalens högskola; []
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; requirements specification; embedded systems; ontology; formal methods; simulink; sat; domain specific language; requirements boilerplates; Computer Science; datavetenskap;

    Abstract : Currently, there is lack of effective and scalable methods to specify and ana-lyze requirements specifications, and verify the behavioral models of embed-ded systems. Most embedded systems requirements are expressed in naturallanguage which is flexible and intuitive but frequently ambiguous, vague andincomprehensive. READ MORE