Sökning: "Domain-Specific Modeling Language"

Visar resultat 11 - 15 av 17 avhandlingar innehållade orden Domain-Specific Modeling Language.

  1. 11. Rigorous Simulation : Its Theory and Applications

    Författare :Adam Duracz; Walid Taha; Veronica Gaspes; Kazunori Ueda; Högskolan i Halmstad; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; simulation; verification; interval analysis; validated numerics; hybrid systems; cyber-physical systems;

    Sammanfattning : Designing Cyber-Physical Systems is hard. Physical testing can be slow, expensive and dangerous. Furthermore computational components make testing all possible behavior unfeasible. Model-based design mitigates these issues by making it possible to iterate over a design much faster. LÄS MER

  3. 12. Towards a Holistic Development Approach for Adaptable Manufacturing Paradigms : A Case Study of Evolvable Production Systems

    Författare :Afifa Rahatulain; Mauro Onori; DeJiu Chen; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Evolvable Production Systems; Model-based Development; System Thinking; Viewpoints; Industriell ekonomi och organisation; Industrial Engineering and Management;

    Sammanfattning : Increasing global competition, market uncertainties and high product variance are a few of the factors posing challenges to the existing manufacturing industry. Having a quick response to market fluctuations and adapting to changing customer demands while maintaining shorter lead times and low costs are a few of the major challenges. LÄS MER

  4. 13. Model-checking and Model-based Testing of Automotive Embedded Systems : Starting from the System Architecture

    Författare :Raluca Marinescu; Cristina Seceleanu; Bernhard Aichernig; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Computer Science; datavetenskap;

    Sammanfattning : Nowadays, modern vehicles are equipped with electrical and electronic systems that implement highly complex functions such as anti-lock braking or cruise control. The use of such embedded systems in the automotive domain requires a revised development process that addresses their particular features. LÄS MER

  5. 14. Design of Assured and Efficient Safety-critical Systems

    Författare :Nesredin Mahmud; Cristina Seceleanu; Guillermo Rodriguez-Navas; Joost-Pieter Katoen; Mälardalens högskola; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems design; safety critical systems; real time systems; formal method; optimization; model checking; Simulink; Computer Science; datavetenskap;

    Sammanfattning : Safety-critical   systems   need   to   be   analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specifications, hence avoiding undesirable system failures. Currently, there is a lack of effective and scalable methods to specify and analyze requirements, and formally analyze the behavioral models of embedded systems. LÄS MER

  7. 15. Optimal Control for Energy Efficient Vehicle Propulsion : Methodology, Application, and Tools

    Författare :Viktor Leek; Lars Eriksson; Jan Åslund; Giorgio Rizzoni; Linköpings universitet; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : Transport is an integral part of society and one of its basic prerequisites. Society is now facing a transition as it must go from dependence on fossil fuels to sustainability. LÄS MER