Essays about: "Brake-by-Wire"

Showing result 1 - 5 of 12 essays containing the word Brake-by-Wire.

  1. 1. A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In Simulink

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik; Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Vasja Çollaku; Paolo Shestani; [2019]
    Keywords : UPPAAL; EAST-ADL; Simulink; MetaEdit ; Timed Automata; Brake-by-Wire; Model-Driven Development; Model Checking;

    Abstract : Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. READ MORE

  2. 2. A Mutation Analysis Framework for Simulink Models

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Henrik Runge; [2018]
    Keywords : mutation; testing; simulink; mutant;

    Abstract : Mutation analysis is a fault-based method used for introducing small changes into a program, producing mutants based on mutation operators, classes of commonly occurring faults. Mutation analysis has been used in the last couple of decades for evaluating how good test cases produced by software testing are at detecting faults. READ MORE

  3. 3. Investigation of a new e-caliper concept with a mechanical backup system

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : Guillaume Meurisse; [2018]
    Keywords : E-caliper; Brake-by-Wire;

    Abstract : Under der senaste år-tiondet har 'X-by-wire' teknologier stadigt introducerats inom kommersiellbiltilverkning. Detta har hänt på grund av de otaliga fördelar dessa teknologier har över derasmekaniska motparter. Huvudskillnaden är att man använder sig av elektro-mekaniska system iställetfor mekaniska förbindelser. READ MORE

  4. 4. Automatic Test Generation and Mutation Analysis using UPPAAL SMC

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Jonatan Larsson; [2017]
    Keywords : UPPAAL SMC; Automatic Testing; Mutation Analysis; Test Generation; Priced Timed Automata; C#;

    Abstract : Software testing is an important process for ensuring the quality of the software. As the complexity of the software increases, traditional means of manual testing becomes increasingly more complex and time consuming. In most embedded systems, designing software with as few errors as possible is often critical. READ MORE

  5. 5. Analysis of task scheduling for multi-coreembedded systems

    University essay from KTH/Maskinkonstruktion (Inst.)

    Author : JOSÉ LUIS GONZÁLEZ-CONDE PÉREZ; [2017]
    Keywords : ;

    Abstract : This thesis performs a research on scheduling algorithms for parallel applications. The main focus is their usage on multi-core embedded systems’ applications. A parallel application can be described by a directed acyclic graph. READ MORE