Ce livre propose des methodes assistant la modelisation et l'evaluation de l'architecture de surete de fonctionnement des systemes embarques complexes. Ces methodes sont basees sur des motifs generaux d'architectures de systemes correspondant a des elements de surete. Le principe est celui des "patrons de conception" developpes en genie logiciel. Ces patrons peuvent etre formalises a l'aide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent a des abstractions d'architectures concretes et donc requierent une modelisation plus declarative. Les proprietes etudiees etant...