Sökning: "modellbaserad utveckling"

Visar resultat 1 - 5 av 36 uppsatser innehållade orden modellbaserad utveckling.

  1. 1. Context-aware security testing of Android applications : Detecting exploitable vulnerabilities through Android model-based security testing

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Ivan Baheux; [2023]
    Nyckelord :Android Application Security; Vulnerability Detection; Context-Awareness; Model-Based Security Testing; Domain Specific Language; Sécurité des Applications Android; Détection de Vulnérabilités; Sensibilité au Contexte; Tests de Sécurité Basés sur les Modèles; Langage Dédiés; Android-applikationssäkerhet; Upptäckt av sårbarheter; Kontextmedvetenhet; Modellbaserad säkerhetstestning; Domänspecifikt språk;

    Sammanfattning : This master’s thesis explores ways to uncover and exploit vulnerabilities in Android applications by introducing a novel approach to security testing. The research question focuses on discovering an effective method for detecting vulnerabilities related to the context of an application. LÄS MER

  2. 2. Increasing Availability Through Reduced Delays in Large Systems : A Case Study Based in Systems Engineering, Integrated Support Logistics, and Lean

    Master-uppsats, KTH/Industriell produktion

    Författare :Erik Nilsson Nordahl; [2022]
    Nyckelord :Integrated Logistics Support; Integrated Product Support; Model Based Systems Engineering; Lean; Availability; Administrative Delay Time; Logistics Delay Time; Electrical Charging Infrastructure; Integrerat Logistikstöd; Modellbaserad Systemteknik; Lean; Tillgänglighet; Administrativ Väntetid; Logistisk Väntetid; Elektrisk Laddinfrastruktur;

    Sammanfattning : Increased trends towards servitization within previously exclusively manufacturing industries makes a larger part of maintenance become the responsibility of the manufacturer. This increased responsibility makes it more important for suppliers to know how different parameters contribute to cost, to be able to price their contracts correctly. LÄS MER

  3. 3. Design-Manufacturing Integration : Challenges in change management for new component in-house manufacturing

    Master-uppsats, KTH/Maskinkonstruktion (Inst.)

    Författare :Siet-Ling Law Hing Ping; Rahul Suresh; [2022]
    Nyckelord :Computer Aided Design CAD ; engineering drawings; cable harness; R D; production; design-manufacturing integration; collaborative product development; model based definition; Computer Aided Design CAD ; ingenjörsritningar; FoU; produktion; design-tillverkning integration; kollaborativ produktutveckling; modellbaserad utveckling;

    Sammanfattning : In the highly competitive transportation industry, one way to gain a competitive advantage is to ensure the customer needs are satisfied and tailored according to each customer’s need. Scania’s one of the core values is customers first and believes that the organization is successful only when its customers are successful. LÄS MER

  4. 4. Validation of an implementation of MBSE and the possibility of Simulating System Models

    Master-uppsats, KTH/Matematik (Avd.)

    Författare :Yasmin Chaoui El Kaid; [2021]
    Nyckelord :;

    Sammanfattning : Model-Based Systems Engineering (MBSE) is the process of developing a set of system models that help define, design and document a system under development. These models provide an efficient way to explore, update, and communicate system perspectives to stakeholders, while eliminating dependence on traditional documents. LÄS MER

  5. 5. Development of PMSM and drivetrain models in MATLAB/Simulink for Model Based Design

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gokul Sivaraman; [2021]
    Nyckelord :Electric Vehicles; Permanent Magnet Synchronous Machine; flux; flux linkage; Inductance; Model based design; Finite Element Analysis; Mechanical drivetrain; Magnetic saturation; Cross-coupling; Spatial harmonics; Temperature; Active oscillation damping; ABS wheel speed sensor; CAN bus.; Elektriska fordon; synkronmaskiner med magneter; magnetiskt flöde; induktans; modellbaserad design; Finite Element Analys; mekanisk drivlina; magnetisk mättnad; magnetisk tvärkoppling; MMF övervågor; temperatur; aktiv oscillationsdämpning; ABS hjulhastighetssensor; CAN buss.;

    Sammanfattning : When developing three-phase drives for Electric Vehicles (EVs), it is essential to verify the controller design. This will help in understanding how fast and accurately the torque of the motor can be controlled. LÄS MER