Method for analysis of the time response of complex distributed systems

• US 6,947,868 B2
• Filed: 11/27/2002
• Issued: 09/20/2005
• Est. Priority Date: 11/30/2001
• Status: Expired due to Term

• Current Assignee: Symtavision GmbH (DXC Technology Company)
• Original Assignee: Technische Universitat Braunschweig Carolo-wilhelmina Institut Fur Datentechnik Und Kommunikationsnetze
• Inventors: Richter, Kai, Ernst, Rolf
• Primary Examiner(s): Hoff, Marc S.
• Assistant Examiner(s): OMALLEY, MARY CATHERINE
• Application Number:
  US10/305,421
• Publication Number:
  US 20030120450A1
• Time in Patent Office: 1,028 Days
• Field of Search: 702/119, 702122-123, 702176-179, 702181-188, 703 7- 8, 703/14, 703/17, 703/19, 714/55, 714/735
• US Class Current: 702/176
• CPC Class Codes: G06F 2119/12 Timing analysis or timing optimisation
• CPC Class Codes: G06F 30/20 Design optimisation, verification or simulation optimisation, verification or simulation of circuit designs G06F30/30
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking
• CPC Class Codes: G06F 30/3308 using simulation
• CPC Class Codes: G06F 30/3312 Timing analysis

Abstract

Complex distributed systems with basic components (B) which have data processing program modules and/or electronic circuit modules that exchange data with each other have their timing behavior analyzed based on the timing behavior of individual basic components (B) and transformation functions derived from event model classes.

Claims

1. A method for analysis of the timing behaviour of complex distributed systems with basic components (B) which have data processing program modules and/or electronic circuit modules, having the following steps:

a) modeling of models for the data processing flow through and data communication of basic components (B) by means of abstract models;

b) determining input-event models (EM_y) and output-event models (EM_x) of basic components (B) for recording input-event streams (EE) and output-event streams (AE), said input-event models (Em_y) and output-event models (EM_x) resulting from the step of modeling;

c) classifying the input and output-events (EM_y, EM_x) at least for classification parameters period, jitter and burstiness;

d) adapting classes for the event models for one or more communicating basic components (B) by transforming the output-even (EM_x) into input-even models (EM_y) of associated directly subsequent basic components (B) by use of transformation functions (EMIF<sub>x→

y</sub>, EAF<sub>x→

y</sub>), said transformation functions (EMIF<sub>x→

y</sub>, EAF<sub>x→

y</sub>) being derived from the event model classes and provided for modeling the parameters assigned to the event model classes relative to each other;

e) adapting the event model classes for all of the basic components (B) by stepwise adapting the transformation functions (EMIF<sub>x→

y</sub>, EAF<sub>x→

y</sub>) of adjacent basic components; and

f) determining the timing behaviour of the complex distribributed system from the determined timing behaviour of the individual basic components (B) and the transformation functions by combining the equation systems for the event models (EM_x) and the transformation functions (EMIF<sub>x→

y</sub>, EAF<sub>x→

y</sub>).

2. The method as claimed in claim 1, further comprising the step of determining transformation functions (EAF_x→

y) for transformation of the event streams (EE, AE), in order to match the event streams (EE, AE) to event models (Em_y) of the respectively associated basic components.

3. The method as claimed in claim 1, further comprising the step of inserting additional components into the system in order to produce transformation functions (EAF_x→

y).

4. The method as claimed in claim 3, wherein additional components are data buffer elements and/or timers.

5. A computer product for analysis of the timing behaviour of complex distributed systems with program code means for carrying out the method as claimed in claim 1.

6. The method as claimed in claim 1 further comprising the step of determining the analysis method and adaptation of the transformation functions (EMIF x→

y, EAF x→

y) for optimization in step e) being carried out interatively.