filter
Éditeurs
Languages
PNB : durée de la licence
PNB : prêts
PNB : prêt(s) simultané(s)
Jean louis Boulanger
5 produits trouvés
-
Sécurisation des architectures informatiques : exemples concrets
Jean-louis Boulanger
- Hermès Science
- 3612226299884
Actuellement la littérature met à disposition des étudiants de master2 des livres très généraux sur les aspects "Sûreté de Fonctionnement" et des éléments très disparates sur les architectures effectives. Le but de ce livre est de présenter dans un seul livre, une description des contraintes (événement redouté, contexte réglementaire) et des exemples d'architecture pour les différents domaines : Ferroviaire, Aéronautique, Spatiale, Automobile et Automate. Ce livre est basé sur l'expérience de personnes qui sont pleinement impliquées dans la réalisation (conception, vérification et validation), la mise en sécurité (analyse de sécurité : AMDEC, APR,) et l'évaluation de système critique. L'implication des industriels permet de présenter des exemples concrets et réels (A380, ARIANE, METEOR) de fournir des informations utiles inédites (photos, schéma d'architecture, exemple réel). Le contexte réglementaire est important, c'est pourquoi, il est identifié et les contraintes imposées sont présentées.
ebook (pdf) 142.00 €20 prêts
durée illimitée
20 Prêt(s) simultané(s)
Adobe
SANS LCP
Mise en oeuvre de la méthode B
Jean-louis Boulanger
- Hermès Science
- 3612225415315
La mise en place d'un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d'un modèle formel est l'approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d'analyser et de vérifier le comportement d'un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s'appuyant sur la preuve de propriétés qui, sur la base d'une spécification et de la notion de raffinement, permet d'aller jusqu'à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d'utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l'avionique ou les systèmes manufacturiers.
ebook (pdf) 122.00 €20 prêts
durée illimitée
20 Prêt(s) simultané(s)
Adobe
SANS LCP
Outils de mise en oeuvre industrielle des techniques formelles
Jean-louis Boulanger
- Hermès Science
- 3612225415261
Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants.
Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en oeuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants.
Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.ebook (pdf) 112.00 €20 prêts
durée illimitée
20 Prêt(s) simultané(s)
Adobe
SANS LCP
Sécurisation des architectures industrielles
Jean-Louis Boulanger
- Hermès Science
- 3612225222647
Cet ouvrage collectif présente des exemples d'architecture industrielle à base de calculateur et/ou d'automate qui doivent être sécurisés afin de garantir les objectifs de sûreté de fonctionnement qui leurs sont associés. Le but de l'ouvrage Sécurisation des architectures industrielles est d'exposer des cas concrets, de taille significative et représentatifs des problématiques actuelles. Les exemples proposés couvrent de domaines comme l'automobile, le ferroviaire et le spatial. Sécurisation des architectures industrielles vient en complément du livre Sécurisation des architectures informatiques - exemples concrets. À eux deux, ces ouvrages couvrent l'ensemble des domaines industriels.
ebook (pdf) 152.00 €20 prêts
durée illimitée
20 Prêt(s) simultané(s)
Adobe
SANS LCP
Ingénierie des exigences ; méthodes et bonnes pratiques pour construire et maintenir un référentiel
Stéphane Badreau, Jean-louis Boulanger
- Dunod
- 9604657270918
Ce livre s'adresse à toutes les personnes concernées par l'ingénierie des exigences qu'elles soient managers, responsables d'équipes, chefs de projet, analystes, architectes, développeurs ou testeurs.
L'ingénierie des exigences est une discipline qui consiste à développer un référentiel d'exigences, mais aussi à le maintenir à jour en présence d'évolutions. Le référentiel constitue un support au pilotage de projet et à la maîtrise du changement des exigences au cours du temps.
L'objectif de ce livre est de fournir les connaissances de base liées à l'ingénierie des exigences pour le développement de systèmes complexes à forte composante logicielle, et ce pour tous les domaines.
o La première partie présente les enjeux et les fondamentaux.
o La deuxième partie aborde les activités de développement et de gestion d'un référentiel d'exigences après avoir présenté ce que sont le périmètre et le contexte d'un système.
o La troisième partie est consacrée à l'outillage et aux relations entre l'ingénierie des exigences et les autres activités du projet de réalisation et de maintenance d'un système.
o La dernière partie présente les normes et les référentiels de bonnes pratiques dans différents domaines qui ont trait à l'ingénierie des exigences.ebook (ePub) 92.48 €30 prêts
60 mois
1 Prêt(s) simultané(s)
Adobe
LCPAn article has been added to your cart
