SysML Modeling for Embedded Systems Design Optimization - A Case Study

Patrick Leserf, Pierre de Saqui-Sannes, Jérôme Hugues, Khaled Chaaban

2015

Abstract

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.

Paper Citation

in Harvard Style

Leserf P., de Saqui-Sannes P., Hugues J. and Chaaban K. (2015). SysML Modeling for Embedded Systems Design Optimization - A Case Study . In Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-083-3, pages 449-457. DOI: 10.5220/0005229204490457

in Bibtex Style

@conference{modelsward15,
author={Patrick Leserf and Pierre de Saqui-Sannes and Jérôme Hugues and Khaled Chaaban},
title={SysML Modeling for Embedded Systems Design Optimization - A Case Study},
booktitle={Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2015},
pages={449-457},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005229204490457},
isbn={978-989-758-083-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - SysML Modeling for Embedded Systems Design Optimization - A Case Study
SN - 978-989-758-083-3
AU - Leserf P.
AU - de Saqui-Sannes P.
AU - Hugues J.
AU - Chaaban K.
PY - 2015
SP - 449
EP - 457
DO - 10.5220/0005229204490457