The SATURN Approach to SysML-Based HW/SW Codesign

Toward the tools selection in model based system engineering for embedded systems—A systematic literature review

“…For example, all selected researches have been thoroughly studied and analyzed in order to assign them to corresponding category. Similarly, each selected research is intensively studied and Di et al, 2013, Berrani et al, 2013, Stancescu et al, 2010, Ouchani et al, 2013, Bouquet et al, 2012, DeTommasi et al, 2013, Andrade et al, 2009, Bazydlo et al, 2014, Doligalski and Adamski, 2013, Mueller et al, 2010, Durand and Bonato, 2012, Moreira et al, 2010, Vidal et al, 2009, Linehan and Clarke, 2012, Herrera et al, 2014, Lecomte et al, 2011, Rafiq Quadri et al, 2012, Chen et al, 2013, Vanderperren et al, 2008, Elhaji et al, 2012, Riccobene and Scandurra, 2012Zohaib Iqbal et al, 2013, Chouali and Hammad, 2011, Doering, 2014, Ouchani et al, 2014, Telinski Wiedermann anger et al, 2013, Knorreck and Apvrille, 2011, Ge et al, 2012, Baresi et al, 2013, Huang et al, 2012, Nguyen et al, 2014, Bousse et al, 2012 Modeling 5 Gomez et al, 2012, Penil et al, 2010, Espinoza et al, 2009, Rota Sena Marques et al, 2014, Behjati et al, 2011 Property specification 2 Yin et al, 2013…”

“…The model transformation activity has been Berrani et al, 2013, Bouquet et al, 2012, Doligalski and Adamski, 2013, Mueller et al, 2010, Greenyer and Kindler, 2010, Ko et al, 2013, Gronmo et al, 2009, Feher and Lengyel, 2012, de Lara and Guerra, 2014, Kolahdouz-Rahimi et al, 2014, Rutle et al, 2012, Huang et al, 2012 Model to Text (M2T) 9 DeTommasi et al, 2013, Moreira et al, 2010, Linehan and Clarke, 2012, Herrera et al, 2014, Zohaib Iqbal et al, 2013, Rose et al, 2012, Ledo et al, 2012, Ouchani et al, 2014 M2M and M2T 12 Giuseppe Di et al, 2013, Vidal et al, 2009, Lecomte et al, 2011, Rafiq Quadri et al, 2012, Elhaji et al, 2012, Riccobene and Scandurra, 2012, Doering, 2014, Andrea Bollati et al, 2013, Baresi et al, 2013, Bousse et al, 2012 performed in overall 35 researches. We classified these researches into three transformation types i.e.…”

“…UML (unified modeling language) and its SYSML (systems modeling language)/MARTE (modeling and analysis of real-time embedded systems) profiles are frequently used in contemporary research practices (Giuseppe Di et al, 2013;George-Dimitrios et al, 2014;Berrani et al, 2013;Sakairi et al, 2012;Stancescu et al, 2010;Anargyros et al, 2014;Ouchani et al, 2013;Bouquet et al, 2012;DeTommasi et al, 2013;Gomez et al, 2012;Andrade et al, 2009;Quadri et al, 2012;Bazydlo et al, 2014;Doligalski and Adamski, 2013;Mueller et al, 2010;Durand and Bonato, 2012;Moreira et al, 2010;Vidal et al, 2009;Linehan and Clarke, 2012) to specify embedded systems requirements. Furthermore, different properties specification techniques/languages have been proposed by researchers (Yin et al, 2013;Mallet, 2012;Knorreck and Apvrille, 2011;Ge et al, 2012;Behjati et al, 2011) to model behavioral/temporal aspects.…”

HDL code generation from UML/MARTE sequence diagrams for verification and synthesis

“…DurationObservation (12) represents the time spent to transfer the message to whom it is applied. DurationConstraint can be defined with respect to either a constant (13) or a range between two values named DurationIntervalMin (14) and DurationIntervalMax (15). StateInvariant (16) is a constraint placed on a lifeline that must be true at the given point.…”

“…In the same context, there are several works [15,25] and commercial tools [3,9,19,21] to generate source code from UML specifications to mainstream languages, such as C++, SystemC and Java.…”