Architecture Optimization with SysML Modeling: A Case Study Using Variability

  • Patrick Leserf
  • Pierre de Saqui-Sannes
  • Jérôme Hugues
  • Khaled Chaaban
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 580)


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.


Architecture optimization SysML Embedded systems Model variability 


  1. 1.
    OMG Systems Modeling Language (OMG SysML™), V1.3.
  2. 2.
    TOPCASED. The open source toolkit for critical systems.
  3. 3.
  4. 4.
    Van Huong, P., Binh, N.: Embedded system architecture design and optimization at the model level. IJCCE 1(4), 345–349 (2012). IAP, San BernardinoGoogle Scholar
  5. 5.
    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, AmsterdamCrossRefGoogle Scholar
  6. 6.
    Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML. The MK/OMG Press, San Francisco (2009)Google Scholar
  7. 7.
    MDA, the Model Driven Architecture.
  8. 8.
    Papyrus tool from CEA.
  9. 9.
    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)Google Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    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, AmsterdamCrossRefGoogle Scholar
  13. 13.
    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, AmsterdamCrossRefzbMATHGoogle Scholar
  14. 14.
    Niemeyer, G.: Python-constraint.
  15. 15.
    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)Google Scholar
  16. 16.
    Mathews, J.H., Fink, K.D.: Numerical Methods Using MATLAB, vol. 31. Prentice Hall, Upper Saddle River (1999)Google Scholar
  17. 17.
    Karp, R.M.: Reducibility among combinatorial problems. In: Miller, R.E. (ed.) Complexity of Computer Computations, pp. 85–103. Springer, Berlin (1972)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Patrick Leserf
    • 1
  • Pierre de Saqui-Sannes
    • 2
  • Jérôme Hugues
    • 2
  • Khaled Chaaban
    • 1
  1. 1.ESTACA-LabLavalFrance
  2. 2.ISAE-SUPAERO, University of ToulouseToulouseFrance

Personalised recommendations