Synopsis
The intent of this book is to provide an overview of the verification techniques used to verify safety critical Avionics software in compliance with DO-178B standard with main emphasis on the software unit testing. A complete software verification includes testing software at various levels / phases. The objective of software testing is to demonstrate that the software satisfies its requirements and also demonstrate with a high degree of confidence that errors which could lead unacceptable failure conditions, as determined by the system safety assessment process, have been removed. Test results provides an indication of software reliability and quality.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Avionics Safety Critical Software Verification
Image d'archives
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26400834121
Acheter neuf
EUR 52,79
Expédition à EUR 3,48
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 395542934
Acheter neuf
EUR 50,68
Expédition à EUR 7,50
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18400834115
Acheter neuf
EUR 51,47
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing Nov 2020, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The intent of this book is to provide an overview of the verification techniques used to verify safety critical Avionics software in compliance with DO-178B standard with main emphasis on the software unit testing. A complete software verification includes testing software at various levels / phases. The objective of software testing is to demonstrate that the software satisfies its requirements and also demonstrate with a high degree of confidence that errors which could lead unacceptable failure conditions, as determined by the system safety assessment process, have been removed. Test results provides an indication of software reliability and quality. 60 pp. Englisch. N° de réf. du vendeur 9786203194227
Acheter neuf
EUR 39,90
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Autor/Autorin: Aradhya ChiranjeeviChiranjeevi Aradhya has been the Sr Software Engineer at Collins Aerospace systems for past 7 years. He has more than 15 years of experience working in aerospace industry on all latest technologies including Avioni. N° de réf. du vendeur 452575476
Acheter neuf
EUR 34,25
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing Nov 2020, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -The intent of this book is to provide an overview of the verification techniques used to verify safety critical Avionics software in compliance with DO-178B standard with main emphasis on the software unit testing. A complete software verification includes testing software at various levels / phases. The objective of software testing is to demonstrate that the software satisfies its requirements and also demonstrate with a high degree of confidence that errors which could lead unacceptable failure conditions, as determined by the system safety assessment process, have been removed. Test results provides an indication of software reliability and quality.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 60 pp. Englisch. N° de réf. du vendeur 9786203194227
Acheter neuf
EUR 39,90
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - The intent of this book is to provide an overview of the verification techniques used to verify safety critical Avionics software in compliance with DO-178B standard with main emphasis on the software unit testing. A complete software verification includes testing software at various levels / phases. The objective of software testing is to demonstrate that the software satisfies its requirements and also demonstrate with a high degree of confidence that errors which could lead unacceptable failure conditions, as determined by the system safety assessment process, have been removed. Test results provides an indication of software reliability and quality. N° de réf. du vendeur 9786203194227
Acheter neuf
EUR 40,89
Expédition à EUR 60,54
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Avionics Safety Critical Software Verification
Edité par
LAP LAMBERT Academic Publishing, 2020
ISBN 10 : 6203194220
ISBN 13 : 9786203194227
Neuf
Taschenbuch
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Avionics Safety Critical Software Verification | Chiranjeevi Aradhya | Taschenbuch | Englisch | 2020 | LAP LAMBERT Academic Publishing | EAN 9786203194227 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu. N° de réf. du vendeur 119514304
Acheter neuf
EUR 36,25
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)