Sökning: "Simulink modeling"
Visar resultat 1 - 5 av 23 avhandlingar innehållade orden Simulink modeling.
1. Towards Model-Based Development of Self-Managing Automotive Systems : Modeling, Simulation, Model Transformations and Algorithms: Supporting the Development of the DySCAS Middleware
Sammanfattning : With the increased usage of electronics, embedded computer systems, software and networks in modern vehicles, the complexity is also increasing in terms of the development process, functionalities as well as their implementation. On one hand there is a need for efficient and systematic development, and on the other hand the systems are required to have enhanced post-deployment time configuration management support. LÄS MER
2. Modeling and Simulation of Physical Systems in a Mechatronic Context
Sammanfattning : This thesis gives different views on the modeling and simulation of physical systems, especially together with embedded systems, forming mechatronic systems. The main considered application domain is automotive. LÄS MER
3. Diesel Engine Modeling for Engine Management System Development
Sammanfattning : Due to increasingly strict emission legislation and stronger demands on fuel consumption, typical passenger car diesel engines become increasingly complex with more and more controllable systems added. These added systems open up for the possibility to operate the engine at more efficient conditions, but it also becomes more challenging to optimize the settings in the engine management system. LÄS MER
4. Modeling and Simulation of a Multi Phase Semi-batch Reactor
Sammanfattning : The operation of an industrial semi-batch reactor is modeled and the flow of one reactant is investigated. In the reactor a strongly exothermic polymerization reaction takes place followed by a slightly exothermic reaction, and the objective is to minimize the duration of the operation of the process. LÄS MER
5. Ontology-based Analysis and Scalable Model Checking of Embedded Systems Models
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