Skip to main content
SpringerLink
Log in

DEPS: a model- and property-based language for system synthesis problems

  • Regular Paper
  • Published:
Software and Systems Modeling Aims and scope Submit manuscript

Abstract

DEPS (design problem specification) is a new modeling language designed to pose and solve system design problems. DEPS addresses problems of sizing, configuration, resource allocation and of architecture generation for systems. Unlike system modeling languages, which are dedicated to the representation of a defined system for evaluation or analysis, we propose a problem modeling language for representing the design problem with a view to its automatic resolution. Compared with other declarative problem modeling languages, DEPS is a declarative structured and property-based language that combines structural modeling features specific to object-oriented languages with problem specification features from constraint programming. The mathematical nature of the problems is described by formal properties encapsulated in models organized according to the architecture of the studied system. The main features of the language are presented in details and are illustrated with examples in different domains. An integrated modeling and solving environment called DEPS Studio allows the designer to express its models in DEPS, to compile the models and to compute automatically the solutions. The validation of the approach is done through two case studies. Finally, we will conclude with the studies and developments in progress which will be integrated into the next version of DEPS Studio.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15
Fig. 16
Fig. 17
Fig. 18
Fig. 19
Fig. 20
Fig. 21
Fig. 22
Fig. 23
Fig. 24
Fig. 25
Fig. 26
Fig. 27
Fig. 28
Fig. 29
Fig. 30
Fig. 31
Fig. 32
Fig. 33
Fig. 34
Fig. 35
Fig. 36
Fig. 37
Fig. 38
Fig. 39
Fig. 40
Fig. 41
Fig. 42
Fig. 43
Fig. 44
Fig. 45
Fig. 46
Fig. 47
Fig. 48
Fig. 49
Fig. 50
Fig. 51
Fig. 52

Similar content being viewed by others

References

  1. Leserf, P., de Saqui-Sannes, P., Hugues, J.: Trade-off analysis for SysML models using decision points and CSPs. Softw. Syst. Model. 18(6), 3265–3281 (2019)

    Article  Google Scholar 

  2. Object Management Group (OMG), Unified Modeling Language, Version 2.5.1, formal/17–12–05 (https://www.omg.org/spec/UML/)

  3. Object Management Group (OMG). OMG Systems Modeling Language (OMG SysML), Version 1.6. OMG Document Number formal/19–11–011 (https://www.omg.org/spec/SysML/), (2019)

  4. Society of Automotive Engineers. SAE Standards: Architecture Analysis & Design Language (AADL), AS5506d, April 2022. (https://www.sae.org/standards/content/as5506d/), (2022)

  5. Modelica Association. Modelica: A unified object-oriented language for systems modelling—Language specifications. March 2023. https://specification.modelica.org/maint/3.6/MLS.html, (2023)

  6. Shah, A.A., Paredis, C.J.J., Burkhart, R., Schaefer, D.: Combining mathematical programming and SysML for automated component sizing of hydraulic systems. J. Comput. Inform. Sci. Eng. 1(44113), 1231–1245 (2012)

    Google Scholar 

  7. Parasolver. Artisan Studio Para SolverTM 7.2 R1 Tutorials. www.InterCax.com. (2013)

  8. Creff, S., Le Noir, J., Lenormand, E., & Madelénat, S.: Towards Facilities for Modeling and Synthesis of Architectures for Resource Allocation Problem in Systems Engineering. Proc of 24th Systems and Software Product Line Conference. Montreal. (2020)

  9. OCL. OCL 2.4. https://www.omg.org/spec/OCL/2.4/PDF. (2014)

  10. IEEE Standard for Application and Management of the Systems Engineering Process, IEEE Std 1220–2005, pp c1–66, 2007. https://standards.ieee.org/standard/1220-2005.html (2007)

  11. Technical Committee ISO/IECJTC1/SC7. Iso/iec/ieee 42020:2019—software, systems and enterprise—architecture processes. ISO/IEC/IEEE 42020:2019, pp. 110,07 2019. (2019)

  12. INCOSE, Systems Engeneering vision 2035, online (https://violin-strawberry-9kms.squarespace.com/) (2023)

  13. SysML V2, 2017, https://www.omgsysml.org/SysML-2.htm (2017)

  14. Zeigler, B., Kim, T., Praehofer, H.: Theory of modeling and simulation, Academic Press, (2000)

  15. Abrial, J.: Modeling in Event-B: System and Software Engineering, Cambridge Press, (2010)

  16. Batteux, M., Prosvirnova, T., Rauzy, A.: System Structure Modeling Language (S2ML) (2015).URL https://hal.science/hal-01234903/document (2015)

  17. Yvars, P.A., Zimmer, L.: Towards a correct by construction design of complex systems: the MBSS approach. Proced. Proced. CIRP 109C, 269–274 (2022)

    Article  Google Scholar 

  18. Zimmer, L., and Zablit, P.: Global aircraft predesign based on constraint propagation and interval analysis. CEAS Conference on Multidisciplinary Aircraft Design and Optimization, Köln, Allemagne. (2001)

  19. Bąk, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wąsowski, A.: Clafer: Unifying class and feature modeling. Softw. Syst. Model. 15, 811–845 (2014)

    Article  Google Scholar 

  20. Eugene, A., Thao, D., Oded, M., and Romain, T.: Using redundant constraints for refinement. In Ahmed Bouajjani and Wei-Ngan Chin, editors, Automated Technology for Verification and Analysis, pp. 37–51, Berlin, Heidelberg, (2010). Springer Berlin Heidelberg

  21. Famelis, M., Salay, R., Chechik, M.: Partial models: Towards modeling and reasoning with uncertainty. ICSE pp. 573–583 (2012)

  22. OPL manual. https://www.ibm.com/docs/en/icos/12.8.0.0?topic=manual-opl-modeling-language

  23. Fourer, R., Gay, D.M., & Kerdighan, D.W.: AMPL A language for mathematical programming. Duxbury & Thomson. 2003. https://ampl.github.io/ampl-book.pdf (2003)

  24. Nethercote, N., Stuckey, P.J., Becket, R., Brand, S. Duck, G.J. and Tack, G.: MiniZinc: Towards a standard CP modelling language. In C. Bessiere, editor, Proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, volume 4741 of LNCS, pages 529–543. Springer, (2007)

  25. Rosenthal, R.E.: GAMS a users’s guide. GAMS Development Corporation, Washington (2007)

    Google Scholar 

  26. Borning, A.: ThingLab—An Object-Oriented System for Building Simulations Using Constraints. 5th International Joint Conference on Artificial Intelligence (IJCAI 1977), Cambridge, MA, USA, vol. 1, pp. 497–498. (1977)

  27. Shvetsov, I., Semenov, A., Telerman, V.: Application of subdefinite models in engineering. Artif. Intell. Eng. 11(1), 15–24 (1997)

    Article  Google Scholar 

  28. Bensana, E., and Mulyanto, T.: A generic approach for conceptual design based on object oriented and constraint logic programming. EDA 2000. (2000)

  29. Mulyanto, T.: Utilisation des techniques de programmation par contraintes pour la conception d’avions. Thèse de l'Ecole Nationale Supérieure de l'Aéronautique et de l'Espace, France. (2002)

  30. Jayaraman, B., Tambay, P.: Modeling engineering structures with constrained objects PADL 2002. LNCS 2257, 28–46 (2002)

    MATH  Google Scholar 

  31. Tambay, P., and Jayaraman, B. The Cob Programmer’s Manual.http:// www.cse.buffalo.edu/tech-reports/2003-01.pdf (2003)

  32. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. MIT Press. ISBN 978–0–262–10114–1. (2006)

  33. Soto, R.: Langage et transformation de modèles en programmation par contraintes. Thèse de Doctorat de l’Université de Nantes, France (2009)

    Google Scholar 

  34. Soto, R. and Granvilliers, L. s-COMMA User’s Manual. http://www.inf.ucv.cl/~rsoto/s-comma/ (2007)

  35. Vargas, C., Saucier, A., Yvars, P.A.: Ingénierie d’aide à la conception: un environnement pour la réalisation d’un système d’aide à la conception d’organes mécaniques. Revue Int. de CFAO et d’Infographie 10(1–2), 113–128 (1995)

    Google Scholar 

  36. Sellini, F., and Yvars, P.A.: Modèles objet et représentation déclarative du produit en conception mécanique. Revue L'Objet, Numéro spécial: les représentations par objet en conception, 4(2) (1998)

  37. Albarello, N., Welcomme, J.B., and Reyterou, C.: A formal design synthesis and optimization for systems architectures. 9th International Conference of Modeling, Optimization and Simulation (MOSIM’12), Bordeaux, France. (2012)

  38. Burgueno, L., Mayerhofer, T., Wimmer, M., Vallecillo, A.: Specifying quantities in software models. Inform. Softw. Technol. 113, 82–97 (2019)

    Article  Google Scholar 

  39. OMG SysMl QUDV. https://www.omgwiki.org/OMGSysML/doku.php?id=sysml-qudv:quantities_units_dimensions_values_qudv

  40. QUDT Ontology. https://www.qudt.org/

  41. Modelica units. https://doc.modelica.org/Modelica%204.0.0/Resources/helpDymola/Modelica_Units.html

  42. Taylor, B.N, and Thomson, A. The International System of Units (SI). NIST, http://www.nist.gov/pml/pubs/sp811/. (2008)

  43. International Vocabulary of Metrology—Basic and general concepts and associated terms, 3rd edition, (https://www.bipm.org/documents/20126/2071204/JCGM_200_2012.pdf/f0e1ad45-d337-bbeb-53a6-15fe649d0ff1), (2008)

  44. Gibbings, J.C.: Dimensional Analysis, Springer, ISBN 978–1–84996–316–9 (2011)

  45. Yvars, P.A., Zimmer, L. Integration of Constraint Programming and Model-Based Approach for System Synthesis, proc of the IEEE International Systems Conference, SYSCON, Vancouver, Canada. (2021)

  46. DEPS link nonprofit organization. https://www.depslink.com

  47. Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London and San Diego (1993)

    Google Scholar 

  48. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising Hull and Box consistency,16th International Conference on Logic Programming, (1993)

  49. Zimmer, L., Yvars, P.A., Lafaye, M.: Models of requirements for avionics architecture synthesis: safety, capacity and security, Proc of the 11th Complex System Design and Management (CSDM) conference. France, Paris (2020)

    Google Scholar 

  50. Yvars, P.A., Zimmer, L.: Synthesis of software architecture for the control of embedded electrical generation and distribution system for aircraft under safety constraints: The case of simple failures, proc of the 14th International Conference of Industrial Engineering, CIGI-QUALITA 2021, Grenoble, France, (2021)

  51. Diampovesa, S., Hubert, A., Yvars, P.A.: Designing physical systems through a model-based synthesis approach. Example of a Li-ion Battery for Electrical Vehicles, Computers In Industry, Vol. 129, (2021)

  52. Hubert, A., Forgez, C., Yvars, P.A.: Designing the architecture of electrochemical energy storage systems. A model-based system synthesis approach, Journal of Energy Storage, Vol 54, Elsevier, (2022)

  53. Yvars, P.A., Zimmer, L.: A Model-based Synthesis approach to system design correct by construction under environmental impact requirements, Procedia CIRP, Vol 103, Elsevier, (2021)

  54. McCloy, D.: Some comparisons of serial-driven and parallel driven manipulators. Robotica 8(4), 355–362 (1990)

    Article  Google Scholar 

  55. Khalil, W., Dombre, E.: Modeling, identification and control of robots. Taylor Francis, New York (2002)

    MATH  Google Scholar 

  56. Leserf, P.: Optimisation de l’architecture de systèmes embarqués par une approche basée modèle, Phd Thesis, Toulouse University (2017)

Download references

Author information

Authors and Affiliations

  1. QUARTZ, EA 7393, Institut Supérieur de Mécanique de Paris (ISAE-Supméca), Saint Ouen, France

    Pierre-Alain Yvars

  2. Direction de la Prospective, Dassault Aviation, Saint Cloud, France

    Laurent Zimmer

Authors
  1. Pierre-Alain Yvars
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laurent Zimmer
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pierre-Alain Yvars.

Additional information

Communicated by Antonio Vallecillo.

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yvars, PA., Zimmer, L. DEPS: a model- and property-based language for system synthesis problems. Softw Syst Model (2023). https://doi.org/10.1007/s10270-023-01129-x

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s10270-023-01129-x

Keywords

Search

Navigation