Testing embedded real-time systems

An embedded real-time system consists of a number of components (processes) that run concurrently and communicate with each other under predefined tinting constraints. The correctness of such systems is important, since they are used in an increasing number of safety critical systems. To improve the quality of these systems, two techniques can be used, namely verification of the specification and testing of the implementation. III this paper; we consider the testing of embedded real-time components. In our model, the system is modeled as a set of Communicating Timed Input Output Automata (CTIOA). One CTIOA specifies the component to be tested and the remaining CTIOAs represent the context. The relationship between the component to be rested and the other ones should be taken into account for test cases generation. We discuss how testing in contest differs from testing in isolation. We review the fault model in the context of CTIOA and we propose an approach for test cases generation from an embedded CTIOA. This approach consists of three steps. Fir st, we avoid the composition of all machines by selecting, based on a specific criterion, only some pal-ts of the CTIOA's contest that affect (or al-e affected by) the specification. Then, we deter-mine the pal tial product of the specification and the selected pal-ts of the context. Finally: we apply Timed Wp-Method [7] on the resulting rimed input output automata. The quality of the resulting pa, tial product is strongly dependent on the criterion used to select the parts of the contest to consider in test cases generation.