2012
DOI: 10.1007/s10617-012-9097-7
|View full text |Cite
|
Sign up to set email alerts
|

Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
4
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
2
2

Relationship

0
4

Authors

Journals

citations
Cited by 4 publications
(4 citation statements)
references
References 17 publications
0
4
0
Order By: Relevance
“…Integration capability increases the automation of system development; for example, mathematical simulation tools and system modeling tools were integrated to support automatic verification in control systems [35]. Moreover, integration capability improves design efficiency, as, for instance, in a model-driven embedded system design flow integrating the SysML and SystemC-UML profiles to realize hardware-software co-design [36]. In addition, integration capability is also important for system analysis; for example, a novel approach was presented to address functional safety requirement verification, in which the authors integrated functional tests as full-fledged components into a model-based architecture using OpenModelica [24].…”
Section: Assessment Of Mbse Tool-chainsmentioning
confidence: 99%
“…Integration capability increases the automation of system development; for example, mathematical simulation tools and system modeling tools were integrated to support automatic verification in control systems [35]. Moreover, integration capability improves design efficiency, as, for instance, in a model-driven embedded system design flow integrating the SysML and SystemC-UML profiles to realize hardware-software co-design [36]. In addition, integration capability is also important for system analysis; for example, a novel approach was presented to address functional safety requirement verification, in which the authors integrated functional tests as full-fledged components into a model-based architecture using OpenModelica [24].…”
Section: Assessment Of Mbse Tool-chainsmentioning
confidence: 99%
“…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…”
Section: Data Extraction and Synthesismentioning
confidence: 99%
“…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.…”
Section: Model Transformation Techniquesmentioning
confidence: 99%
See 1 more Smart Citation