Verification and Validation for Safety Critical Software by Drusinsky, Doron;

The NASA Approach

10% KEDVEZMÉNY?
A kedvezmény csak az 'Értesítés a kedvenc témákról' hírlevelünk címzettjeinek rendeléseire érvényes.

Kiadói listaár EUR 44.99
Az ár azért becsült, mert a rendelés pillanatában nem lehet pontosan tudni, hogy a beérkezéskor milyen lesz a forint árfolyama az adott termék eredeti devizájához képest. Ha a forint romlana, kissé többet, ha javulna, kissé kevesebbet kell majd fizetnie.

18 659 Ft (17 771 Ft + 5% áfa)
Kedvezmény(ek) 10% (cc. 1 866 Ft off)
Kedvezményes ár 16 794 Ft (15 994 Ft + 5% áfa)

18 659 Ft

Beszerezhetőség

Megjelenése törölve vagy kivonva a forgalomból. Sajnos nem rendelhető.

A termék adatai:

Kiadó Morgan Kaufmann
Megjelenés dátuma 2011. október 27.

ISBN 9780123748430
Kötéstípus Keménykötés
Terjedelem320 oldal
Méret 235x191 mm
Nyelv angol

Kategóriák

Szoftverfejlesztés

Hosszú leírás:

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.

Több

Tartalomjegyzék:

TABLE OF CONTENTS:
Chapter 1: Technology Overview
a.Propositional vs. temporal specifications.
b.Natural Language (NL) temporal specifications.
c.UML-statechart temporal assertions.
d.Validating assertions:
e.Assertion architecture:
f.End-goal Purpose: Run-time verification overview
g.Tools
Chapter 2: System Reference Model (SRM): Domain Model (DM) and Assertion-repositories
Motivation
a.Traffic Light Controller SRM and assertions example.
b.Juno-Mission SRM example:
d.Orion-Mission SRM example:
e.SRM-based validation:
f.Discovering specification errors: negotiating specification changes with contractor.
Chapter 3: Organizational changes for effective assertion based V&V
a.The product-line approach: validation product lines and verification product lines.
b.Tiger teams: validation and reuse tiger teams.
Chapter 4: Verification
a.Integration with the certified-test equipment.
b.On-line and off-line verification.
c.On-site automatic test generation and run-time monitoring.
d.Discovering Implementation errors: negotiating implementation changes with contractor.
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