| Titre : | Logiciels embarqués : viser l'excellence dans le développeme |
| Auteurs : | Jآerأome Dern, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Saint-Herblain : ENI, 2014 |
| Collection : | Datapro |
| ISBN/ISSN/EAN : | 978-2-7460-9155-9 |
| Format : | 1 vol. (408 p.) / ill. / 21 cm |
| Note générale : | Bibliogr. p. 395-398. Index |
| Langues: | Français |
| Index. décimale : | 004 (informatique en général) |
| Catégories : | |
| Mots-clés: | Logiciels ; développement ; Systءemes enfouis (informatique) ; Conception et construction |
| Résumé : | Ce livre traite de tous les aspects généraux du développement de logiciels embarqués et présente les enjeux de la qualité logicielle et les meilleures pratiques actuelles. Il s'adresse bien sûr au Responsable de la Qualité Logicielle mais aussi à l'Informaticien chargé du développement de logiciels embarqués, au Chef de projet, au Responsable Recherche et Développement. Dans un premier temps, l'auteur sensibilise le lecteur aux enjeux de la qualité des logiciels et au rôle de la qualité dans la conception de logiciels embarqués et industriels ; il présente les différents cycles de développement logiciel des plus anciens au plus modernes avec leurs avantages et inconvénients pour un usage industriel et parcourt les principales normes liées au logiciel et à la sûreté logicielle. Il étudie ensuite les principaux processus de développement et les exigences à satisfaire pour être conforme à CMMI, SPICE et HIS ; une traçabilité détaillée avec ces modèles est fournie ainsi que des exemples et des détails sur leur mise en place et les différences entre eux. Les méthodes Agiles ne sont pas oubliées avec des encadrés spécifiques à chaque fois que nécessaire. Concernant les outils de la qualité logicielle, de nombreux exemples, méthodes et pratiques, dont beaucoup proviennent du premier constructeur mondial automobile, Toyota, sont donnés ; ils permettent de connaître et d'appliquer des méthodes qui ont fait leurs preuves pour accéder à l'excellence logicielle et à la capitalisation. Tout au long du livre, l'auteur présente les mesures ou métriques logicielles qui sont la clef de l'amélioration des processus et de la progression de la qualité logicielle dans l'entreprise. Les chapitres du livre : Avant-propos - La qualité logicielle - Les cycles de développement - Les normes et modèles - Les principaux processus de développement - Les tests logiciels - Les outils de la qualité logicielle embarquée - Les règles de développement - Les outils d'analyse statique - Les mesures du logiciel - Les méthodes de vérification - Conclusion - Glossaire - Bibliographie |
Exemplaires (2)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 4611 | 004/2211/1 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
| 4612 | 004/2211/2 | Livre | BU Centrale Batna 1 | Deuxième étage : Architecture, sciences et technologies | Disponible |
