Étude des architectures de sécurité de systèmes autonomes
5 Angebote vergleichen

Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Buchhandlung - Bides GbR, [4124740].
Neuware - Avec l'essor des technologies modernes, on assiste au développement de nombreux systèmes complexes autonomes parmi lesquels les drones occupent une place importante. Certains engins autonomes sont parfois amenés à évoluer dans des environnements avec des facteurs forts de risques humains. Par conséquent, l'un des enjeux principaux de la conception de ces systèmes réside dans la maîtrise des risques et la sûreté de fonctionnement apportées par une méthodologie ad-hoc basée sur des modélisations combinées. Dans le cadre des travaux de recherche menés en collaboration entre l'ISAE et l'ONERA, nous proposons l'utilisation des méthodes formelles pour la conception d'architectures organisées en couches, en implémentant des mécanismes de sûreté-sécurité. Les fonctionnalités sous-jacentes sont alors dérivées de l'analyse des interactions des composants, ainsi que de l'analyse des exigences OU objectifs de sécurité attendus. Ainsi, cet ouvrage permet à tout lecteur concerné par la conception de systèmes autonomes critiques, de considérer l'apport des méthodes formelles conventionnelles dans le cadre de l'analyse de sûreté-sécurité. - Besorgungstitel - vorauss. Lieferzeit 3-5 Tage. 31.05.2017, Taschenbuch, Neuware, 220x150x14 mm, 356g, 228, Internationaler Versand, offene Rechnung (Vorkasse vorbehalten), PayPal, Kreditkarte, Banküberweisung.

Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Sparbuchladen, [3602074].
Neuware - Avec l'essor des technologies modernes, on assiste au développement de nombreux systèmes complexes autonomes parmi lesquels les drones occupent une place importante. Certains engins autonomes sont parfois amenés à évoluer dans des environnements avec des facteurs forts de risques humains. Par conséquent, l'un des enjeux principaux de la conception de ces systèmes réside dans la maîtrise des risques et la sûreté de fonctionnement apportées par une méthodologie ad-hoc basée sur des modélisations combinées. Dans le cadre des travaux de recherche menés en collaboration entre l'ISAE et l'ONERA, nous proposons l'utilisation des méthodes formelles pour la conception d'architectures organisées en couches, en implémentant des mécanismes de sûreté-sécurité. Les fonctionnalités sous-jacentes sont alors dérivées de l'analyse des interactions des composants, ainsi que de l'analyse des exigences OU objectifs de sécurité attendus. Ainsi, cet ouvrage permet à tout lecteur concerné par la conception de systèmes autonomes critiques, de considérer l'apport des méthodes formelles conventionnelles dans le cadre de l'analyse de sûreté-sécurité. -, 31.05.2017, Taschenbuch, Neuware, 220x150x14 mm, 356g, 228, Internationaler Versand, offene Rechnung (Vorkasse vorbehalten), Selbstabholung und Barzahlung, PayPal, Banküberweisung.

Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, European-Media-Service Mannheim [1048135], Mannheim, Germany.
Publisher/Verlag: Éditions universitaires européennes | Avec l'essor des technologies modernes, on assiste au développement de nombreux systèmes complexes autonomes parmi lesquels les drones occupent une place importante. Certains engins autonomes sont parfois amenés à évoluer dans des environnements avec des facteurs forts de risques humains. Par conséquent, l'un des enjeux principaux de la conception de ces systèmes réside dans la maîtrise des risques et la sûreté de fonctionnement apportées par une méthodologie ad-hoc basée sur des modélisations combinées. Dans le cadre des travaux de recherche menés en collaboration entre l'ISAE et l'ONERA, nous proposons l'utilisation des méthodes formelles pour la conception d'architectures organisées en couches, en implémentant des mécanismes de sûreté-sécurité. Les fonctionnalités sous-jacentes sont alors dérivées de l'analyse des interactions des composants, ainsi que de l'analyse des exigences OU objectifs de sécurité attendus. Ainsi, cet ouvrage permet à tout lecteur concerné par la conception de systèmes autonomes critiques, de considérer l'apport des méthodes formelles conventionnelles dans le cadre de l'analyse de sûreté-sécurité. | Format: Paperback | Language/Sprache: fre | 228 pp.

Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, Syndikat Buchdienst, [4235284].
Avec l'essor des technologies modernes, on assiste au dÃveloppement de nombreux systÃmes complexes autonomes parmi lesquels les drones occupent une place importante. Certains engins autonomes sont parfois amenÃs öÃvoluer dans des environnements avec des facteurs forts de risques humains. Par consÃquent, l'un des enjeux principaux de la conception de ces systÃmes rÃside dans la maÃtrise des risques et la sÃretöde fonctionnement apportÃes par une mÃthodologie ad-hoc basÃe sur des modÃlisations combinÃes. Dans le cadre des travaux de recherche menÃs en collaboration entre l'ISAE et l'ONERA, nous proposons l'utilisation des mÃthodes formelles pour la conception d'architectures organisÃes en couches, en implÃmentant des mÃcanismes de sÃretÃ-sÃcuritÃ. Les fonctionnalitÃs sous-jacentes sont alors dÃrivÃes de l'analyse des interactions des composants, ainsi que de l'analyse des exigences OU objectifs de sÃcuritöattendus. Ainsi, cet ouvrage permet ötout lecteur concernöpar la conception de systÃmes autonomes critiques, de considÃrer l'apport des mÃthodes formelles conventionnelles dans le cadre de l'analyse de sÃretÃ-sÃcuritÃ. 2017, Taschenbuch / Paperback, Neuware, H: 220mm, B: 150mm, 228, Internationaler Versand, Selbstabholung und Barzahlung, PayPal, offene Rechnung, Banküberweisung.

Lieferung aus: Deutschland, Versandfertig in 1 - 2 Werktagen, Versandkostenfrei.
Von Händler/Antiquariat, dodax-shop-eu.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen