Essays about: "Paolo Shestani"

Found 1 essay containing the words Paolo Shestani.

  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

    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