Le projet TACOS (Trustworthy Assembling of Components: frOm requirements to Specifications) propose une approche par composants pour la spécification de systèmes sûrs, depuis l'expression des besoins jusqu'à une spécification formelle, en utilisant ou adaptant des langages et des outils existants. Le domaine d'application choisi est celui du transport. Les systèmes de ce domaine, à la fois distribués et embarqués, nécessitent l'expression de propriétés fonctionnelles et non fonctionnelles. Le projet vise à répondre aux questions suivantes : Comment prendre en compte des propriétés non-fonctionnelles dès les premières étapes du développement ? Comment exploiter la méthode d'analyse des besoins KAOS (Knowledge Acquisition in Automated Specification) ? Est-il possible d'utiliser la méthode formelle B avec des extensions et/ou en coopération avec d'autres formalismes tels de SysML, CSP ? Comment tenir compte des propriétés non-fonctionnelles dans les modèles à composants comme Fractal ? Comment vérifier la compatibilité entre composants dans les modèles d'interface ? Trois études de cas ont été menées pour le composant de localisation du véhicule CyCab et du convoi de véhicules (platooning).