Verification and Validation of Real-Time Software

Released on by William J. Quirk
preview-18

  • Verification and Validation of Real-Time Software Book Detail

  • Author : William J. Quirk
  • Release Date : 2012-12-06
  • Publisher : Springer Science & Business Media
  • Genre : Computers
  • Pages : 254
  • ISBN 13 : 3642702244
  • File Size : 82,82 MB
DOWNLOAD BOOK

Verification and Validation of Real-Time Software by William J. Quirk PDF Summary

Book Description: W.J.Quirk 1.1 Real-time software and the real world Real-time software and the real world are inseparably related. Real time cannot be turned back and the real world will not always forget its history. The consequences of previous influences may last for a long time and the undesired effects may range from being inconvenient to disastrous in both economic and human terms. As a result, there is much pressure to develop and apply techniques to improve the reliability of real-time software so that the frequency and consequences of failure are reduced to a level that is as low as reasonably achievable. This report is about such techniques. After a detailed description of the software life cycle, a chapter is devoted to each of the four principle categories of technique available at present. These cover all stages of the software development process and each chapter identifies relevant techniques, the stages to which they are applicable and their effectiveness in improving real-time software reliability. 1.2 The characteristics of real-time software As well as the enhanced reliability requirement discussed above, real-time software has a number of other distinguishing characteristics. First, the sequencing and timing of inputs are determined by the real world and not by the programmer. Thus the program needs to be prepared for the unexpected and the demands made on the system may be conflicting. Second, the demands on the system may occur in parallel rather than in sequence.

Disclaimer: www.yourbookbest.com does not own Verification and Validation of Real-Time Software books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.

Independent Verification and Validation

Independent Verification and Validation

File Size : 91,91 MB
Total View : 4854 Views
DOWNLOAD

Comprehensive and up-to-date, it covers the most vital part of software development, independent verification and validation. Presents a variety of methods that

Software Verification and Validation

Software Verification and Validation

File Size : 24,24 MB
Total View : 5635 Views
DOWNLOAD

“The main thrust of the book is to describe verification and validation approaches that have been used successfully on contemporary large—scale software pro