The Testability of Distributed Real-Time Systems

The Testability of Distributed Real-Time Systems
Author :
Publisher : Springer Science & Business Media
Total Pages : 154
Release :
ISBN-10 : 9780585302614
ISBN-13 : 0585302618
Rating : 4/5 (618 Downloads)

Book Synopsis The Testability of Distributed Real-Time Systems by : Werner Schütz

Download or read book The Testability of Distributed Real-Time Systems written by Werner Schütz and published by Springer Science & Business Media. This book was released on 2007-07-23 with total page 154 pages. Available in PDF, EPUB and Kindle. Book excerpt: BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The verification of a real-time system implementation is thus necessarily more com plex than the verification of a non-real-time system which has to be checked in the value dimension only. Since the formal verification techniques of temporal properties have not yet matured to the point where these techniques can be used in practical system development, systematic design and testing are the only alternatives for the development of dependable real-time systems. At present, up to and more than fifty percent of the development eff'ort of complex real-time computer systems is spent on testing. The test activities are thus a significant cost element in any real-time system project. The attack on this cost element has to proceed from two fronts: the design for testability and the development of a systematic test methodology supported by an appropriate tool set. This book covers both of these topics.


The Testability of Distributed Real-Time Systems Related Books

The Testability of Distributed Real-Time Systems
Language: en
Pages: 154
Authors: Werner Schütz
Categories: Computers
Type: BOOK - Published: 2007-07-23 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

BY H. KOPETZ A real-time computer system must provide the intended service in two di mensions: the functional (value) dimension and the temporal dimension. The
Real-Time and Distributed Real-Time Systems
Language: en
Pages: 174
Authors: Amitava Gupta
Categories: Computers
Type: BOOK - Published: 2016-04-27 - Publisher: CRC Press

DOWNLOAD EBOOK

Digital computers have revolutionized computation and transformed how computers are used to control systems in real life, giving birth to real-time systems. Fur
Real-Time Systems
Language: en
Pages: 552
Authors: Albert M. K. Cheng
Categories: Computers
Type: BOOK - Published: 2003-03-27 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

The first book to provide a comprehensive overview of the subject rather than a collection of papers. The author is a recognized authority in the field as well
Real-Time Systems
Language: en
Pages: 347
Authors: Hermann Kopetz
Categories: Computers
Type: BOOK - Published: 2006-04-18 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

7. 6 Performance Comparison: ET versus TT. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164 7. 7 The Physical Layer . . . . . . . . . . . . .
Active, Real-Time, and Temporal Database Systems
Language: en
Pages: 245
Authors: Sten F. Andler
Categories: Computers
Type: BOOK - Published: 2003-06-26 - Publisher: Springer

DOWNLOAD EBOOK

Database systems of the next generation are likely to be inherently very complex due to the diversity of requirements placed on them. Incorporating active, real