Motifs Formels D'Architectures Pour La Surete de Fonctionnement [French]

by Christophe Kehren

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 en general dynamiques, nous avons choisi d'utiliser une logique temporelle pour les exprimer. Les motifs sont donc constitues d'une partie en AltaRica et d'une partie de proprietes. Ce type de modelisation mixte possede plusieurs interets, notamment lors de la conception en phase amont d'architectures de systemes ou il est possible de manipuler a la fois des parties clairement definies d'un systeme et des specifications. Elle a egalement pour buts de faciliter l'allocation d'exigences pour la validation d'architectures ainsi que le prototypage."

• Format: Paperback
• Language: French
• ISBN: 6131511705
• ISBN13: 9786131511707
• Release Date: June 2010
• Publisher: Editions Universitaires Europeennes
• Length: 160 Pages
• Weight: 0.54 lbs.
• Dimensions: 0.4" x 6.0" x 9.0"