Avancerad sökning

Visar resultat 1 - 5 av 17 avhandlingar som matchar ovanstående sökkriterier.

1. 1. Model and Dependency Management in Mechatronic Design

   Författare :Ahsan Qamar; Wikander Jan; Carl During; Kristina Shea; KTH; []
   Nyckelord :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.;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER

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

   Författare :Hubertus Tummescheit; Institutionen för reglerteknik; []
   Nyckelord :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;

   Sammanfattning : 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. LÄS MER

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

   Författare :Roland Samlaus; Peter Fritzson; Hans Vangheluwe; Linköpings universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : 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. LÄS MER

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

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

   Sammanfattning : 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. LÄS MER