Nous utilisons des cookies pour améliorer votre expérience. Pour nous conformer à la nouvelle directive sur la vie privée, nous devons demander votre consentement à l’utilisation de ces cookies. En savoir plus.
Étude des architectures de sécurité de systèmes autonomes
Univ Europeenne - EAN : 9783639621426
Édition papier
EAN : 9783639621426
Paru le : 15 mai 2017
55,90 €
52,99 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
-
Livraison gratuite
en France sans minimum
de commande -
Manquants maintenus
en commande
automatiquement -
Un interlocuteur
unique pour toutes
vos commandes -
Toutes les licences
numériques du marché
au tarif éditeur -
Assistance téléphonique
personalisée sur le
numérique -
Service client
Du Lundi au vendredi
de 9h à 18h
- EAN13 : 9783639621426
- Réf. fournisseur : 1939975
- Editeur : Univ Europeenne
- Date Parution : 15 mai 2017
- Disponibilite : Disponible
- Barème de remise : NS
- Nombre de pages : 228
- Format : H:229 mm L:152 mm E:13 mm
- Poids : 342gr
- Interdit de retour : Retour interdit
- 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é.
