Abstract
Obtaining the set of trade-off architectures from a SysML model is an important objective for the system designer. To achieve this goal, we propose a methodology combining SysML with the variability concept and multi-objectives optimization techniques. An initial SysML model is completed with variability information to show up the different alternatives for component redundancy and selection from a library. The constraints and objective functions are also added to the initial SysML model, with an optimization context. Then a representation of a constraint satisfaction problem (CSP) is generated with an algorithm from the optimization context and solved with an existing solver. The paper illustrates our methodology by designing an Embedded Cognitive Safety System (ECSS). From a component repository and redundancy alternatives, the best design alternatives are generated in order to minimize the total cost and maximize the estimated system reliability.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
OMG Systems Modeling Language (OMG SysML™), V1.3. http://www.omg.org/spec/SysML/1.3/PDF
TOPCASED. The open source toolkit for critical systems. http://www.topcased.org/
TTool. The TURTLE Toolkit. http://labsoc.comelec.telecom-paristech.fr/ttool
Van Huong, P., Binh, N.: Embedded system architecture design and optimization at the model level. IJCCE 1(4), 345–349 (2012). IAP, San Bernardino
Spyropoulos, D., Baras, J.S.: Extending design capabilities of SysML with trade-off analysis: electrical microgrid case study. Procedia Comput. Sci. 16, 108–117 (2013). Elsevier, Amsterdam
Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML. The MK/OMG Press, San Francisco (2009)
MDA, the Model Driven Architecture. http://www.omg.org/mda/
Papyrus tool from CEA. http://www.eclipse.org/papyrus/
Meyer, J., Ball, M., Baras, J., Chowdhury, A., Lin, E., Nau, D., Trichur, V.: Process planning in microwave module production. In: 1998 Artificial Intelligence and Manufacturing: State of the Art and State of Practice (1998)
Apvrille, L.: 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 (2008)
Coit, D.W., Smith, A.E.: Optimization approaches to the redundancy allocation problem for series-parallel systems. In: 4th Industrial Engineering Research Conference Proceedings, pp. 342–349. Citeseer (1995)
Limbourg, P., Kochs, H.D.: Multi-objective optimization of generalized reliability design problems using feature models—a concept for early design stages. Reliab. Eng. Syst. Saf. 93(6), 815–828 (2008). Elsevier, Amsterdam
Brailsford, S.C., Potts, C.N., Smith, B.M.: Constraint satisfaction problems: algorithms and applications. Eur. J. Oper. Res. 119(3), 557–581 (1999). Elsevier, Amsterdam
Niemeyer, G.: Python-constraint. http://labix.org/doc/constraint/
Schamai, W., Fritzson, P., Paredis, C., Pop, A.: Towards unified system modeling and simulation with ModelicaML: modeling of executable behavior using graphical notations. In: Proceedings 7th Modelica Conference, Como (2009)
Mathews, J.H., Fink, K.D.: Numerical Methods Using MATLAB, vol. 31. Prentice Hall, Upper Saddle River (1999)
Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E. (ed.) Complexity of Computer Computations, pp. 85–103. Springer, Berlin (1972)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Leserf, P., de Saqui-Sannes, P., Hugues, J., Chaaban, K. (2015). Architecture Optimization with SysML Modeling: A Case Study Using Variability . In: Desfray, P., Filipe, J., Hammoudi, S., Pires, L. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2015. Communications in Computer and Information Science, vol 580. Springer, Cham. https://doi.org/10.1007/978-3-319-27869-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-27869-8_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27868-1
Online ISBN: 978-3-319-27869-8
eBook Packages: Computer ScienceComputer Science (R0)