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

Jean-Charles Chaudemar - Collection Omn.univ.europ.

228 pages, parution le 15/05/2017

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

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 sureté 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 sureté-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 sureté-sécurité.

Caractéristiques techniques

	PAPIER
Éditeur(s)	Editions universitaires européennes
Auteur(s)	Jean-Charles Chaudemar
Collection	Omn.univ.europ.
Parution	15/05/2017
Nb. de pages	228
Format	15.2 x 22.9
Couverture	Broché
Poids	342g
EAN13	9783639621426