Advanced search

Found 2 essays matching the above criteria.

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

3. 2. Software Product Line:Survey of Tools

   University essay from Institutionen för datavetenskap

   Author : Qaiser Munir; Muhammad Shahid; [2010]
   Keywords : Software Product Lines; Software Product Line Tools; Core Asset Development; Variability Management; Feature Modeling; Domain Engineering; Application Engineering; Pure::Variant; MetaEdit ;

   Abstract : A software product line is a set of software-intensive systems that share a common, managed set of features satisfying the specificneeds of a particular market segment or mission. The main attractive part of SPL is developing a set of common assets which includes requirements, design, test plans, test cases, reusable software components and other artifacts. READ MORE