On the integration of model-driven design and dynamic assertion-based verification for embedded software

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

“…Researchers usually utilize available simulation tools for the validation of the system (Sakairi et al, 2012;Vanderperren et al, 2008). However, some researchers develop their own simulation mechanism/tool for validation (Giuseppe Di et al, 2013). Consequently, the most important activity of simulation is the selection or development of appropriate simulation tool because different simulation mechanism/tool are required for the simulation of source code of different languages.…”

“…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.…”

Expressing embedded systems verification aspects at higher abstraction level — SystemVerilog in Object Constraint Language (SVOCL)

“…[7][8][9][10]). However, very few efforts [11][12][13][14] have been made to represent the dynamic verification aspects at higher abstraction level. Consequently, system design has been developed through MBSE and a separate approach is developed for dynamic design verification.…”