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