The Testability of Distributed Real-Time Systems

• Κύριος συγγραφέας: Schütz, Werner (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 1993.
• Σειρά: The Springer International Series in Engineering and Computer Science, 245
• Θέματα: Computer science.; Special purpose computers.; Software engineering.; Computer Science.; Special Purpose and Application-Based Systems.; Software Engineering/Programming and Operating Systems.; Computer Science, general.

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

Πίνακας περιεχομένων:

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