Avancerad sökning

Hittade 1 uppsats som matchar ovanstående sökkriterier.

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

   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