Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Software and Systems Modeling

19.10.2023 | Regular Paper

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

verfasst von: Pierre-Alain Yvars, Laurent Zimmer

Erschienen in: Software and Systems Modeling

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren
Literatur
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)CrossRef
2.
3.
4.
5.
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)
7.
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.
10.
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.
13.
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.
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)CrossRef
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)CrossRef
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.
23.
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)
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)CrossRef
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
31.
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)
34.
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)
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)CrossRef
39.
40.
41.
42.
43.
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.
47.
Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London and San Diego (1993)
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)
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)CrossRef
55.
Khalil, W., Dombre, E.: Modeling, identification and control of robots. Taylor Francis, New York (2002)MATH
56.
Leserf, P.: Optimisation de l’architecture de systèmes embarqués par une approche basée modèle, Phd Thesis, Toulouse University (2017)
Metadaten
Titel
DEPS: a model- and property-based language for system synthesis problems
verfasst von
Pierre-Alain Yvars
Laurent Zimmer
Publikationsdatum
19.10.2023
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-023-01129-x

Premium Partner

    Bildnachweise