Dassault Aviation, a french aeronautics company used DEPS and DEPS Studio for designing the architecture of Integrated Modular Avionics embedded systems.
The problem consists in deploying system functions consisting of software components on IMA-type hardware. The IMA allows software development to be decoupled from the underlying hardware. In return, it is necessary to be able to allocate computing and communication resources that allow the system functions to be executed.
The aim is to find a scheme for allocating computers to software that meets the needs in terms of resources while respecting resource capacities, latency constraints for the execution of through functional chains and operational reliability. Due to these multiple constraints and the large number of deployments, finding a satisfactory allocation manually becomes very difficult.
In this case [1] we represent with DEPS and solve with DEPS Studio a software deployment problem on a set of IMA CPUs that must comply with operational safety, memory capacity and security requirements. These requirements are among the most important, as all civil aircraft are designed with an approach aimed at reducing the risk of accidents and therefore potentially human losses to a minimum.
References
[1] L. Zimmer, P.A. Yvars, M. Lafaye, Models of requirements for avionics architecture synthesis: safety, capacity and security, proc of the Complex System Design and Management conference – CSD&M 2020, December 2020, Paris, France