DEINE STADT

Wähle Deinen Standort aus und Du bekommst die Produkte in Deiner Nähe angezeigt.

X

Motifs formels d'architectures pour la sûreté de fonctionnement

Introduction aux safety patterns

Verkauf und Versand durch

Anzahl
inkl. gesetzl. MwSt

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.

ISBN 9786131511707
Sprache French
Seiten 160
Genre Luft- und Raumfahrttechnik
Genre/Thema
Verlag Éditions universitaires européennes
Autor Kehren, Christophe
Artikelnummer KNV2010070200342
BESTSELLER IM SHOP
HÄNDLERANGEBOTE
0 km

Unser großes Sortiment umfasst verschiedene Schreibwaren, Schulartikel und Bürobedarf. Des Weiteren haben wir eine große Auswahl an ausgefallenen Geschenken, passende Glückwunschkarten, Geschenkbücher und auch Kinderbücher. Wir beraten Sie gerne!

Zur Händlerseite

Kontaktdaten

  • Ludwigstr.  16, 
  • 95111  Rehau

Zur Händlerseite

Rechtliches

0 km

Hallo,

wir sind ein Schreibwaren- und Buchfachgeschäft in der niederbayerischen Glasstadt Zwiesel. Im Zentrum des Stadtplatzes gelegen sind wir erste Anlaufstelle für Zwieseler und Touristen und bieten eine breite Produktpalette an Büchern, Spielwaren und Reiseandenken.

Außerdem sind wir Ansprechpartner für alles, was sich um die Themen "Büro", "Schule" und Basteln handelt.

Zur Händlerseite

Kontaktdaten

  • Stadtplatz  39, 
  • 94227  Zwiesel

Zur Händlerseite

Rechtliches

0 km

Seit über 90 Jahren sind wir nun schon für unsere Kunden da. Wir sind stolz auf unsere Kundenorientierung und möchten Ihnen mit unserer Erfahrung und unserer Kompetenz bei der Suche nach außergewöhnlichen und schönen Ideen unterstützen.

Unsere Papeterie-Artikel sind sorgsam ausgewählt und kommen von Lieferanten aus der Schweiz, Frankreich, Italien, den Niederlanden aber auch aus Deutschland. Bei uns gibt es allerhand zu finden – unser Anspruch ist es, für jedes Lebensalter wie auch jeden Anlass und (fast) jede Leidenschaft etwas im Sortiment zu führen. Unser breites Angebot lässt Sie auch im Thema Schule, Büro oder auch zu Hause nicht im Stich.

Unser kompetentes und freundliches Team freut sich auf Ihren Besuch!

Zur Händlerseite

Kontaktdaten

  • Breite Straße  24, 
  • 14199  Berlin-Schmargendorf

Zur Händlerseite

Rechtliches