DEPS Studio user manual
The online DEPS Studio user manual for learning the use of the DEPS Studio IDE is now available here. It usefully supplements the documentation on the DEPS language.
The online DEPS Studio user manual for learning the use of the DEPS Studio IDE is now available here. It usefully supplements the documentation on the DEPS language.
An online tutorial for learning the basics of DEPS and the reference manual of the DEPS Language are now available here.
A new version of our website is currently under construction. It should be completed before October 2025.
A full article describing the DEPS language is now available here You can find a shared version here
The DEPS Studio has been presented at the 20 th french conference on formal approach for software development AFADL’2021 Conference Website The paper
Synthesis of software architecture Synthesis of software architecture for the control of embedded electrical generation and distribution system for aircraft under safety constraints: The case of simple failures.The research works…
Models of Requirements for Avionics Architecture Synthesis under safety, capacity and security constraints with DEPS and DEPS Studio in Dassault Aviation. The research works have been presented at the Complex…
DEPS and DEPS Studio have been presented at the SAE AEROTECH Europe 2019 conference. Conference web site Presentation
The DEPS Studio has been presented at the 8th french conference on software engineering CIEL'2019. Conference Web Site Paper
The DEPS Project has been presented at the french working groups Requierements Engineering & Software Engineering for Cyber Physical System of the DR GPL. GdrGPLIECPS18012019