The Testability of Distributed Real-Time Systems
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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
REQUIREMENTS AND BOUNDARY
THE INFLUENCE OF THE SYSTEM
A TEST METHODOLOGY FOR MARS
INTEGRATION WITH THE DESIGN
TESTING EVENTTRIGGERED SYSTEMS
A AN OVERVIEW OF MARS AND MARDS
Other editions - View all
achieve application cluster application software approach black-box test Chapter closed-loop test cluster under test communication protocol concurrent program data base debugging depends design creation design methodology design object distributed real-time systems distributed systems Environment Simulator evaluation event-triggered fault tolerance functions global hard real-time systems hardware host system IEEE implementation input messages interaction interface component keyword Kopetz MARDS MARS system message data structure node non-real-time observation open-loop tests operating system output particular possible Probe Effect problem real-time computer real-time simulation regression testing replay Reproducibility requirements RT-transactions schedule Section significant events simulation software software development Software Engineering Software Testing synchronization sequence system architecture system calls System Test target system Task Test TDMA temporal behavior Test Coverage test data test driver test execution test methodology test phases test runs test tools testability time-stamps time-triggered systems TT computation TT system values verification version of MARS white-box