Motifs formels d''architectures pour la sûreté de fonctionnement - Kehren, Christophe
35,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
18 °P sammeln
  • Broschiertes Buch

Ce livre propose des méthodes assistant la modélisation et l'évaluation de l'architecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces méthodes sont basées sur des motifs généraux d'architectures 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 à l'aide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent à des abstractions d'architectures concrètes et donc requièrent une modélisation plus déclarative. Les propriétés étudiées étant…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Ce livre propose des méthodes assistant la modélisation et l'évaluation de l'architecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces méthodes sont basées sur des motifs généraux d'architectures 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 à l'aide de langages formels comme AltaRica. Dans notre cas, les motifs correspondent à des abstractions d'architectures 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 d'utiliser une logique temporelle pour les exprimer. Les motifs sont donc constitués d'une partie en AltaRica et d'une 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 d'architectures de systèmes où il est possible de manipuler à la fois des parties clairement définies d'un système et des spécifications. Elle a également pour buts de faciliter l'allocation d'exigences pour la validation d'architectures ainsi que le prototypage.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
Christophe Kehren est ingénieur en sûreté de fonctionnement de l''Université de Technologie de Troyes et docteur de l''Ecole Nationale Supérieure de l''Aéronautique et de l''Espace. Il est aujourd''hui spécialiste en sûreté de fonctionnement à la Direction de l''Ingénierie Mécanique chez Renault.