Items related to Verification and Validation of Real-Time Software

Verification and Validation of Real-Time Software - Hardcover

 
9783540151029: Verification and Validation of Real-Time Software

Synopsis

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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: Fine
Ancien livre de bibliothèque. Edition...
View this item

£ 6.91 shipping from France to United Kingdom

Destination, rates & speeds

Other Popular Editions of the Same Title

Search results for Verification and Validation of Real-Time Software

Stock Image

William J. Quirk
ISBN 10: 3540151028 ISBN 13: 9783540151029
Used Hardcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1985. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1985. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-571-045

Contact seller

Buy Used

£ 2.67
Convert currency
Shipping: £ 6.91
From France to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

William J. Quirk
Published by Springer, 1985
ISBN 10: 3540151028 ISBN 13: 9783540151029
Used Hardcover

Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Very Good. First edition, first printing, 245 pp., hardcover, very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1307031

Contact seller

Buy Used

£ 7.26
Convert currency
Shipping: £ 13.38
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket