Verification and Validation for Safety Critical Software
The NASA Approach
- Publisher's listprice EUR 44.99
-
18 659 Ft (17 771 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 1 866 Ft off)
- Discounted price 16 794 Ft (15 994 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
18 659 Ft
Availability
cancelled
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Morgan Kaufmann
- Date of Publication 27 October 2011
- ISBN 9780123748430
- Binding Hardback
- No. of pages320 pages
- Size 235x191 mm
- Language English 0
Categories
Long description:
Software Validation and Verification (V&V) is the process of checking that a software system meets specifications and that it fulfills its intended purpose. Simply put, verification is ensuring that the software has been built according to the requirements and design specs while validation ensures that the software actually meets the users needs and that the specifications are correct in the first place. In short, verification ensures that you ?built it right? and validation confirms that you ?built the right thing.?
The proposed book will be the first of its kind to encapsulate technology, process, and financial data associated with a credible large-scale, highly-visible and complex adaptation of modern ?formal? methods of software validation and verification (V&V), which differs from standard methods in that standard methods involve dynamic (manual) checking while formal verification involves proving or disproving a mathematical model or theorem where flawless performance is absolutely necessary.
The book will describe the technology, process and organizational details associated with the application of state of the art V&V techniques to six of the most visible and safety critical systems in modern history, namely to NASA missions under development (Constellation projects, James Webb Telescope, Mars Space Lander, Juno, etc.).
This case-study approach will capture the technology, process, and organizational aspects associated with a complex system success story. The process will be presented in a straight-forward manner and the book's chapter sequence will mirror the procedural timeline for the validation and verification process for complex safety critical software systems.
* Provides the underlying theory but practical enough for use in a real project environment by non-specialists.
* Covers technical aspects of validation and run-time verification of software requirements in enough detail to allow software developers to understand how to do it and the benefits to be gained.
* Covers organizational and cost-benefit analysis, not just the technical aspect, so that developers as well as managers will be able to justify implementation of the V&V methods presented.
Table of Contents:
TABLE OF CONTENTS:
Chapter 1: Technology Overview
a.
b.
c.
d.
e.
f.
g.
Chapter 2: System Reference Model (SRM): Domain Model (DM) and Assertion-repositories
Motivation
a.
b.
d.
e.
f.
Chapter 3: Organizational changes for effective assertion based V&V
a.
b.
Chapter 4: Verification
a.
b.
c.
d.
Chapter 5: Cost-benefit analysis
a. Up-front costs
b. Cost-benefit analysis of early detection of specification errors
c. Cost-benefit analysis of verification-time detection of implementation errors
d. V&V costs associated with older techniques
