𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Verification and Validation of Real-Time Software

✍ Scribed by W. J. Quirk (auth.), William J. Quirk (eds.)


Publisher
Springer-Verlag Berlin Heidelberg
Year
1985
Tongue
English
Leaves
253
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ 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.

✦ Table of Contents


Front Matter....Pages I-XI
Introduction....Pages 1-5
Software Reliability and the Software Life Cycle....Pages 6-56
Structural Analysis and Proof....Pages 57-114
Systematic Testing....Pages 115-146
Statistical Testing of Real Time Software....Pages 147-178
Simulation and System Validation....Pages 179-201
Conclusion....Pages 202-208
Back Matter....Pages 209-245

✦ Subjects


Software Engineering; Special Purpose and Application-Based Systems


πŸ“œ SIMILAR VOLUMES


Modeling and Verification of Real-Time S
πŸ“‚ Library πŸ“… 2008 πŸ› Wiley-ISTE 🌐 English

This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. <p> Topics addressed include mathematical models of real-time systems an

Verification, Validation and Testing in
✍ Aristides Dasso, Aristides Dasso; Ana Funes πŸ“‚ Library πŸ“… 2006 πŸ› IGI Global 🌐 English

Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas: testing. Testing, the dynamic side of validation and verification (V&V), has been complemented with other, more formal techniques

Medical Device Software Verification, Va
✍ David A. Vogel πŸ“‚ Library πŸ“… 2010 πŸ› Artech House 🌐 English

Here s the first book written specifically to help medical device and software engineers, QA and compliance professionals, and corporate business managers better understand and implement critical verification and validation processes for medical device software. Offering you a much broader, higher-l

Software Verification and Validation: An
✍ Marcus S. Fisher (auth.) πŸ“‚ Library πŸ“… 2007 πŸ› Springer US 🌐 English

<p><P>The World is lacking an in-depth technical book describing the methods and techniques used to provide confidence in our system software. Not only is the U.S. government more focused on software safety in today's market, but private industry and academia are as well. The methods and techniques

Software Verification and Validation: An
✍ Marcus S. Fisher πŸ“‚ Library πŸ“… 2006 πŸ› Springer 🌐 English

<P>The world needs an in-depth technical book describing the methods and techniques used to provide confidence in our system software. In today’s market, not only are governments more focused on software safety, but private industry and academia are as well. The methods and techniques used to provid

Software Quality Approaches: Testing, Ve
✍ Michael Haug, Eric W. Olsen, Luisa Consolini (auth.), Michael Haug, Eric W. Olse πŸ“‚ Library πŸ“… 2001 πŸ› Springer-Verlag Berlin Heidelberg 🌐 English

<p>This book is a result of the European Experience Exchange (EUREX) project sponsored by the European Systems and Software Initiative for Software Best Practice in Europe. The EUREX project analyzed the industrial and economic impact and the common aspects and differences between and among more tha