The Testability of Distributed Real-Time Systems

• Main Author: Schütz, Werner. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic
• Language: English
• Published: Boston, MA : Springer US, 1993.
• Series: The Springer International Series in Engineering and Computer Science, 245
• Subjects: Computer science.; Special purpose computers.; Software engineering.; Computer Science.; Special Purpose and Application-Based Systems.; Software Engineering/Programming and Operating Systems.; Computer Science, general.
• Online Access: View fulltext via EzAccess

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

Table of Contents:

• Requirements and Boundary Conditions for Testing
• The Influence of the System Architecture
• A Test Methodology for Mars
• Environment Simulation
• Experiments
• Tool Support
• Integration with the Design Environment
• Testing Event-Triggered Systems
• Conclusions.