SysML Modeling for Embedded Systems Design Optimization A Case Study

被引:0
|
作者
Leserf, Patrick [1 ]
de Saqui-Sannes, Pierre [2 ]
Hugues, Jerome [2 ]
Chaaban, Khaled [1 ]
机构
[1] ESTACA, CERIE, F-53000 Laval, France
[2] Univ Toulouse, ISAE SUPAERO, F-31055 Toulouse, France
来源
MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT | 2015年
关键词
Architecture Optimization; SysML; Embedded Systems; Model Variability;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Model-Based Systems Engineering (MBSE) with the SysML language allows the designer to include requirement capture and design representation in a single model. This paper proposes a methodology to obtain the best design alternative, from a SysML design, by using multi-objective optimization techniques. A SysML model is extended with stereotypes, objective functions, variability and constraints. Then an integer representation of the problem can be generated and solved as a constraint satisfaction problem (CSP). The paper illustrates our methodology using an Embedded Cognitive Safety System (ECSS) design. From a component repository and redundancy alternatives, the best design alternatives are generated, to minimize the total cost and maximize the estimated system reliability.
引用
收藏
页码:449 / 457
页数:9
相关论文
共 50 条
  • [1] Modeling Embedded Systems with SysML
    Ouerdi, Noura
    Ziane, M'hammed
    Azizi, Abdelmalek
    Azizi, Mostafa
    2012 INTERNATIONAL CONFERENCE ON MULTIMEDIA COMPUTING AND SYSTEMS (ICMCS), 2012, : 905 - 910
  • [2] An. empirical study of SysML in the Modeling of embedded systems
    da Silva, Alexandre Jose
    Linhares, Marcos Vinicius
    Padilha, Rafael
    Roquciro, Nestor
    de Oliveira, Romulo Silva
    2006 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-6, PROCEEDINGS, 2006, : 4569 - +
  • [3] Architecture Optimization with SysML Modeling: A Case Study Using Variability
    Leserf, Patrick
    de Saqui-Sannes, Pierre
    Hugues, Jerome
    Chaaban, Khaled
    MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 311 - 327
  • [4] Multidisciplinary Reliability Design Optimization Modeling Based on SysML
    Zhang, Qiang
    Liu, Jihong
    Chen, Xu
    APPLIED SCIENCES-BASEL, 2024, 14 (17):
  • [5] Research on Modeling and Verification Methods for Embedded Software Systems Based on SysML
    Wu, Linbo
    Yan, Yunqiang
    Gao, Feng
    Chen, Xiaohong
    Nie, Changhai
    2019 COMPANION OF THE 19TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS-C 2019), 2019, : 150 - 157
  • [6] UNIFORM BEHAVIOR MODELING FOR MECHATRONIC SYSTEMS BASED ON SYSML PARAMETRIC DIAGRAM: A CASE STUDY
    Liu, Yusheng
    Cao, Yue
    Gao, Shuming
    TOOLS AND METHODS OF COMPETITIVE ENGINEERING, VOLS 1-2, 2010, : 1333 - 1334
  • [7] Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems
    Espinoza, Huascar
    Cancila, Daniela
    Selic, Bran
    Gerard, Sebastien
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2009, 5562 : 98 - +
  • [8] Modeling Inclusive Systems in SysML
    Cietto, Maisa
    Damouche, Nasrine
    De Saqui-Sannes, Pierre
    Aiello, Ombeline
    Razafimahazo, Eric
    Vingerhoeds, Rob A.
    2022 IEEE INTERNATIONAL SYMPOSIUM ON SYSTEMS ENGINEERING (ISSE), 2022,
  • [9] Multi Domain optimization with SysML modeling
    Leserf, Patrick
    de Saqui-Sannes, Pierre
    Hugues, Jerome
    PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2015,
  • [10] Using SysML in Systems Design
    Costa, Tiago
    Sampaio, Alberto
    Alves, Gustavo
    2009 INTERNATIONAL CONFERENCE ON INFORMATION MANAGEMENT, INNOVATION MANAGEMENT AND INDUSTRIAL ENGINEERING, VOL 4, PROCEEDINGS, 2009, : 615 - 618