Avancerad sökning

Hittade 3 uppsatser som matchar ovanstående sökkriterier.

  1. 1. MODEL-BASED SIMULATION OF AUTOMOTIVE SOFTWARE SYSTEMS

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Temirzhan Kozhakenov; [2020]
    Nyckelord :model; simulate; timing; Embedded Systems; Model Based Engineering; trace analysis; data trace; C ;

    Sammanfattning : The car is the most common vehicle in the world. Millions of cars are produced annually. In order for each car to find its buyer, car companies are forced to constantly improve the design of the car. Modern models are emerging, new car systems are being developed and implemented. LÄS MER

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

    Magister-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

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

    Sammanfattning : 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. LÄS MER

  4. 3. Recovering and Modeling Sensor and Actuator Architecture in Automotive Embedded Systems

    Master-uppsats, KTH/Maskinkonstruktion (Inst.)

    Författare :Hojat Khosrowjerdi; Sorin Dan Tatar; [2014]
    Nyckelord :;

    Sammanfattning : Under det senaste årtiondet har mängden kod som används i fordon ökat exponentiellt. På grund av detta skiftar bilindustrin mot att vara software-intensive. Som i de flesta mjukvaruintensiva branscher, drivs systemets utveckling i snabbtakt av marknadens krav. LÄS MER