Search for dissertations about: "simulink"

Showing result 1 - 5 of 46 swedish dissertations containing the word simulink.

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

    University dissertation from Västerås : Mälardalen University

    Author : Nesredin Mahmud; Mälardalens högskola.; [2017]
    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

  2. 2. Automated Approaches for Formal Verification of Embedded Systems Artifacts

    University dissertation from Västerås : Mälardalen University

    Author : Predrag Filipovikj; Mälardalens högskola.; [2019]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; embedded systems; Simulink; systems specifications; model-checking; formal verification; Computer Science; datavetenskap;

    Abstract : Modern embedded software is so large and complex that creating the necessary artifacts, including system requirements specifications and design-time models, as well as assuring their correctness have become difficult to manage. One challenge stems from the high number and intricacy of system requirements that combine functional and possibly timing or other types of constraints, which make them hard to analyze. READ MORE

  3. 3. Design of Assured and Efficient Safety-critical Systems

    University dissertation from Västerås : Mälardalen University

    Author : Nesredin Mahmud; Mälardalens högskola.; [2019]
    Keywords : 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;

    Abstract : 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. READ MORE

  4. 4. The Pneumatic Hybrid Vehicle - A New Concept for Fuel Consumption Reduction

    University dissertation from Västerås : Mälardalen University

    Author : Sasa Trajkovic; Lund University.; Lunds universitet.; [2010]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; VVA; Regenerative; Air-motor; Compressor; Pneumatic; Hybrid; Vehicle; Electric Hybrid; Drive Cycle; GT-Power; Simulink; FPGA;

    Abstract : Urban traffic involves frequent acceleration and deceleration. During deceleration, the energy previously used to accelerate the vehicle is mainly wasted on heat generated by the friction brakes. If this energy that is wasted in traditional internal combustion engines (ICE) could be saved, the fuel economy would improve. READ MORE

  5. 5. Modelling Wave Power by Equivalent Circuit Theory

    University dissertation from Uppsala : Acta Universitatis Upsaliensis

    Author : Ling Hai; Uppsala universitet.; [2015]
    Keywords : TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Wave energy; hydrodynamics; electric circuit; electrical analogy; energy absorption; force; system modelling; Simulink; engineering science; renewable energy; Engineering Science with specialization in Science of Electricity; Teknisk fysik med inriktning mot elektricitetslära;

    Abstract : The motion of ocean waves can be captured and converted into usable electricity. This indicates that wave power has the potential to supply electricity to grids like wind or solar power. A point absorbing wave energy converter (WEC) system has been developed for power production at Uppsala University. READ MORE