198 pages - avril 2015
ISBN papier : 9781784050757
ISBN ebook : 9781784060756

Version papier épuisée

Ebook
9,90
 
Effacer

– Papier :
Livraison offerte pour toute commande directe effectuée sur le site istegroup.com
Délai de livraison : environ une semaine
Envois uniquement vers : France métropolitaine, Belgique, Suisse et Luxembourg
Impression en couleur
Un ebook de l’ouvrage (à l’exception des titres de l’Encyclopédie SCIENCES) est offert pour tout achat
de sa version papier sur notre site, il vous sera envoyé après la finalisation de votre commande
Offre non applicable aux librairies

– Ebook :
Prix réservé aux particuliers
Pour les institutions : nous contacter 
Nos ebooks sont au format PDF (compatible sur tout support)

L’informatisation de systèmes courants, tels que les transports ou l’électronique de confort, implique l’identification des risques potentiels sur la vie des personnes, sur les biens et sur l’environnement. Dès la conception, il est indispensable de déterminer les cadres normatifs et législatifs ainsi que les outils essentiels à l’optimisation de la sûreté de ces systèmes.

Techniques de sécurisation des applications à base de logiciel présente les principes généraux pour l’élaboration d’un système à base d’électronique programmable garantissant la sûreté de fonctionnement. Il définit les concepts de base et détaille leurs mises en place, puis étudie les normes et les méthodes d’analyse de la sécurité. Afin de maximiser la maîtrise de la sûreté d’un système, cet ouvrage dresse également un panorama des techniques de sécurisation de l’électronique (diversité, redondance, architecture nOOm, etc.) et des techniques de développement d’applications logicielles.

1. Maîtrise de la sécurité
2. Système, sous-système, équipement et logiciel
3. Système et certification
4. Gestion du risque
5. Principe de sécurisation du matériel
6. Principe de sécurisation d’un logiciel
7. Certification

Jean-Louis Boulanger

Jean-Louis Boulanger est évaluateur indépendant de la sûreté (ISA) dans le domaine ferroviaire. Ses recherches portent sur les exigences, la vérification et la validation des logiciels, la traçabilité et les RAMS, et mettent l’accent sur la sécurité.