The COMPLEX methodology for UML/MARTE Modeling and design space exploration of embedded systems

Security in Embedded Systems: A Model-Based Approach with Risk Metrics

“…The model-based engineer-ing community provides a set of techniques and methodologies for designbased (UML) performance estimations that aim to support early designspace exploration, e.g. COMPLEX [150], PUMA [151], Co-Fluent [152], and SPEU [153]. Our work uses these precursors and insights as a premise.…”

“…Herrera et al [150] propose a methodology called COMPLEX that uses MARTE modelling. Within this methodology a simulation infrastructure (called SCoPE+) is developed that generates executable models of the system.…”

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

“…It has features to reduce development complexity, enhanced productivity, efficient change management and improved time-to-market. Therefore, it has been frequently researched and customized for the development of embedded systems (Andrade et al, 2009;Quadri et al, 2012;Moreira et al, 2010;Vidal et al, 2009;Herrera et al, 2014;Lecomte et al, 2011;Rafiq Quadri et al, 2012). The major MBSE activities for the development of embedded systems are shown in Fig.…”

Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design

“…Model-based engineering provides methods for design-based estimations to support early design-space exploration, e.g. COMPLEX [11], among others. We capitalise on such methods in order to decorate our models with probability distributions for execution time.…”