Title : Transformations dirigées par des propriétés non fonctionnelles en conception logicielle

summary:
For critical software system development, it is worth adopting a rigorous process, including successive model transformations, which shall address, as soon as possible, non-functional properties.
Accordingly, this paper offers to describe, from a logical standpoint, various properties relating to dependability, security and coupling, in order to direct two kinds of model transformations: (i) a structural transformation aiming at generating a first functional component architecture and (ii) a transformation for incorporating, step by step, mechanisms within the whole system model with a view to maximize requirement satisfaction.

resumé:
Pour qu'un modèle de système logiciel critique soit digne de confiance, il est opportun de s'appuyer sur un processus rigoureux de transformations successives prenant en compte au plus tôt des propriétés non fonctionnelles. Pour cela, cet article se propose de décrire en logique quelques propriétés de sûreté de fonctionnement, de sécurité, ou encore de couplage, afin de diriger deux types de transformations~: (i) une première transformation structurelle pour générer un assemblage de composants dits fonctionnels, (ii) une seconde pour incorporer successivement des mécanismes au modèle du système afin de satisfaire au mieux les exigences.