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.

References

1. TTool, The TURTLE Toolkit, 2011. in http://labsoc.comelec.telecom-paristech.fr/ttool.
2. Van Huong, P., & Binh, Nov 2012. Embedded System Architecture Design and Optimization at the Model Level., IJCCE, Vol.1, No 4,
3. Spyropoulos, D., & Baras,. 2013.Extending Design Capabilities of SysML with Trade-off Analysis: Electrical Microgrid Case Study. Procedia Computer Science, 16, 108-117.
4. Friedenthal, S., Moore, A., & Steiner, R. 2011. A practical guide to SysML: the systems modeling language. Elsevier.
5. Meyer, J., Ball, M., Baras, J., Chowdhury, A., Lin, E., Nau, D., ... & Trichur, V., 1998. Process Planning in Microwave Module Production. Artificial Intelligence and Manufacturing: State of the Art and State of Practice.
6. Apvrille, L. ,2008. TTool for DIPLODOCUS: an environment for design space exploration. In Proceedings of the 8th international conference on New technologies in distributed systems (p. 28). ACM.
7. Coit, D. W., & Smith, A. E., 1995. Optimization approaches to the redundancy allocation problem for series-parallel systems. In Fourth Industrial Engineering Research Conference Proceedings (pp. 342-349).
8. Limbourg, P., & Kochs, H. D., 2008. Multi-objective optimization of generalized reliability design problems using feature models-A concept for early design stages. Reliability Engineering & System Safety, 93(6), 815-828.
9. Brailsford, S. C., Potts, C. N., & Smith, 1999. Constraint satisfaction problems: Algorithms and applications. European Journal of Operational Research, 119(3), 557-581.
10. Niemeyer G, retrieved in 2014, API Documentation python-constraint, http://labix.org/doc/constraint/
11. Schamai, W., Fritzson, P., Paredis, C., & Pop, A., 2009. Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations. In Proceedings 7th Modelica Conference, Como, Italy.

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