Motifs Formels D'Architectures Pour La Surete de Fonctionnement » książka
Motifs Formels D'Architectures Pour La Surete de Fonctionnement
ISBN-13: 9786131511707 / Francuski / Miękka / 2010 / 160 str.
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."
Ce livre propose des méthodes assistant la modélisation et lévaluation de larchitecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces méthodes sont basées sur des motifs généraux darchitectures de systèmes correspondant à des éléments de sûreté. Le principe est celui des "patrons de conception" développés en génie logiciel. Ces patrons peuvent être formalisés à laide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent à des abstractions darchitectures concrètes et donc requièrent une modélisation plus déclarative. Les propriétés étudiées étant en général dynamiques, nous avons choisi dutiliser une logique temporelle pour les exprimer. Les motifs sont donc constitués dune partie en AltaRica et dune partie de propriétés. Ce type de modélisation mixte possède plusieurs intérêts, notamment lors de la conception en phase amont darchitectures de systèmes où il est possible de manipuler à la fois des parties clairement définies dun système et des spécifications. Elle a également pour buts de faciliter lallocation dexigences pour la validation darchitectures ainsi que le prototypage.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
