The Testability of Distributed Real-Time Systems by Werner Sch?tz (English) Hard

Description: The Testability of Distributed Real-Time Systems by Werner SchÜtz 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. FORMAT Hardcover LANGUAGE English CONDITION Brand New Publisher Description The Testability of Distributed Real-Time Systems starts by collecting and analyzing all principal problems, as well as their interrelations that one has to keep in mind wh4en testing a distributed real-time system. The book discusses them in some detail from the viewpoints of software engineering, distributed systems principles, and real-time system development. These problems are organization, observability, reproducibility, the host/target approach, environment simulation, and (test) representativity. Based on this framework, the book summarizes and evaluates the current work done in this area before going on to argue that the particular system architecture (hardware plus operating system) has a much greater influence on testing than is the case for ordinary, non-real-time software. The notions of event-triggered and time-triggered system architectures are introduced, and its is shown that time-triggered systems automatically (i.e. by the nature of their system architecture) solve or greatly ease solving of some of the problems introduced earlier, i.e. observability, reproducibility, and (partly) representativity.A test methodology is derived for the time-triggered, distributed real-time system MARS. The book describes in detail how the author has taken advantage of its architecture, and shows how the remaining problems can be solved for this particular system architecture. Some experiments conducted to evaluate this test methodology are reported, including the experience gained from them, leading to a description of a number of prototype support tools. The Testability of Distributed Real-Time Systems can be used by both academic and industrial researchers interested in distributed and/or real-time systems, or in software engineering for such systems. This book can also be used as a text in advanced courses on distributed or real-time systems. 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. Long Description BY H. KOPETZ A real-time computer system must provide the intended service in two di Details ISBN0792393864 Short Title TESTABILITY OF DISTRIBUTED REA Publisher Springer Language English ISBN-10 0792393864 ISBN-13 9780792393863 Media Book Format Hardcover Series Number 245 Year 1993 Place of Publication Dordrecht Edition 1st Birth 1961 Edition Description 1993 Pages 144 Imprint Springer Country of Publication Netherlands DOI 10.1007/b116147;10.1007/978-0-585-30261-4;10.1007/b102510 Edited by Lau, Clifford G. Author Werner SchÜtz Series The Springer International Series in Engineering and Computer Science Publication Date 1993-08-31 Alternative 9781475770001 DEWEY 621.39 Illustrations XVI, 144 p. Audience Postgraduate, Research & Scholarly We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:96220988;

Price: 217.11 AUD

Location: Melbourne

End Time: 2025-01-05T07:34:37.000Z

Shipping Cost: 9.66 AUD