DEPS Language

Language Overview

Language Description

DEPS Studio

DEPS Studio Description

Applications

AFADL2017

References

P.A. Yvars, L. Zimmer, « DEPS Un langage pour la spécification de problèmes de conception de Systèmes », proc of the 10th International Conference on Modeling, Optimization & SIMulation (MOSIM 2014), France

L.Zimmer, M. Lafaye, P.A. Yvars, « Modélisation d’exigences pour la synthèse d’architecture avionique : Application à la sûreté de fonctionnement », 16eme journées AFADL, Approche Formelle dans l’Assistance au Développement de Logiciel, Montpellier, 2017.

P.A. Yvars, L.Zimmer, “DEPS Studio : Un environnement intégré de modélisation et de résolution de problèmes de conception de systèmes“, 8ème Conférence en ingénierie du logiciel (CIEL 2019), Toulouse, 2019.

L. Zimmer, P.A. Yvars, M. Lafaye, Models of requirements for avionics architecture synthesis: safety, capacity and security”, Complex System Design and Management conference – CSD&M 2020, December 2020, Paris, France.

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

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

S. Diampovesa, A. Hubert, P.A. Yvars, Designing Physical Systems through a Model-Based Synthesis Approach. Example of a Li-ion Battery for Electrical Vehicles, Computers In Industry, 2021 (to be published).

Fermer le menu