Sökning: "Vasja Çollaku"

Hittade 1 uppsats innehållade orden Vasja Çollaku.

  1. 1. 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; 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